🧬 Functional Programming

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

HackerOne Partners with IBM to Advance AI Protections for Granite Models
hackerone.comΒ·2d
🏠Homelab Pentesting
I Tried the App That Promises the Best of Notion and Obsidian, but It’s Uniquely Complicated
makeuseof.comΒ·6d
πŸ—„οΈType-safe Archives
The 3D Software Rendering Technology of 1998's Thief: The Dark Project (2011)
nothings.orgΒ·2dΒ·
Discuss: Hacker News
πŸ“ŸTerminal Physics
Securing Grafana and Prometheus with SSH tunnels instead of public ports
igorstechnoclub.comΒ·1dΒ·
Discuss: Hacker News
πŸ“¦Container Security
Delta Lake: Transform Pandas Prototypes into Production
codecut.aiΒ·3dΒ·
Discuss: Hacker News
πŸ“Delta Encoding
Alice Roberts investigates the unstoppable rise of Christianity
newscientist.comΒ·2d
🏰Manuscript Networks
Just-in-Time UI
blog.paulmcdonald.funΒ·3dΒ·
Discuss: Hacker News
πŸ”ŒInterface Evolution
Open Source is one person
opensourcesecurity.ioΒ·2dΒ·
Discuss: DEV, Lobsters, Hacker News
πŸš€Indie Hacking
Personal rights: Synchronized voice is protected from AI imitation
heise.deΒ·2d
πŸ‘‚Audio Evidence
2025-08-26: Summer in the Midwest
ws-dl.blogspot.comΒ·3dΒ·
Discuss: ws-dl.blogspot.com
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
Probability of typing a wrong Bitcoin address
johndcook.comΒ·1dΒ·
Discuss: Hacker News
πŸ”§Error Correction
I open-sourced a protocol to create auditable logs for AI agents
medium.comΒ·3dΒ·
Discuss: Hacker News
πŸš€Indie Hacking
Websites still matter, but can't survive on their own
techradar.comΒ·1d
🎯Content Recommendation
Two-billion-year oxygen transformation on Earth unveiled
phys.orgΒ·1dΒ·
Discuss: Hacker News
🦴Binary Paleontology
Vow ASA (SSHPF) Q2 2025 Earnings Call Transcript
seekingalpha.comΒ·1d
πŸ”—Data Provenance
Strengthening Applications with IP Location Monitoring and Validation APIs
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“‘Network Protocol Design
A deep reinforcement learning agent trained for interval timing exhibits similarities to biological systems
arxiv.orgΒ·5d
πŸ”²Cellular Automata
The 24/7 AI Teammate – How an Agent Can Continuously Improve Your Codebase Overnight
dev.toΒ·20hΒ·
Discuss: DEV
πŸš€JIT Compilation
Test-Time Scaling Strategies for Generative Retrieval in Multimodal Conversational Recommendations
arxiv.orgΒ·4d
πŸ”Information Retrieval
MMCIG: Multimodal Cover Image Generation for Text-only Documents and Its Dataset Construction via Pseudo-labeling
arxiv.orgΒ·4d
πŸ‘οΈOCR Verification