🧬 Functional Programming

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

Hive mindfulness: Sleuths’ advice leads to retraction of paper on social connection
retractionwatch.com·13h
📰RSS Reading Practices
Erasing personal data from the devices you discard is a booming business
cnbc.com·15h·
Discuss: Hacker News
🔬Hardware Forensics
Your ideal candidate just announced they're looking for a new job
profilewise.co.uk·17h·
Discuss: Hacker News
👤Search Personalization
Golang Concurrency: How to use Mutexes
cookie.engineer·4d
👑Dependent Haskell
The Curious Case of Entropy
keccak-doomsday.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Plus, Minus: A Gentle Introduction to the Physics of Orthogonal
gregegan.net·1d·
Discuss: Hacker News
⏰Time Crystals
Introducing Pivotal Token Search (PTS): Targeting Critical Decision Points in LLM Training
huggingface.co·3d·
Discuss: Hacker News, r/LLM, r/programming
🎯Interactive Provers
Launch HN: Uplift (YC S25) – Voice models for under-served languages
news.ycombinator.com·1d·
Discuss: Hacker News
🎙️Whisper
We Thought DNA Ran Our Lives until We Discovered RNA Is in Charge
scientificamerican.com·1d·
Discuss: Hacker News
🧬Palindrome Codes
Biodiversity credits need transparency and regulation to have impact and credibility, researchers say
phys.org·13h
🏛️PREMIS Metadata
Breaking Bubsy News
feed.tedium.co·1d
📡Feed Archaeology
Create personalized products and marketing campaigns using Amazon Nova in Amazon Bedrock
aws.amazon.com·9h
🏛Digital humanities
AI-Powered Defect Prediction & Mitigation in Additive Manufacturing of Turbine Blades
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Agent-Induced Fluctuation Dissipation Theorem Deviations in Non-Equilibrium Chemical Reaction Networks
dev.to·3d·
Discuss: DEV
⚛️Information Physics
What happens inside the computer when you run your Go server
dev.to·7h·
Discuss: DEV
🌊Stream Processing
Language models align with brain regions that represent concepts across modalities
arxiv.org·3d
🔢Denotational Semantics
Multi-Phase Automated Segmentation of Dental Structures in CBCT Using a Lightweight Auto3DSeg and SegResNet Implementation
arxiv.org·2d
🧠Machine Learning
SocialTrack: Multi-Object Tracking in Complex Urban Traffic Scenes Inspired by Social Behavior
arxiv.org·2d
📱QR Archaeology
AICRN: Attention-Integrated Convolutional Residual Network for Interpretable Electrocardiogram Analysis
arxiv.org·2d
🎵Audio ML
TCF1 and LEF1 promote B-1a cell homeostasis and regulatory function
nature.com·15h
🧬Copy Number Variants