If all the world were a monorepo
jtibs.substack.com·36m·
Discuss: Substack
🔗Topological Sorting
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·5h
🧮Z3 Solver
It actually is a snap?
lambdacreate.com·1d
❄️Nix Flakes
Maintaining Arch Linux AUR Packages: A Dual Update for Python-zconfig and Python-reparser
dev.to·10h·
Discuss: DEV
📦Package Managers
A Look at Nix and Guix
lwn.net·1d·
Discuss: Hacker News
❄Nix
Custom for designing, off-the-shelf for shipping
ntietz.com·1d
🔗Topological Sorting
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·14h
🏛️Agda
Tooling for Maintaining YAML Files
stuartellis.name·1d
📦Package Managers
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·11h
⚡Proof Automation
Which NPM package has the largest version number?
adamhl.dev·1d·
Discuss: Hacker News
📦Package Managers
Going Native With Android’s Native Development Kit
hackaday.com·19h
🎯Emulator Accuracy
Linux Mint picks up the pace with LMDE 7 and Wayland-ready Cinnamon
theregister.com·1h
🔌Operating system internals
Back from Open Source Summit Europe 2025: talks from Bootlin
bootlin.com·23h
⚙️Operating System Design
Microservices vs Monolith: A Complete Architecture Guide for Modern Software Development
blog.devops.dev·18h
🖥️Self-hosted Infrastructure
Adaptive Programming Systems for Humans and AI
gfrison.com·1h·
Discuss: Hacker News
⚡Incremental Computation
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·18h·
Discuss: www.blogger.com
🔗Lisp
Vendor by Default (2021)
macwright.com·1d·
Discuss: Hacker News
❄️Nix Flakes
Solving Dropbox Post-Install Issues with Installomator and Jamf Pro
apple.lib.utah.edu·13h
💣ZIP Vulnerabilities
Libxml2 Maintainer Steps Down
linuxiac.com·10h
🔓Open Source Software
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·6h
✅Format Verification