Are there examples of originally widely accepted proofs that were later discovered to be wrong by attempting to formalize them using a proof assistant (e.g. Coq, Agda, Lean, Isabelle, HOL, Metamath,
Reads
Reading list of books, magazines, newspaper articles, other physical documents, or online posts
👓 Indie Web Server | Aral Balkan
Indie Web Server1 is a secure and seamless Small Tech personal web server. Use it to seamlessly serve your personal static web site in development and production or build your own dynamic web app on top of it using JavaScript and Node.js. Indie Web Server is as easy as it gets.
👓 Defining the DNA of collaboration | The Open Co-op
As a species, human beings are barely more intelligent than kindergarten kids. We revel at our place at the top of the food chain, and praise our technological ingenuity but, let’s face it, we’ve barely begun to work life out. We’ve created one directional extractive systems that undermine our own life support systems, like kindergarten …
There’s some interesting philosophy here. It dances around the idea of fitness landscapes, but doesn’t mention them directly, though this is essentially what the article is exploring from the perspective of businesses.
👓 A ‘Creepy’ Assignment: Pay Attention to What Strangers Reveal in Public | New York Times
An exercise I gave my students helps illustrate the risks to privacy in our everyday, offline lives.
I saw some on Twitter say that this was a terrible assignment and that they can accomplish the same goal without being so creepy, but naturally they neglected to give any details about improving on it.
👓 Sparkline Sound-Off | Chris Burnell
Chris Burnell (chrisburnell.com)For a few months now I have been following in the footsteps of Jeremy Keith and displaying sparklines representing my activity over time with different post types. As an added bonus, a little tune based on the sparkline’s values plays when you click on the sparkline. With a moderate amount of musical theory under my belt, here’s how I accomplished that audio delight.
An interesting use of sparklines…
👓 ‘I can get any novel I want in 30 seconds’: can book piracy be stopped? | The Guardian
As publishers struggle with ‘whack-a-mole’ websites, experts, authors and Guardian readers who illegally download books, assess the damage
👓 Neuroscience Readies for a Showdown Over Consciousness Ideas | Quanta Magazine
Philip Ball (Quanta Magazine)To make headway on the mystery of consciousness, some researchers are trying a rigorous new way to test competing theories.
Many of these ideas of consciousness seem ridiculous to me. I suppose that people need to be thinking about these ideas, iterating, and even doing some philosophy to ever get around to some better ideas and science, but it’s still very early days on the topic. I am glad that they’re actively attempting to come up with some actual science and testing of some of these theories to find a better answer.
If nothing else, this article does a reasonable job of giving an overview of some of the most recent schools of thought. And of course, it’s Philip Ball, so who could resist reading it…
👓 How I Build My Common Place Book | Greg McVerry
Greg McVerry (quickthoughts.jgregorymcverry.com)Creating a Navigable Rabbit Hole I only caught the tail end of the Common Place Book session at #IndieWeb camp online as it fell right during dinner. Since I didn't get to share with everyone I thought I would lay out a few strategies in a quick post here and overtime"My Common Place Book" will t...
This is a good reminder that I need to write more about how I implement my own…
👓 Embracing the IndieWeb | Chad Lee
Chad Lee (chadly.net)I’ve used Disqus comments on this site for a long time. At the time I set it up, it was ubiquitous, easy to set up, and a no-brainer. However, after converting my site to Gatsby and getting the site to load Blazing Fast™, the Disqus embed code was the slowest thing on my site. It’s gotten fat over the years and like a bad husband, I’m finally dumping it.
👓 Delete Never: The Digital Hoarders Who Collect Tumblrs, Medieval Manuscripts, and Terabytes of Text Files | Gizmodo
When it comes to their stuff, people often have a hard time letting go. When the object of their obsession are rooms full of old clothes or newspapers, it can be unhealthy—even dangerous. But what about a stash that fits on 10 5-inch hard drives?
Some interesting resources here…
👓 Week 1 of the Framework Annotation event begins today | gardnercampbell.net
In the spring of 2004, I read these words for the first time: We do not speak of isolated clever tricks that help in particular situations. We refer to a way of life in an integrated domain where h…
👓 I’m working on improving my content p… | Jacky Alciné
Jacky Alciné (v2.jacky.wtf)I’m working on improving my content processing for my site. The focus is around making more “magic” happen on the fly for me. I should have mentions, auto tagging and emoji to HTML entity conversion ready soon. The one thing that I am sorely missing is the ability to address a group. And the more I think on it, the more I realize that intrinsically this might be something that requires a bit of coordination. My current plan of attack is to define a page that tags a bunch of people (or entities) and use that in a similar fashion to a person-tag. This would require that when a group page receives a reply from someone in that (public) group, they would get Webmentions as well. The page would serve as a pass through. This works for private messages cleanly. However, if you wanted to have a private group, the request to said group would have to be authenticated somehow. That part I haven’t figured out as of yet.
For now, my person tags and what not will be just fine!
Larry Sanger (Twitter)What’s the best video for learning about IndieWeb?
— Larry Sanger (@lsanger) March 7, 2019
Larry, there are a large number of videos about the IndieWeb available. I’ll make a few recommendations from the broadest and shortest to the most specific and longer given what I suspect about you and your background.
This short 13 minute video Why We Need the IndieWeb by Tantek Çelik from 2014 has some of the best background, history, and broad philosophy.
A longer version of this video with more detail is his The once and future IndieWeb.
Since I’m sure you’re aware of much of the history and some of the problems (though who couldn’t use a good reveiw), you may want to start with more practical concerns and for this there are several, roughly equivalent videos by Jeremy Keith that would be an excellent overview for you including Taking Back The Web (Webstock ‘18):
The following are similar, but excellent as well: Taking Back the Web and Building Blocks of the IndieWeb.
And finally, bringing things closest to home for you and potentially applying these pieces to a WordPress site, knowing that is what you use, I’ve got a (less exciting and more didactic) video Setting up WordPress for IndieWeb Use that walks through adding all of these pieces to a WordPress site in a step-by-step manner.
Please let me know if I can be of further help.
👓 The Myth of Law School Prestige | Andy Brink – Medium
Why you should ditch the rankings, stop worrying about the “best” law school, and focus on these 10 factors instead
There’s some pretty solid advice hiding in here. To a broad extent, I think he’s largely right on making sure you’re looking at many of the other factors which are far more important than just rank/prestige.
👓 Mario Batali officially out at all 16 of his restaurants, including Mozzaplex in L.A. | LA Times
The celebrity chef, who has been accused of sexual harassment and sexual misconduct spanning at least two decades, no longer has a financial stake in his former restaurant empire.