The continuation monad: a mathematical introduction
wildonblog.wordpress.com·1d
🔗Functional Compilers
Steering a middle ground between two extreme takes on the role of statistics in the development of language models
statmodeling.stat.columbia.edu·18h
💻Programming languages
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·7h
🔤Type Theory
From the AI Summit Stage to the Show Floor: Black Hat 2025 Takeaways on the AI SOC Frontier
intezer.com·20h
🎯Threat Hunting
A Linux alternative? Debian/Hurd shows microkernel Unix dream is alive
theregister.com·23h·
Discuss: Hacker News
🔌Operating system internals
Dyna – Logic Programming for Machine Learning
dyna.org·2d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
The State of Python 2025
blog.jetbrains.com·20h·
Discuss: Hacker News
🔄Language Evolution
Show HN: Stateful LLM inference (no cost for input tokens, not prompt-caching)
news.ycombinator.com·18h·
Discuss: Hacker News
💻Local LLMs
Used small-scale Al to rank "good" vs "garbage" directories (surprising results)
reddit.com·13h·
Discuss: r/artificial
🔍BitFunnel
ToxiFrench: Benchmarking and Enhancing Language Models via CoT Fine-Tuning for French Toxicity Detection
arxiv.org·1d
🔍Information Retrieval
TimeTracker – A self-hosted, team time tracker with timers, and reporting
github.com·21h·
Discuss: Hacker News
🔄Sync Engine
FreeBSD 14.3: Step-by-Step KDE Plasma 6 Wayland Installation Guide
discoverbsd.com·19h
🔌Operating system internals
Automated Beamline Component Design via Hyperparameter Optimization and Generative Modeling
dev.to·19h·
Discuss: DEV
🔍Vector Forensics
Token Trading Agent with Recall
dev.to·1d·
Discuss: DEV
📐Proof Assistants
The Python Learning Journey: From Beginner Confusion to Advanced Mastery
dev.to·12h·
Discuss: DEV
📚Proof Pedagogy
Generalized Similarity U: A Non-parametric Test of Association Based on Similarity
arxiv.org·1d
🌊Spectral Clustering
Dynamic Risk Calibration via Multi-Modal Decentralized Oracle Fusion for DeFi Stability
dev.to·16h·
Discuss: DEV
🤝Distributed Consensus
Compositional Zero-shot Learning via Progressive Language-based Observations
arxiv.org·1d
🧮Kolmogorov Complexity
Building a PDF Chatbot with LangChain, Ollama, and Chroma: A Step-by-Step Tutorial
dev.to·5h·
Discuss: DEV
📄Document Streaming
Urban AI Governance Must Embed Legal Reasonableness for Democratic and Sustainable Cities
arxiv.org·4h
🔲Cellular Automata