Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·15h·
Discuss: Hacker News
🔠Type-Level Programming
Richard Feynman and the Connection Machine
longnow.org·19h·
Discuss: Hacker News
🔄Finite State Machines
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·19h·
Discuss: Hacker News
🤖Program Synthesis
Full QuickJS Support for Nginx
blog.nginx.org·4h·
Discuss: Hacker News
🌐NetworkProtocols
💥Job Ready AI Powered Cohort: Complete Web Development + DSA + Aptitude GOOD or BAD !!!!!!!💥
sheryians.com·2d·
Discuss: r/programming
💻CS
Software Engineer (Platform Infrastructure)
kaleido.io·12h·
Discuss: Hacker News
⎈Kubernetes
Running a static website in AWS for $0.55
cottongeeks.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Modern Electric Vehicle Infrastructure Security
ocpp.us·3d·
Discuss: Hacker News
🌐NetworkProtocols
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Open Source Tools to Detect CVE-2024-54085
eclypsium.com·8h·
Discuss: Hacker News
🛡️seL4
A lightweight Cloudflare Dynamic DNS shell script
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Learning To Communicate Over An Unknown Shared Network
arxiv.org·1d
🌐NetworkProtocols
Building the Hugging Face MCP Server
huggingface.co·1d·
Discuss: Hacker News
🏠HomeLab
A model for IV&V that's useful
waldo.jaquith.org·8h·
Discuss: Hacker News
🔄Reproducible Builds
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Mocking Tokio requests without using traits
users.rust-lang.org·3d·
Discuss: Hacker News
🌐NetworkProtocols
Don’t compare programming to the real world
expressionstatement.com·17h·
Discuss: r/programming
👁️System Observability
eSIM security research (GSMA eUICC compromise and certificate theft)
seclists.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·14h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
The XINU Page
xinu.cs.purdue.edu·7h·
Discuss: Hacker News
📦Unikernel Systems