Oops, My UUIDs Collided
alexsci.com·3d·
Discuss: Hacker News
🎯GADT
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·8h·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·20h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
AI-assisted writing (without the Slop)
jampa.dev·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·4d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🔢Algebraic Data Types
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·1d·
Discuss: Hacker News
🔍CBMC
Flag this post
Dictionary for language learning application in Go
reddit.com·5h·
Discuss: r/golang
🔌APIs
Flag this post
How I Automated My Most Tedious Task and Unlocked Our Growth Strategy
devops.com·5h
🔧DevOps
Flag this post
The Case That A.I. Is Thinking
newyorker.com·14h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Time to move on: n8n vs code for SaaS
pixeljets.com·9h·
Discuss: Hacker News, r/node
🔧DevOps
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·4d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·14h·
Discuss: Hacker News
🔧DevOps
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·15h·
Discuss: DEV
📦Unikernel Systems
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·3d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.com·2h
🔬Unikernels
Flag this post
Multi-Modal Feature Fusion for Spatial Morphology Analysis of Traditional Villages via Hierarchical Graph Neural Networks
arxiv.org·20h
🕸️Graph Theory
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
github.com·13h·
Discuss: Hacker News, r/LocalLLaMA
🌐ActivityPub
Flag this post
Building MoodMatch: An AI Agent That Understands Your Emotions
dev.to·3h·
Discuss: DEV
🌐ActivityPub
Flag this post
MCP Server Architecture: A Developer's Guide
dev.to·9h·
Discuss: DEV
💬Mach Messages
Flag this post
Building a Smart Recipe Agent with Telex & FastAPI — Daily Tips, Ingredient Parsing, and Smart Conversions
dev.to·3h·
Discuss: DEV
🌐Network Protocols
Flag this post