The theorem on formal functions
math.columbia.edu·4d
⚔️Lean Theorem
AI's hidden state in the execution stack
ayende.com·2d
🎯Gradual Typing
Daily+tips
dailytips247.com·8h·
Discuss: Hacker News
📰Feed Readers
Upgrading the CircuitHub codebase to GHC-9.10
informal.codes·1d
🔗Functional Compilers
Brain-computer interface could decode inner speech in real time
eurekalert.org·1d·
Discuss: Hacker News
🎧Learned Audio
What Do You Mean?
quarter--mile.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
We must build AI for people; not to be a person
mustafa-suleyman.ai·6h·
Discuss: Hacker News
🔲Cellular Automata
Building a Modern Dashboard with Python and Tkinter
towardsdatascience.com·15h
📺Terminal UI
Show HN: AI-powered CLI that translates natural language to FFmpeg
news.ycombinator.com·1d·
Discuss: Hacker News
📦MKV Containers
The End of Big, Dumb AI Data
procurefyi.substack.com·1d·
Discuss: Substack
🤖AI Curation
From Chaos to Clarity: AI Approaches for PDF & Unstructured Data Extraction
dev.to·1d·
Discuss: DEV
📄Document AI
How To Tame Alert Fatigue With Time Series Databases
thenewstack.io·2d
📈Time Series
Tapas are free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments
arxiv.org·2d
⚡Incremental Computation
Robust Data Fusion via Subsampling
arxiv.org·1d
🧠Machine Learning
Automated Anomaly Detection and Mitigation in Scratch-Based Robotic Control Systems Using Predictive Kernel Regression
dev.to·11h·
Discuss: DEV
🧠Machine Learning
In-hoc Concept Representations to Regularise Deep Learning in Medical Imaging
arxiv.org·15h
🧠Machine Learning
gpt-oss-120b & gpt-oss-20b Model Card
arxiv.org·2d
📝ABNF Extensions
Building AI Agents with smolagents and a Gaia Node
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Unlocking the Magic: My First ML Project – Handwritten Digit Recognition with MNIST ✨
dev.to·3d·
Discuss: DEV
🧠Machine Learning
Automated Metadata Enrichment for Long-Tail Digital Archives via Knowledge Graph Fusion and Semantic Reasoning
dev.to·2d·
Discuss: DEV
🤖Archive Automation