Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·1d·
Discuss: r/LocalLLaMA
⛓️Blockchain
Integrating Nix and Buck2
tweag.io·2d·
Discuss: Hacker News
⛓️Blockchain
Lobsters Interview with Icefox
lobste.rs·20h·
Discuss: Lobsters
⛓️Blockchain
'Hello world' in Bismuth
enikofox.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⛓️Blockchain
Sync primitives are Functionally Complete
kprotty.me·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⛓️Blockchain
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
⛓️Blockchain
Trying out Qwen3 Coder Flash using LM Studio and Open WebUI and LLM
simonwillison.net·1d
🤖AI
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·1h·
Discuss: Hacker News
⛓️Blockchain
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·1d·
Discuss: Hacker News, r/programming
⛓️Blockchain
Announcing TypeScript 5.9
devblogs.microsoft.com·20h·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
⛓️Blockchain
Amp Code Deep Dive
elite-ai-assisted-coding.dev·16h·
Discuss: Hacker News
🤖AI
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
⛓️Blockchain
Maybe the Fastest Disk Usage Program on macOS
healeycodes.com·2d·
Discuss: Hacker News, r/programming
⛓️Blockchain
The Signal Protocol Explained #2: Implementing the Double Ratchet Algorithm in Rust
kerkour.com·3d·
Discuss: Hacker News
⛓️Blockchain
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
⛓️Blockchain
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
⛓️Blockchain
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·1d·
Discuss: Hacker News
⛓️Blockchain
Mun Programming Language
mun-lang.org·23h·
Discuss: Hacker News
⛓️Blockchain
Show HN: List of Clojure-Like projects
github.com·16h·
Discuss: Hacker News
⛓️Blockchain
How to Write Inductive Invariants
quint-lang.org·22h·
Discuss: Lobsters, Hacker News, r/programming
⛓️Blockchain