From CAP to GAP?
fsharpforfunandprofit.com·1d·
Discuss: DEV
🧪Testing Compilers
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·17h·
Discuss: r/rust
⚡Partial Evaluation
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
Experimenting with ACL2 and Claude Code
mikedodds.org·20h·
Discuss: Hacker News
💬Interactive REPLs
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Theory
Categorical systems theory
topos.institute·20h
🔗Category Theory
XProc 3 Steps as XSpec Test Helper Functions
medium.com·15h
🔧Error Recovery
A gentle introduction to Generative AI: Historical perspective
medium.com·7h·
Discuss: Hacker News
📊LR Parsing
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·13h·
Discuss: Hacker News
🎮Language Ergonomics
Joint optimization of maintenance and resource preparation of system with multi-indicator degradation based on multiple failure mode division
sciencedirect.com·14h
🗺️Region Types
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·3h·
Discuss: DEV
🔄Subinterpreters
Logical Operators & Control Flow
github.com·22h·
Discuss: DEV
🎭Delimited Continuations
Nonlinear phase gates as Airy transforms of the Wigner function
nature.com·19h
∀Quantified Types
Cactus Language • Semantics 3
inquiryintoinquiry.com·16h
📋Backus-Naur Form
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🌲Deforestation
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
🧮Combinator Calculus
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🌳Tree Shaking
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔀SIMD Programming