Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·4h·
Discuss: Lobsters, Hacker News
📡Network Serialization
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.com·22h·
Discuss: r/cpp
🧮Combinator Calculus
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🎮Language Ergonomics
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
✅Type Checking
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·1d
🧮Combinator Calculus
I have seen the compounding teams
sundaylettersfromsam.substack.com·3h·
Discuss: Substack
🎭Program Synthesis
SE371 - Assignment 2
dev.to·12h·
Discuss: DEV
🤐Zipper Structures
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔬Nanopasses
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
🧮Combinator Calculus
Running AI agents in parallel
adityathebe.com·26m
⚡Incremental Parsing
Why Do Data Pipelines Need Streaming — Isn’t Batch Processing Enough?
linkedin.com·1d·
Discuss: DEV
📡Erlang BEAM
What Large Language Models Teach Us About 'Human Knowledge'
opengovernance.net·13h
🌱Minimal ML
This Excel feature helps me make better decisions (and avoid regrets)
makeuseof.com·55m
🔢Algebraic Datatypes
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
📋JSON Parsing
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·13h·
Discuss: Hacker News
🪜Recursive Descent
LINQ and Learning to Be Declarative
nickstambaugh.dev·2d·
Discuss: Hacker News
📋Datalog
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·1d·
Discuss: Hacker News
📡Erlang BEAM
Together AI's ATLAS adaptive speculator delivers 400% inference speedup by learning from workloads in real-time
venturebeat.com·1d
🗺️Region Inference
Toy Binary Decision Diagrams
philipzucker.com·5d
✅Type Checking