Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Gadget chains in Java: how unsafe deserialization leads to RCE?
dev.to·14h·
Discuss: DEV
📦Serialization
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Theory
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·19h
λ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·15h
🚂Error Propagation
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
2025-10-10 # LLMs Are Transpilers
alloc.dev·23h·
Discuss: Hacker News
🎮Language Ergonomics
ZKP
dev.to·2h·
Discuss: DEV
🔗Hash Algorithms
Effective C++ – Hour 10
jtag.bearblog.dev·1d
🧸Toy Compilers
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·3d
🎭Staged Interpreters
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.com·6h·
Discuss: r/cpp
🧮Combinator Calculus
Show HN: Realization Jsmn on a Pure Zig
github.com·13h·
Discuss: Hacker News
📋JSON Parsing
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
✅Type Checking
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
🧮Combinator Calculus
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
📡Erlang BEAM
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·4h·
Discuss: DEV
🗺️Region Inference
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔬Nanopasses
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
🧮Combinator Calculus
Why Do Data Pipelines Need Streaming — Isn’t Batch Processing Enough?
linkedin.com·19h·
Discuss: DEV
📡Erlang BEAM