Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules

A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·20h
🔶Lattice Theory
Why Raft's Single-Log-Entry Configuration Change Doesn't Work (and why Joint Consensus uses 2 entries)
reddit.com·1h·
Discuss: r/compsci
🎯Ring Buffers
Issue 492
haskellweekly.news·5d·
Discuss: Hacker News
functional programming
Radar Trends to Watch: October 2025
oreilly.com·1h
🎭Program Synthesis
Kiln RAG Builder: Now with Local & Open Models
reddit.com·18h·
Discuss: r/LocalLLaMA
🏠indieweb
[Podcast] Episode 8 – Fuchsia’s Netstack3 with Bruno Dal Bo Silva
reddit.com·2h·
Discuss: r/rust
🦀MIR Optimization
Declarative Partial Updates Proposal
github.com·19h·
Discuss: Hacker News
🌐Browser REPLs
Working pipe operator today in pure JavaScript
github.com·3d·
Discuss: Hacker News
🌪️V8 Pipeline
Detecting Distillation Data from Reasoning Models
arxiv.org·9h
Type Checking
Automatic resource cleanup in Jetpack ViewModels using AutoCloseable
dev.to·4h·
Discuss: DEV
📦Closure Capture
AgentCaster: Reasoning-Guided Tornado Forecasting
arxiv.org·9h
🚂Error Propagation
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1d
🎲Parser Fuzzing
sevenDB : reactive yet scalable
reddit.com·1d·
Discuss: r/golang
📋Souffle Datalog
Intuit’s Numaflow Abstracts Away Infrastructure for ML Engineers
thenewstack.io·23h·
Discuss: Hacker News
📡Erlang BEAM
Index-mcp native Rust
github.com·1d·
Discuss: r/rust
🚂Cranelift Backend
horcrux: Split files into encrypted fragments for Node & React Native (TypeScript library)
dev.to·7h·
Discuss: DEV
Gleam
Simulating and Understanding Deceptive Behaviors in Long-Horizon Interactions
arxiv.org·9h
🎲Parser Fuzzing
Vector Trifference
arxiv.org·9h
🎯Bit Vectors
Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
arxiv.org·9h
🔄Loop Optimization
Serverless CI/CD: How I Replaced Jenkins with AWS Lambda and Cut Costs by 93%
dev.to·2d·
Discuss: DEV
🚂Cranelift IR