Is OOXML Artifically Complex?
hsu.cy·1d·
Discuss: Hacker News, Hacker News, r/opensource, r/programming
🔤DSLs
A year in and I still love my MacBook Pro and by extension macOS
gigatexal.blog·1d·
Discuss: Hacker News
💾Retro Computing
SaaS Without People
sheet2report.vercel.app·1d·
Discuss: Hacker News
🖥Self-Hosting
Three Types of People That Hate GPT-5
artificialdebrief.substack.com·12h·
Discuss: Substack
🔧Unikernel Development
Visual Development Is Fast Until Big-O Complexity Slows It Down. Here's Our Fix
jinen83.github.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
A wild week: Grok Code Fast 1 exploding to 66% usage share
blog.kilocode.ai·1d·
Discuss: Hacker News
🔧Unikernel Development
Why We No Longer Lock Premium Features
neon.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: PlanetScale CDC: Stream DB changes to Webhooks in real-time
planetscale-cdc.com·4d·
Discuss: Hacker News
⎈Kubernetes
Beyond OOP and the future of development experience
bennett.ink·4d·
Discuss: r/programming
📊Runtime Verification
The CoPilot productivity paradox
marginalia.nu·22h·
Discuss: Hacker News
👁️System Observability
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·2d
✓Automated Theorem Proving
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·2d·
Discuss: Hacker News
🤖Program Synthesis
vLLM with torch.compile: Efficient LLM inference on PyTorch
blog.vllm.ai·2d·
Discuss: Hacker News
🐫Embedded OCaml
Prompt injection as a solution to make agents reliable
controlpla.in·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Integrated Haskell Platform (IHP) v1.4.0 released
github.com·5d·
Discuss: Hacker News
❄️Nixified Development
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·15h·
Discuss: Hacker News
📚Automata Learning
A Versatile and Programmable UAV Platform for Radio Access Network and End-to-End Cellular Measurements
arxiv.org·1d
📡Network Protocol Design
Vibe Coding a Broadcasting Graphics Solution in 6 Hours
elite-ai-assisted-coding.dev·11h·
Discuss: Hacker News
🤖Program Synthesis
Show HN: We wrote an open-source Text to CAD app
github.com·1d·
Discuss: Hacker News
🐫OCaml
Drivel-ology: Challenging LLMs with Interpreting Nonsense with Depth
arxiv.org·1d
🧩Parser Combinators