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

Double Maths First Thing: Issue 3B
aperiodical.com·2d
👑Isabelle
Flag this post
What 350 different theories of consciousness reveal about reality
newscientist.com·2d
🏛️Philosophy
Flag this post
Ruby Central – Source of Truth Update
rubycentral.org·4h·
🏛️Byzantine Archival
Flag this post
Why Linux and Why Now
brooksreview.net·4h·
Discuss: Hacker News
🔌Operating system internals
Flag this post
AI – Real and good example of Java modernization
matteo.vaccari.name·3d·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
Why More People Are Taking Control of Their Digital Lives with Self-Hosted Alternatives
docker.com·12h
🖥️Self-hosted Infrastructure
Flag this post
From Notes to Networks: Using Obsidian to Teach Metadata and Linked Data
journal.code4lib.org·3d
🕸️Knowledge Graphs
Flag this post
The beginning of the universe: Cosmic inflation with standard particle physics repertoire
phys.org·10h
📡RSS
Flag this post
I Spent 3 Days Making App Store Screenshots (So I Built a Tool That Does It in 15 Minutes)
dev.to·4h·
Discuss: DEV
🖥️Vintage Macintosh
Flag this post
Causally Perturbed Fairness Testing
arxiv.org·2d
📊Rate-Distortion Theory
Flag this post
Food4All: A Multi-Agent Framework for Real-time Free Food Discovery with Integrated Nutritional Metadata
arxiv.org·2d
🧭Content Discovery
Flag this post
The Simulated Soul: Emergent Identity, Memory, and Mythopoetic Dialogue in Large Language Models
dev.to·5d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Building a Full-Stack AI Shopping Assistant with CrewAI and Tavily
dev.to·1d·
Discuss: DEV
📡RSS Automation
Flag this post
Timely Clinical Diagnosis through Active Test Selection
arxiv.org·1d
🎵Audio ML
Flag this post
Bayesian Jammer Localization with a Hybrid CNN and Path-Loss Mixture of Experts
arxiv.org·21h
📊Computational Geometry
Flag this post
Automated Antibody Affinity Maturation via Evolutionary Annealing & Multi-Objective Optimization
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Flag this post
From What to Why: A Multi-Agent System for Evidence-based Chemical ReactionCondition Reasoning
dev.to·2d·
Discuss: DEV
🧮Theorem Proving
Flag this post
Open Shouldn't Mean Exempt: Open-Source Exceptionalism and Generative AI
arxiv.org·3d
🔓Open Source Software
Flag this post
LLM evaluation: a quick overview of Stax
dev.to·2d·
Discuss: DEV
Proof Automation
Flag this post