Archives: Bookmarks
Lean enables correct, maintainable, and formally verified code
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code
AI programs used by Heber City police claim officer turned into a frog
“The body cam software and the AI report writing software picked up on the movie that was playing in the background, which happened to be ‘The Princess and the Frog,'” Sgt. Keel told FOX 13 News. “That’s when we learned the importance of correcting these AI-generated reports.”
2025: The year in LLMs
abetusk/neatocal: A single page printable calendar
A neato calendar with the full year on a single page.
Gorgeous Illustrations from Pantheon in Egyptien by Jean-Francois Champollion and Léon-Jean-Joseph Dubois, 1823 – Flashbak
Varsity Football Helmet Ratings
Clandestine Drug Labs in the United States | DEA.gov
This list contains addresses of some locations where law enforcement agencies reportedly found chemicals or other items, indicating the presence of either clandestine drug laboratories or dumpsites.
The Most Underrated Productivity Technique – Scott H Young
The aim of productivity should not be to worry obsessively about how much we get done. Instead, it should be to feel, at the end of the day, that our time wouldn’t have been better spent doing anything else.
Ultimately, we need to create a vision for our lives and regularly ask ourselves whether we’re actually living up to it. Tasks, projects and purposes will take as long as they need to reach fruition. Our only job is to ask ourselves what really matters and have the conviction to stick with that.
Typefaces for Dyslexia — Adrian Roselli
The fonts don’t appear to work.