Unforgettable factory revisited
holyblackcat.github.io·1d·
Discuss: r/cpp
🪆Embedded DSLs
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🔍ML Language
From CAP to GAP?
fsharpforfunandprofit.com·1d·
Discuss: DEV
🧪Testing Compilers
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
🎯Symbolic Execution
Item Patterns and Struct Await
noratrieb.dev·1d·
Discuss: Hacker News
🛡️Error Handling
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·3h·
Discuss: DEV
⚡Control Synthesis
Gadget chains in Java: how unsafe deserialization leads to RCE?
dev.to·1d·
Discuss: DEV
📦Serialization
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Theory
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
⚡functional programming
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
λLambda Calculus
ReasonScape Evaluation: AI21 Jamba Reasoning vs Qwen3 4B vs Qwen3 4B 2507
reddit.com·1d·
Discuss: r/LocalLLaMA
🏁Language Benchmarks
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
🚂Error Propagation
Effective C++ – Hour 10
jtag.bearblog.dev·1d
🧸Toy Compilers
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🎮Language Ergonomics
ZKP
dev.to·13h·
Discuss: DEV
🔗Hash Algorithms
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
🎭Staged Interpreters
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.com·17h·
Discuss: r/cpp
🧮Combinator Calculus
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·9m·
Discuss: Hacker News
📡Network Serialization
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
✅Type Checking