Are my SQL files read at build time or run time?
gaultier.github.io·1d
🔍Execution Tracing
Announcing AKS: Fast and frictionless Kubernetes for all
azure.microsoft.com·1d
🛡️Capability VMs
Coreboot and Linux Hardware: Inside Star Labs with Sean Rhodes
vpetersson.com·1d
🏗️Build Systems
Claude Can (Sometimes) Prove It
galois.com·1d·
Discuss: Lobsters, Hacker News
🧩Constraint Solvers
My First Graphics Post: From DX11 to Vulkan (aka “Why I Ditched Training Wheels”)
vkguide.dev·19h·
Discuss: DEV
🎓Teaching Compilers
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·21h·
Discuss: Hacker News
🏷️Symbol Interning
Ask HN: What in your opinion is the best model for vibecoding? My thoughts below
news.ycombinator.com·1d·
Discuss: Hacker News
📋JSON Parsing
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·2d
🔧Error Recovery
OpenAI upgrades Codex with new GPT-5 version
igorslab.de·1d
🎮Language Ergonomics
[URGENT] Which is a reliable and affordable GPU cluster for hosting custom LLMs for business
reddit.com·1d·
Discuss: r/LocalLLaMA
🏗️Custom Allocators
How to Choose a Node.js Framework
judoscale.com·7h
📦Monorepos
Choosing the Right Storage and Memory
dev.to·2d·
Discuss: DEV
⚡Performance
Get started with Amazon OpenSearch Service: T-shirt size your domain for log analytics
aws.amazon.com·1d
📮Persistent Queues
Hierarchical Importance Sampling for Estimating Occupation Time for SDE Solutions
arxiv.org·3h
✨Effect Inference
Shipping a Lean DDD-Friendly Inventory API in Laravel 12
dev.to·12h·
Discuss: DEV
✅Configuration Validation
A unique dual‑screen gaming laptop under $1,000 lands on Kickstarter — Is it real? I certainly hope so.
windowscentral.com·10h
🔐Ownership Types
Match Chat: Real Time Generative AI and Generative Computing for Tennis
arxiv.org·1d
🎭Racket
How the JVM Works?
dev.to·10h·
Discuss: DEV
📜Bytecode
Large Language Models Imitate Logical Reasoning, but at what Cost?
arxiv.org·1d
📋Souffle Datalog
Don’t Trust the Scroll: Stop AI Agents from Running Code
pub.towardsai.net·19h
🛡️Security Type Systems