Keeping Things Expressive When DataFrames Are Involved
simplethread.com·21h·
Discuss: Hacker News
🧮Lambda Calculus
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Release candidate: Godot 4.5 RC 2
godotengine.org·3d·
Discuss: Hacker News, r/godot
🎮Verification Games
Show HN: Free AI Business Name Generator and Domain Avalibility
namegator.lovable.app·1d·
Discuss: Hacker News
📦Unikernel Systems
Improving Cursor Tab with RL
cursor.com·1d·
Discuss: Hacker News
📚Automata Learning
OpenStreetMap Foundation – Chairperson's Report
osmfoundation.org·3h·
Discuss: Hacker News
🧗Climbing Tech
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
Deliberate Abstraction
entropicthoughts.com·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Lessons from npm's Security Failures
oneuptime.com·4d·
Discuss: Hacker News, Hacker News, r/javascript, r/programming, r/typescript, r/webdev
🐳Containerization
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·4d·
Discuss: Hacker News
🛡️seL4
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·4d·
Discuss: Hacker News
🤖Program Synthesis
JFrog Upgrades AI Tooling, Governance To Speed up Software Delivery
thenewstack.io·3d
📦Unikernel Systems
Perplexity's Comet browser is magic
medium.com·6h·
Discuss: Hacker News
🍎Apple
Debunking the Claims of K2-Think
sri.inf.ethz.ch·1d·
Discuss: Hacker News, r/LocalLLaMA
🧠Automated Reasoning
Building Privacy-First AI Agents on Ollama: Complete Guide
nativemind.app·4d·
Discuss: Hacker News
🐳Containerization
What I think about when I think about Claude Code
interconnected.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
The Astronaut and the Planet: Part II
lesswrong.com·21h
🩹Self-Healing Systems
Running Code On a PAX Credit Card Payment Machine
hackaday.com·21h
🔧Unikernel Development
Symmetries in stochastic homogenization and acclimatizations for the RVE method
arxiv.org·1d
🐫OCaml
LITcoder: A General-Purpose Library for Building and Comparing Encoding Models
arxiv.org·1d
🧮Lambda Calculus