Show HN: Get Wildcard Subdomain Instantly
wildcard.jolly-ops.com·1d·
Discuss: Hacker News
📡Network Protocol Design
Improving End-to-End Tests to Reduce Flakiness: Tools and Strategies
blog.testresult.co·8h·
Discuss: Hacker News
🧪Property-Based Testing
PHP License Update
wiki.php.net·3d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
When Root Meets Immutable: OpenBSD chflags vs. Log Tampering
rsadowski.de·3d·
Discuss: Lobsters, Hacker News
🛡️seL4
Show HN: FigForm – Feel the power of Figma when creating customized forms
figform.io·6h·
Discuss: Hacker News
🐫Embedded OCaml
My Bank Keeps on Undermining Anti-Phishing Education
moritz-mander.de·1d·
Discuss: Hacker News
🎮Verification Games
Show HN: Object database for LLMs that persists across chats (MCP server)
dry.ai·20h·
Discuss: Hacker News
🛡️seL4
What Doesn’t Change
terriblesoftware.org·4d·
Discuss: r/compsci, r/programming
👁️System Observability
The AI Replaces Labour Myth
aimode.substack.com·19h·
Discuss: Substack
🖥️Self-hosted Infrastructure
TSMC aims to make 30% of high-end chips in US with Arizona fab build out
theregister.com·17h·
Discuss: Hacker News
🧗Climbing Tech
A Few Things I've Learned about Prompt Engineering
cloudcruise.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Are we trading our hard-earned intelligence for convenience?
lmyslinski.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·10h
🎮Verification Games
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·10h
🔠Type-Level Programming
IBM Tackles Shadow AI: An Enterprise Blind Spot
thenewstack.io·14h
👁️System Observability
Proxmox or HyperV
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.org·10h
🐫OCaml
I'm not a programmer, but I context engineered an internet spec in a week with AI.
reddit.com·2d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Guys need an urgent help. Can someone run this github repository. We have to submit the results tomorrow.
github.com·5d·
Discuss: r/programming
📦Unikernel Systems
Backscatter Device-aided Integrated Sensing and Communication: A Pareto Optimization Framework
arxiv.org·3d
📡Network Protocol Design