🧬 Functional Programming

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

The ROI of exercise
nicolaiarocci.com·1d
🏠Personal Archives
DCP-o-matic • Re: Veriying DCP on Synology NAS via CLI
dcpomatic.com·1d
✅FLAC Verification
Asexual, Aromantic, Apatrial
thingofthings.substack.com·1d·
Discuss: Substack
🔐Homomorphic Encryption
Show HN: Alertee.io – Catch data issues early with SQL-based checks
alertee.io·11h·
Discuss: Hacker News
🗄️Database Recovery
Discrete optimization for on-call scheduling (2021)
rainforestqa.com·5d·
Discuss: Lobsters, Hacker News
🧮Compute Optimization
Mattel's M.U.S.C.L.E. Men: A Retrospective (2021)
retroramblings.com·1d·
Discuss: Hacker News
🕹️Retro Gaming
Are AI sermons ethical? Clergy consider where to draw the line
ncronline.org·1d·
Discuss: Hacker News
🤖AI Curation
Takeaways from scientists on the Trump administration's work on climate change and public health
the-independent.com·11h
🧊Arctic Storage
Links 8/25/2025
nakedcapitalism.com·1d
📡RSS
Eighth developer beta of iOS 26: Has Apple finished testing?
heise.de·15h
🍎Apple Archive
[P] Language Diffusion in <80 Lines of Code
reddit.com·5d·
Discuss: r/MachineLearning
🎯Gradual Typing
Chemists develop four-charge storage molecule to advance artificial photosynthesis
phys.org·1d
🌈Spectroscopy
What GPT‑5 means for Managers and Leaders (In my view)
dev.to·11h·
Discuss: DEV
🌍Cultural Algorithms
Google wants to make sideloading Android apps safer by verifying developers’ identities
androidauthority.com·1d·
Discuss: Lobsters, Hacker News, r/Android, r/linux, r/privacy
🛡️ARM TrustZone
Researchers Uncover Cancer’s Secret Weapon Against Immune Cells
scitechdaily.com·1d
🧬Copy Number Variants
🔥 Simulating Course Schedules 600x Faster with Web Workers in CourseCast
dev.to·5d·
Discuss: DEV
🌊Streaming Systems
My Favorite Portable Charger Is 20% Off for Labor Day
lifehacker.com·7h
🗜️LZW Variants
EMLP Vs. AMLP: Active Vs. Passive Midstream Investing
seekingalpha.com·11h
🔍BitFunnel
Sunderland vs Huddersfield Town LIVE: League Cup team news, line-ups and more
the-independent.com·7h
✅Format Verification
Cardiff City vs Cheltenham Town LIVE: League Cup team news, line-ups and more
the-independent.com·7h
✅Format Verification