🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

If the Window Runtime PropertyValue is for boxing non-inspectables, why is there a PropertyValue.CreateInspectable?
devblogs.microsoft.com·16h
🐛Fuzzing
reqwest retries
seanmonstar.com·2d
⚡gRPC
How to run an LLM on your laptop
technologyreview.com·13h
💻Local LLMs
ZFS Summer Article Roundup: Smart Hardware Advice
klarasystems.com·1d
💿ZFS Internals
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·15h
🔌Interface Evolution
Why Aggregators Ate the Internet
every.to·17h·
Discuss: Hacker News
🌊Streaming Systems
LLMs Are Bad at Being Forced
morphllm.com·18h·
Discuss: Hacker News
💻Local LLMs
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·2d·
Discuss: Hacker News
🎯Gradual Typing
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·4d·
Discuss: Hacker News
🔗Functional Compilers
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·2h
📝ABNF Extensions
Agent Memory with Spring AI & Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Proof-theoretic Semantics for First-order Logic
arxiv.org·2h
🏗️Constructive Logic
Why pull-based pipelines are faster
blog.sequinstream.com·15h·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·2d
🔢Bitwise Algorithms
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·2d·
Discuss: Hacker News
🌐WASI
LLVM 21.1-rc1 Released For Testing: Better RISC-V Support, AMD GFX1250 & NVIDIA GB10
phoronix.com·9h
🧩RISC-V Assembly
Does AWS Lambda have a silent crash in the runtime?
aaronstuyvenberg.com·2d·
Discuss: Hacker News
🌊Stream Processing
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.co·10h·
Discuss: Hacker News, Hacker News
📝ABNF Parsing
Crates.io Implements Trusted Publishing Support
socket.dev·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
"high level" languages are easier to optimize
jyn.dev·5d·
Discuss: Hacker News
🔨Compilers