Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🗂data structures
Flag this post
Attention Is All You Need for KV Cache in Diffusion LLMs
paperium.net·8h·
Discuss: DEV
🎭Actor Model
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·7h
⚡Developer Productivity
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·1d·
Discuss: Hacker News
🎮Game Engines
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·11h·
Discuss: www.blogger.com
🔗Distributed systems
Flag this post
build system tradeoffs
jyn.dev·2d·
Discuss: Lobsters, Hacker News
📋configuration systems
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·7h
🎮Game Engines
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🎭Actor Model
Flag this post
Julia 1.12 Adds Trim Feature
i-programmer.info·20h
🖼Graphics programming
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·22h·
Discuss: Lobsters, Hacker News
🗂data structures
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·7h
🎮Game Engines
Flag this post
Limitations of a two-pass assembler
boston.conman.org·9h
🗂data structures
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·1d·
Discuss: Hacker News
🦀Rust
Flag this post
LangChain Might Be the New WordPress of AI
designveloper.com·1d·
Discuss: r/programming
⚡Developer Productivity
Flag this post
Wild 0.7 Released For This Very Fast Linker Written In Rust
phoronix.com·1h
🦀Rust
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·1d·
Discuss: r/LLM
🤖AI
Flag this post
Convince me to use C instead of Rust
reddit.com·1d·
Discuss: r/C_Programming
🦀Rust
Flag this post
Fast, Scalable LDA in C++ with Stochastic Variational Inference
github.com·21h·
Discuss: r/cpp
🤖AI
Flag this post
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
scattered-thoughts.net·3d
⚡Developer Productivity
Flag this post
What if software shipped with a software engineer?
manuel.kiessling.net·14h
⚡Developer Productivity
Flag this post