🧬 Functional Programming

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

Dozens more UK Afghan data breaches uncovered
bbc.com·8h
🔍Polish Cryptanalysis
All About 'Pips,' The New York Times' Newest Game
lifehacker.com·1d
🔲Cellular Automata
Documented source code for Aviator on the BBC Micro
aviator.bbcelite.com·22m·
Discuss: Hacker News
🎮Game Decompilation
Avi Loeb: Is 3I/Atlas Our Turing Test by a Superior Alien Intelligence?
avi-loeb.medium.com·1d·
Discuss: Hacker News
🏺Kerberos Archaeology
How Bay FC convinced NWSL to agree to record-breaking game at Oracle Park
mercurynews.com·47m
💻Local first
How the head of Obsidian went from superfan to CEO
theverge.com·2d·
Discuss: r/ObsidianMD
🏺ZIP Archaeology
Simulations - the secret behind every great agent
sierra.ai·22h·
Discuss: Hacker News
🔍Concolic Testing
Securing climate justice in the courtroom
nature.com·22h
🧊Arctic Storage
Models are smart enough, your process isn't
sibylline.dev·2d·
Discuss: Hacker News
⚡Proof Automation
Gemini has a few tricks up its sleeve that ChatGPT still doesn’t – here are 3 things Gemini can do better than ChatGPT
techradar.com·14h
🎯Content Recommendation
JMA: a General Algorithm to Craft Nearly Optimal Targeted Adversarial Example
arxiv.org·3d
🔍Vector Forensics
MAD: A Benchmark for Multi-Turn Audio Dialogue Fact-Checking
arxiv.org·2d
🎙️Whisper
SecureGuard: DIY Arduino Keypad-PIR Alarm with LCD Feedback
hackster.io·1d
🏠Home Automation
Heat advisory in place for North Bay Interior Valleys and San Francisco Bay Shoreline for Thursday
mercurynews.com·15h
📡Feed Security
Handwritten Text Recognition of Historical Manuscripts Using Transformer-Based Models
arxiv.org·3d
🤖Paleographic ML
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·3d
📊Quantization
Advanced Piezoelectric Energy Harvesting via Multi-Scale Lattice Optimization
dev.to·3d·
Discuss: DEV
🌐Computational Topology
Modeling and Detecting Company Risks from News: A Case Study in Bloomberg News
arxiv.org·3d
🧠Intelligence Compression
When Punctuation Matters: A Large-Scale Comparison of Prompt Robustness Methods for LLMs
arxiv.org·3d
🎙️Whisper
Hyperdimensional Semantic Alignment via Learned Kernel Regression for Enhanced Knowledge Graph Triplet Extraction
dev.to·4d·
Discuss: DEV
🤖Grammar Induction