Bookmarks

Sites I visit regularly

• simonsafar.com

  A lot of interesting-looking things here, should check out more of this

• Todepond dot com
• The Autodidacts
• Kagi Small Web
• Maggie Appleton

  Probably one of the best examples of a digital garden out there.

• Hillel Wayne

  Writes about formal methods

• Xe Iaso

  Possibly my favourite technical blog

• LOW←TECH MAGAZINE

  Blog about low-tech and sustainability. Runs on solar power so it is sometimes offline.

• Kagi Search

  My search engine of choice

Interesting things I found

• s p a r k l e s

  Pretty nice micropub client. Fixed up my micropub endpoint to use this!

• Building Websites With LLMS - Jim Nielsen’s Blog
• GitHub - tarides/ocaml-eglot: An overlay on Eglot for editing OCaml code using LSP
• Graphite | Web-based vector graphics editor and design tool
• Things Of Interest @ Things Of Interest
• Ratchets in software development @ Things Of Interest
• Maybe Everything Is a Coroutine - Adam Nelson
• Izzy Muerte • Self Unemployed
• 'Technical' skills
• sdomi's weblog
• GitHub - scripting/blogroll: A JavaScript toolkit that displays an OPML-based blogroll, with a connection back to FeedLand for realtime features.
• 100R — computing and sustainability
• 2024-04-21-static-linking · Hasufell's blog
• Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches
• j3s.sh
• Visualizing the ARM64 Instruction Set | Zachary Yedidia's blog
• Zoomer Tries RSS: In Praise of Yarr - tudor's website
• http://beyondloom.com/decker/
• GitHub - lorin/resilience-engineering: Resilience engineering papers
• Goto Is Not A Horror - iRi
• The Arcology Garden - The Arcology Garden
• jackdoe
• Are.na
• https://all-about-computer-love.glitch.me/?utm_source=substack&utm_medium=email
• Active Directory health check with PowerShell script - ALI TAJRAN
• Online text to diagram tools | XOSH.ORG
• Connected Papers | Find and explore academic papers
• Things I don’t know how to do — The Autodidacts
• The Hunt for the Missing Data Type
• Planner programming blows my mind
• GitHub - tmbo/questionary: Python library to build pretty command line user prompts ✨Easy to use multi-select lists, confirmations, free text prompts ...
• Intentional Computing: How to Use Technology, Without Being Used By It — The Autodidacts
• Reclaim your focus with ~12 lines of bash — The Autodidacts
• I keep making things out of checkboxes | Bryan Braun - Frontend Developer
• GitHub - mattam82/Coq-Equations: A function definition package for Coq
• Flakes aren't real and cannot hurt you: a guide to using Nix flakes the non-flake way - jade's www site
• Nix for Coq Development | Yann Herklotz
• Practical betterments
• Inside .git
• Command-line Tools can be 235x Faster than your Hadoop Cluster - Adam Drake
• T E X T F I L E S D O T C O M
• GitHub - coq-community/coq-nix-toolbox: Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
• What's that touchscreen in my room? | Nikita Lapkov
• Joey's Humble Abode
• How to reboot a Linux system into the BIOS - Xe Iaso
• Coffee ad Astra
• Pluralistic: Sympathy for the spammer (15 Jan 2024) – Pluralistic: Daily links from Cory Doctorow
• We are Good Enough.
• What PWA Can Do Today
• Today I learned that bash has hashmaps - Xe Iaso
• 3.5+ Years of Coding on E-Ink
• An app can be a home-cooked meal
• Zen Garden websites
• Folk Interfaces
• Diagram Website – An internet map

  A great resource for various small/weird/indie web sites.

• Solving SAT via interaction net superpositions
• Why Do We Interface?
• Haskell: The Free Boolean Cube
• Ten weird things you can buy online (and why you would)
• My Coffee Isekai
• Soulver 3 - Notepad Calculator App for Mac & iPad
• Micropublish: Sign in

  A web client for micropublish-enabled sites

• My Blog is Hilariously Overengineered to the Point People Think it's a Static Site
• I need help with AVIF files on iOS 16 Safari
• Safety and Liveness Properties