📏 Linear Types

Resource Management, Use-Once Semantics, Affine Types, Memory Safety

Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·16h·
Discuss: Hacker News
🎴TAO
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·13h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📊Dynamic Programming
Flag this post
A brief guide for those who slept (on AI) the last two years
github.com·5h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.com·1d·
Discuss: Hacker News, r/LLM
🤖Transformers
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·1d·
Discuss: Hacker News
🛡️Error Handling
Flag this post
Can LLMs subtract numbers?
arxiv.org·15h·
Discuss: Hacker News
📝Parsing
Flag this post
Teaching My Team How to Build LINQ from Scratch
dev.to·1d·
Discuss: DEV
λFunctional Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·15h
🧮Embeddings
Flag this post
Building Resilient Event-Driven Systems: Lessons from the Distributed Trenches
dev.to·1d·
Discuss: DEV
🔄Distributed Systems
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·3h·
Discuss: Hacker News
✅Property Testing
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·5h·
Discuss: Hacker News
🎨Computer Graphics
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.to·5h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Attention Is All You Need for KV Cache in Diffusion LLMs
paperium.net·1d·
Discuss: DEV
🔁Cache Coherence
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·20h·
Discuss: Hacker News
⚡Hardware Acceleration
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
⚡Hardware Acceleration
Flag this post
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
blog.wilsonl.in·2d·
Discuss: Hacker News, Hacker News
🗄️Database Internals
Flag this post
I've created a leetcode-like platform for system design
systemstudio.app·7h·
Discuss: DEV
🎨Design Systems
Flag this post