🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Fundamental engineering principles can help identify disease biomarkers more quickly
phys.org·6h
⚙️systems theory
Vibing a Non-Trivial Ghostty Feature
simonwillison.net·5h
🧪Binary Fuzzing
7 reasons to use Bayesian inference!
statmodeling.stat.columbia.edu·8h·
Discuss: Hacker News
🧮Kolmogorov Bounds
C++26: range support for std:optional
sandordargo.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·16h·
Discuss: Hacker News
⏰Time Crystals
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·1d
📐Mathematical Art
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·2d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Technological Approach to Mind Everywhere: A Grounded Framework (pdf, 2022)
frontiersin.org·2d·
Discuss: Hacker News
🔲Cellular Automata
The Pain Driven Workflow
magistr.me·2d·
Discuss: Hacker News
⚡Incremental Computation
Stop Worrying and Love the Bomb
bitbytebit.substack.com·8h·
Discuss: Substack
⚙️Build Archaeology
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·1d·
Discuss: r/MachineLearning
📚Documentation Archaeology
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
A Manifesto for the Programming Desperado
github.com·1d·
Discuss: Hacker News
💻Programming languages
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
Padding
reddit.com·18h·
Discuss: r/golang
🔧KAITAI
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing