🧬 Functional Programming

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

Avalue EMX-TWLP announced
blogger.com·10h
🖥️Modern Terminals
PSG go top of Ligue 1 after slender victory over Angers
france24.com·1d
👑Isabelle
AI Chatbots Are Giving Away Your Company's Data
news.uoguelph.ca·1d·
Discuss: Hacker News
🔓Hacking
Years Later, EDAC Linux Driver Coming For The ARM Cortex-A72
phoronix.com·12h
🦾ARM Cortex-M
Why Bother with Markdown? (2020)
idle.nprescott.com·5d·
Discuss: Hacker News
📝Concrete Syntax
With pressure from the Pixel 10 Pro Fold, the Samsung Galaxy Z Fold 7 gets a big price cut at Amazon
techradar.com·12h
📐Projective Geometry
Tim Dowling: here’s a rare thing – a repair job even I can’t put off
theguardian.com·1d
⚙️DIY Electronics
₹5000 AI+ Smartphones to Disrupt Chinese Dominance? Madhav Sheth’s Bold Move!
dev.to·1d·
Discuss: DEV
🦾ARM Cortex-M
Our Shared Reality Will Self-Destruct in the Next 12 Months
honest-broker.com·4d·
Discuss: Hacker News
🌡️Preservation Entropy
Is this project worth my time?
reddit.com·4d·
Discuss: r/golang
📡Feed Security
Top 10 vs code extension
dev.to·4d·
Discuss: DEV
🪟Awesome windows command-line
Cohn: Trump is building ‘one interface to rule them all.’ It’s terrifying.
mercurynews.com·1d
🛡Cybersecurity
Thymic epithelial cells amplify epigenetic noise to promote immune tolerance
nature.com·4d
🧬Copy Number Variants
Thomas Frank’s new Tottenham ethos may restore predictability to Premier League
the-independent.com·1h
📰Feed Readers
An MIT report that 95% of AI pilots fail spooked investors. But the reason why those pilots failed is what should make the C-suite anxious
fortune.com·3d·
Discuss: Hacker News
🤖AI Curation
Scaling Expert Oversight of AI: HackerOne's Human-in-the-Loop Methodology
hackerone.com·3d
⚡Proof Automation
Allee Synaptic Plasticity and Memory
arxiv.org·6d
🔲Cellular Automata
Tidied up my rack. What should I add next?
i.redd.it·3d·
Discuss: r/homelab
🎮Switch Archaeology
Why I Treat My Git Commits Like a Personal Journal
dev.to·2d·
Discuss: DEV
📐Delta Encoding
Active Fault Identification and Robust Control for Unknown Bounded Faults via Volume-Based Costs
arxiv.org·5d
🎯Performance Proofs