Got some progress in, and cat news
refarmer.ca·8h
🌊Gradual Typing
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🌳Tree Shaking
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
🧮Combinator Calculus
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
⚡functional programming
How I Built My Own Tool for Disk Space Cleanup
debamitro.github.io·15h
🚂Cranelift Backend
Logical Operators & Control Flow
github.com·1d·
Discuss: DEV
🎭Delimited Continuations
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
✅Type Checking
Effective C++ – Hour 10
jtag.bearblog.dev·2d
🧸Toy Compilers
Refactoring: A way to write better Code
dev.to·11h·
Discuss: DEV
🚚Code Migration
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Three ways formally verified code can go wrong in practice
buttondown.com·20h
📜Proof Languages
Every single COT terms score.
reddit.com·2h·
Discuss: r/LocalLLaMA
🔤Language Tokenizers
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·2d·
Discuss: Hacker News
🪢Rope Algorithms
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔀SIMD Programming
Context Engineering for Coding Agents
hackernoon.com·10h
🔮Metacircular Evaluators
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🐍lisp
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🔍ML Language
TBM 383: Maximizers vs. Focusers
substackcdn.com·22h·
Discuss: Substack
📡Async Channels
EXPLORING NORMALIZATION
dev.to·2d·
Discuss: DEV
🔄Copy Propagation
Context Engineering Tips for ClaudeCode: Context Trimming, Sub-agents, Parallelism
reddit.com·1d·
Discuss: r/ClaudeAI
⚡Effect Handlers