An introduction to OCI Containers on FreeBSD
freebsdfoundation.org·15h·
Discuss: Hacker News
🐳Containerization
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·1d·
Discuss: Hacker News, r/programming
🏃Escape Analysis
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·12h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🧮Z3 Solver
Flag this post
A portable picokernel for async I/O
ryansepassi.com·5h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
AI AGENT INTEGRATION WITH MASTRA AND TELEX.IM
dev.to·1h·
Discuss: DEV
🌐ActivityPub
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
λFunctional Programming
Flag this post
MCP Security: Navigating the Exploit Playbook for Agent
dev.to·7h·
Discuss: DEV
🛡️macOS Security
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Guide: TLS and QUIC
moq.dev·17h·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
You Don't Need Types in Ruby
zhisme.com·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·10h·
Discuss: DEV
🌐Network Protocols
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Beyond Request-Response: Architecting Real-time Bidirectional Streaming Multi-agent System
developers.googleblog.com·1d
🩹Self-Healing Systems
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·2d·
Discuss: Hacker News
🔧ppx
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·15h·
Discuss: Hacker News
💬Mach Messages
Flag this post