Long-term archiving with ODF: a future-proof strategy
blog.documentfoundation.org·3h
🤝Protocol Design
Flag this post
Changing my Dev Stack (2025), Part I: Simplify, Simplify
loufranco.com·19h
🦀Rust
Flag this post
ws-dl.blogspot.com·1d·
🧮Programming Language Theory
Flag this post
Gem.coop Update #1
gem.coop·23h·
🦀Rust
Flag this post
SUSE Enterprise Linux 16 is here, and its killer feature is digital sovereignty
zdnet.com·2d·
Discuss: Hacker News
🐧Linux
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
1,500+ PRs Later: Spotify’s Journey with Our Background Coding Agent (Part 1)
engineering.atspotify.com·15h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
What if software shipped with a software engineer?
manuel.kiessling.net·3d
🏗️Software Architecture
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
gbase.ai·2d·
Discuss: r/ClaudeAI
🌍Distributed Systems
Flag this post
KotatsuApp/Kotatsu
github.com·9h
🔄Category Theory
Flag this post
Anyone Can Impersonate You on GitHub - Here's How to Protect Yourself
dev.to·8h·
Discuss: DEV
🤝Protocol Design
Flag this post
Enterprise Design Patterns: The Repository Pattern (Catalog of Patterns of EAA) — A Practical Guide with Python
dev.to·8h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Alternatives for automating legacy apps from web apps?
reddit.com·5h·
Discuss: r/webdev
🧩Theorem Proving
Flag this post
From prototype to production: What vibe coding tools must fix for enterprise adoption
venturebeat.com·1d
🔌Network Programming
Flag this post
NoteDiscovery: New free and open source self hosted alternative to Obsidian
reddit.com·22h·
Discuss: r/opensource
🦀Rust
Flag this post
Self Hosted, Open Source KB or Wiki
reddit.com·14h·
Discuss: r/selfhosted
🐧Linux
Flag this post
How to check if a .onion is alive or dead (with Hidden Service Descriptors)
discuss.privacyguides.net·1d
⚖️Logic Programming
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·3d·
🤝Protocol Design
Flag this post
I reverse engineered my cheap managed switch's firmware
xda-developers.com·1d
🐧Linux
Flag this post
CodeMachine-CLI: How I Learned to Stop Worrying and Let AI Write My Entire Codebase
dev.to·21h·
Discuss: DEV
🧩Theorem Proving
Flag this post