New VS Code extension to run all frontier open models
marketplace.visualstudio.com·3h·
Discuss: Hacker News
🐫OCaml
The Rise of Async Programming
braintrust.dev·12h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Semlib: LLM-powered Data Processing
anishathalye.com·1d·
Discuss: Lobsters
🧩Parser Combinators
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·2d·
Discuss: Hacker News
🛡️seL4
Defold makes a big step towards first-class Teal support
defold.com·14h·
Discuss: Hacker News
🐫Embedded OCaml
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·2h·
Discuss: Hacker News
🧩Separation Logic
Effects as Capabilities in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
Quantum Algorithm Zoo
quantumalgorithmzoo.org·1d·
Discuss: Hacker News
🧠Automated Reasoning
Brussels faces privacy crossroads over encryption backdoors
theregister.com·12h·
Discuss: Hacker News
🍎Apple
Compiling a Functional Language to LLVM
danieljharvey.github.io·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Accelerated Game of Life with CUDA / Triton
boristhebrave.com·3h·
Discuss: Hacker News
🔧Unikernel Development
The 4p Developer: The Missing Layer in Platform Thinking
davidpoll.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
What Happened to Google's A2A?
blog.fka.dev·16h·
Discuss: Hacker News
🐳Containerization
What's new in Kotlin 2.2.20
kotlinlang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
Findings from six months of running `govulncheck` in CI
brandur.org·11h·
Discuss: Hacker News
📊Runtime Verification
The Agentic Web: How AI Agents Are Shaping the Web’s Future
thenewstack.io·4h
🤖Program Synthesis
Tricks from OpenAI gpt-oss YOU 🫵 can use with transformers
huggingface.co·1d·
Discuss: Hacker News, r/LocalLLaMA
🔧Unikernel Development
Run Any MCP as Agent
blog.inxm.ai·3d·
Discuss: Hacker News
🐳Containerization
Auth Migration Hell: Why Your Next Identity Project Might Keep You Up at Night
securityboulevard.com·14h·
Discuss: Hacker News
🛡️seL4