🧬 Functional Programming

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

Darwinist feminism: Dismantling the myth of female sexual passivity
english.elpais.com·19h
⚙️systems theory
All the Water Rising
amandaguinzburg.substack.com·11h·
Discuss: Substack
🚀Indie Hacking
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·10h·
Discuss: Hacker News
🤝Paxos Consensus
The Untold Impact of Cancellation
pretty.direct·1d·
Discuss: Hacker News
🎯Gradual Typing
10 Surprising Things You Can Do with Python’s time module
kdnuggets.com·1d
⚙️WASM Runtime
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·2d·
Discuss: Hacker News
🔀CRDT
Revolutionary ECC-256 Key Recovery via Quantum Collapse Algorithm
quantumtopology.substack.com·3d·
Discuss: Substack
🔐Quantum Cryptography
Rao Reading Algorithm
raohacker.com·4d·
Discuss: Hacker News
🎯Content Recommendation
The Vibe Code Fallacy: Why Playing It Safe Is the Riskiest Strategy
derekneighbors.com·2d·
Discuss: Hacker News
🔐Capability Systems
OpenAI prepares to launch GPT-5, but big leaps are unlikely
the-decoder.com·14h
🔲Cellular Automata
Lessons from 10 Years at GitHub
rickwinfrey.com·1d·
Discuss: Hacker News
🔄Language Evolution
💭 What's the Best Tech Stack for a Markdown-Based Programming Blog?
dev.to·11h·
Discuss: DEV
📰RSS Feed Discovery
Decoding Neural Signatures of Semantic Evaluations in Depression and Suicidality
arxiv.org·2d
🧠Intelligence Compression
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·3d
✅Format Verification
Survey of NLU Benchmarks Diagnosing Linguistic Phenomena: Why not Standardize Diagnostics Benchmarks?
arxiv.org·4d
⚙️Compression Benchmarking
🚀 RS Calculator v0.2.0: Safer, Smarter, and Now Supports Full Math Expressions!
dev.to·1d·
Discuss: DEV
🧪Binary Fuzzing
🧠 List of Free AI Chatbots for Coding (That Won’t Steal Your Job)
dev.to·10h·
Discuss: DEV
⚡Proof Automation
AI Workload Security in 2025: The Battle to Safeguard ML Pipelines
dev.to·4h·
Discuss: DEV
🏠Homelab Pentesting
RATE: An LLM-Powered Retrieval Augmented Generation Technology-Extraction Pipeline
arxiv.org·3d
🔍Information Retrieval
JRM runs off at the mouth
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚔️Lean Tactics