Monthly Highlights
16411.
The auto-formalization of mathematics versus law
(lexifina.com)
16412.
Show HN: Ambient Homework – The complete homework manager
(techambient.github.io)
16413.
AI is hurting US politics. Here’s how candidates could use it for good
(theguardian.com)
16414.
16415.
16416.
I lost $2k on a Retro Grail Shmup
(portal.mozz.us)
16417.
Justifying text by hand, now at 35 columns
(en.andros.dev)
16418.
16419.
16421.
Processing power for folding@home has dropped significantly
(stats.foldingathome.org)
16422.
"The Fate of the Riemann Hypothesis" by Richard Evan Schwartz [pdf]
(math.brown.edu)
16423.
Muse Code: New plans and features
(developer.meta.com)
16424.
A recruiter who placed creative talent told me the truth
(twitter.com)
16425.
The thing that should exist when someone dies
(planwithhestia.com)
16426.
16428.
Knuth: Literate Programming
(www-cs-faculty.stanford.edu)
16429.
16430.
16433.
16434.
16435.
Quarto 2
(opensource.posit.co)
16436.
16437.
Which monotheistic religions preceded Yahweh's religion?
(ciron.medium.com)
16438.
16439.
What can we learn from Australia's social media ban for teens?
(knowablemagazine.org)
16440.
Reaction-Diffusion Playground(2020)
(jasonwebb.github.io)