The Return of the Artisans
techleader.pro·1d·
Discuss: Hacker News
💾Retro Computing
What Happens to Google Maps When Tectonic Plates Move?
nautil.us·1d·
Discuss: Hacker News
🧗Climbing Tech
An accessible web is a web for everyone
atipik.ch·4d·
Discuss: Hacker News
🔤DSLs
The Signal Protocol Explained #1: Implementing the Post-Quantum Extended Diffie-Hellman (PQXDH) protocol in Rust
kerkour.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
[Seeking Collaborators] Building a Physics & Reality Simulation from First Principles - An Open Source "Matrixgame"
docs.google.com·4d·
Discuss: r/programming
🎮Verification Games
Simple Way to Find Co-Founders – Business Partner Finder App
findpartner.app·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Microsoft prepares Copilot for GPT-5 with new Smart mode in development
testingcatalog.com·6h·
Discuss: Hacker News
🤖Program Synthesis
Don’t estimate during meetings with pushy clients — pause instead
read.perspectiveship.com·1d·
Discuss: r/programming
👁️System Observability
RustMailer – Week 1 Update: 729 Views, 165 Clones, 13 Stars (in 9 Days)
indiehackers.com·2d·
Discuss: Hacker News
❄️Nixified Development
Show HN: Generate mind maps from anything with AI
instantmind.ai·1d·
Discuss: Hacker News
🎮Verification Games
More Than Code
deadprogrammersociety.com·2d·
Discuss: Hacker News
🔬Static Analysis
Dwl: Dwm for Wayland
codeberg.org·2d·
Discuss: Hacker News
📦Unikernel Systems
Erase Your Darlings
grahamc.com·2d·
Discuss: Hacker News
❄️Nix
FileMock - Client-side mock file generator
reddit.com·1d·
Discuss: r/programming
❄️Nixified Development
ChatGPT Agent now available on the Mac app
9to5mac.com·2d
🍎Apple
The great AI delusion is falling apart
mikemcbrideonline.com·3d·
Discuss: Hacker News
💾Retro Computing
Audio-Vision Contrastive Learning for Phonological Class Recognition
arxiv.org·3d
💻CS
Logistic Regression Applied to Baseball Data
runningonnumbers.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
User Invariant Preference Learning for Multi-Behavior Recommendation
arxiv.org·5d
🔬Unikernels
Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks
arxiv.org·6d
✓Automated Theorem Proving