Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·2d
🔗Functional Compilers
Magic The Gathering - Deal infinite damage for 4GRU, as long as the twin primes conjecture is true
reddit.com·13h·
Discuss: r/BadMtgCombos
🎯Proof Tactics
LLVM 21.1-rc1 Released For Testing: Better RISC-V Support, AMD GFX1250 & NVIDIA GB10
phoronix.com·15h
🧩RISC-V Assembly
I built a CLI to catch prompt injection & LLM jailbreaks. Want to try it out?
dev.to·18h·
Discuss: DEV
⚡Proof Automation
GORM Magic: Go Database Made Easy ⚡
dev.to·14h·
Discuss: DEV
⛏️SQL Archaeology
Quicksilver v2: evolution of a globally distributed key-value store (Part 2)
blog.cloudflare.com·23h·
Discuss: Hacker News
🔄Sync Engine
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·1d·
Discuss: Hacker News
🌳Incremental Parsing
Graph or Chain? Choosing the Right Engine for Your AI App
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
How we automated GitHub Actions Runner updates with Claude
dev.to·1d·
Discuss: DEV
🧲RISC-V Preservation
Solving the Context Rot Problem for Coding Agents
install.md·1d·
Discuss: Hacker News
🌳Incremental Parsing
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·1d
🔐Quantum Security
oapi-codegen v2.5.0 is out
github.com·2d·
Discuss: r/golang
📜Proof Carrying Code
Mini-Games Are Becoming the Killer App of the New Internet
hackernoon.com·8h
🕸️WASM Archives
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·2d
🔗Hash Chains
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·2d·
Discuss: Hacker News
🔐CBOR
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·8h
📝ABNF Extensions
Replay institutional trades for debugging and testing (QuantReplay, open-source)
github.com·2h·
Discuss: Hacker News
🔄Sync Engine
jank is C++
jank-lang.org·6d·
Discuss: Lobsters, Hacker News, r/programming
🐚Bash Monads
Kiro and the future of AI spec-driven software development
kiro.dev·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution