The article presents a comparison of four theorem proving systems: Isabelle/HOL, Lean, HOL4, and Agda. The author shares personal experience and opinions on various aspects of these systems.
The chart will appear after repeat observations. The current metric comes from the source.
11 source pointsReal observations only. History before source connection is not reconstructed.
The text discusses common anti-patterns in software blogging, which are practices that lead to ineffective or counterproductive content creation.
2 days agoLobstersGleam no longer compiles to Erlang source code.
4 days agoLobstersThe text describes an attempt to steal credentials using a git post-checkout hook, indicating a security threat involving version control systems.
6 days agoGitHubThe guide provides practical advice on various aspects of life, including health, finance, legal issues, and career, with each topic detailing costs, benefits, evidence levels, and original sources, citing only peer-reviewed journals and official documents.
32 days agoHacker NewsMargaret Hamilton has passed away.
yesterdayLessWrongThe article discusses the rapid adoption of military technologies and tactics between Ukraine and Russia, highlighting how Ukraine's innovations in unmanned systems led to Russian countermeasures. It also raises ethical concerns about the potential adoption of adversarial strategies that conflict with national values.
6 days ago