🌿 git

diffing algorithms, version control

Double Maths First Thing: Issue 2E
aperiodical.com·6h
👑Isabelle
XProc tips and tricks
so.nwalsh.com·2d
⚡Proof Automation
Some third-party Mac apps I use
lapcatsoftware.com·1d
🍎Apple Archive
Nilfs: Continuous Snapshotting Filesystem for Linux
nilfs.sourceforge.io·7h·
Discuss: Hacker News
🛠️Greaseweazle
The Mirror Room
tantaman.com·19h·
Discuss: Hacker News
⬜Minimalism
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com·2h·
Discuss: Hacker News
💧Liquid Types
Exploring the context of online images with Backstory
deepmind.google·1d·
Discuss: Hacker News
📰Content Curation
Dark Source, Dark Forest: Rethinking Open Source and Blockchain in the Age of AI
darksource.ai·1d·
Discuss: Hacker News, r/opensource
🔓Open Source Software
Debcraft – Easiest way to modify and build Debian packages
optimizedbyotto.com·4d·
Discuss: Hacker News
📦Package Managers
Display Next Hackfest 2025
zamundaaa.github.io·1d·
Discuss: Lobsters, Hacker News, r/linux
🖥️Modern Terminals
mchav/dataframe
github.com·2d
🧠Lisp Dialects
A Simple Way to Build a Progress Bar for Your Website’s Image Uploader Using Filestack
hackernoon.com·16h
🎬WebCodecs API
[2025] Homelab Update
i.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
Bayesian Deep Learning for Convective Initiation Nowcasting Uncertainty Estimation
arxiv.org·10h
🧠Machine Learning
Top 5 LLM Observability Tools of 2025
dev.to·8h·
Discuss: DEV
👁️System Observability
[P] Echoes of GaIA: modeling evolution in biomes with AI for ecological studies.
reddit.com·2d·
Discuss: r/MachineLearning
🔲Cellular Automata
Top AI Agent Protocols for Developers in 2025
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
MorphoNAS: Embryogenic Neural Architecture Search Through Morphogen-Guided Development
arxiv.org·2d
🔲Cellular Automata
🔁 How to Automate Everyday Tasks with Python – Part 2
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Building a game for Words Largest Hackathon using Bolt.new
dev.to·8h·
Discuss: DEV
⚡Proof Automation