🧬 Functional Programming

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

iOS development tip: use <code>trash</code> instead of <code>rm</code> to clear your DerivedData
esham.io·19h
🍎Apple Archive
Vikings were captivated by silver – our new analysis of their precious loot reveals how far they travelled to get it
theconversation.com·1d·
Discuss: Hacker News
🏰Medieval Networks
Web hosts struggle to protect against WordPress vulnerabilities
patchstack.com·3h·
Discuss: Hacker News
🔓Hacking
Intraducing Mastrodon
daniel.industries·3d
🔩Systems Programming
The Ancient Roman Dodecahedron: The Mysterious Object That Has Baffled Archaeologists for Centuries
openculture.com·7h
🏺Computational Archaeology
Beyond subjectivity: How technology aims to improve psychiatric diagnoses
english.elpais.com·1d
🧲Magnetic Resonance
Unresolved debates about the future of AI
helentoner.substack.com·4d·
Discuss: Substack
🤖AI Curation
Jimmy Wales Says Wikipedia Could Use AI. Editors Call It the 'Antithesis of Wikipedia'
404media.co·3h·
Discuss: Hacker News
🌱Personal Wikis
Say farewell to the AI bubble, and get ready for the crash
latimes.com·23h·
Discuss: Hacker News
🤖AI Curation
The Untapped Power of Jetpack Compose Modifiers
hackernoon.com·3d
🎬WebCodecs
My Personal Journey: Testing the 4 Best Proxy Providers in 2025
dev.to·9h·
Discuss: DEV
📡Feed Archaeology
Enhancing Supervised Composed Image Retrieval via Reasoning-Augmented Representation Engineering
arxiv.org·3d
🗂️Vector Search
A2HCoder: An LLM-Driven Coding Agent for Hierarchical Algorithm-to-HDL Translation
arxiv.org·3d
💻Local LLMs
Soft Error Probability Estimation of Nano-scale Combinational Circuits
arxiv.org·2d
🔧Hardware Verification
Asia steps into the global carbon cycle conversation
phys.org·8h
🧊Arctic Storage
Cointel Raises $7.4M In Strategic Round Led By Avalanche And Sugafam Inc.
hackernoon.com·21h
🔗Hash Chains
Automated Multi-Modal Scholarly Review & Impact Prediction Framework
dev.to·3d·
Discuss: DEV
📜Digital Philology
Automated Knowledge Graph Augmentation via Dynamic Semantic Embedding Refinement
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Bio-Based Fertilizer Optimization via Microbial Consortia Predictive Modeling
dev.to·2d·
Discuss: DEV
📡RSS Automation
Blinko: Your AI-Powered, Self-Hosted Note-Taking Revolution
dev.to·1d·
Discuss: DEV
🚀Indie Hacking