OpenSMTPD 7.8.0p0
bsdsec.net·16h
🐡OpenBSD
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·9h
🧪Property-Based Testing
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·6h·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·22h
🧮Algebraic Archives
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·18h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·19h·
Discuss: Hacker News
λLambda Formalization
Flag this post
Agents Rule of Two: A Practical Approach to AI Agent Security
ai.meta.com·6h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
🧬Functional Programming
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
reddit.com·1d·
Discuss: r/MachineLearning
🧮Theorem Proving
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·22h
🧠Machine Learning
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·22h
📝Log Parsing
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·12h·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
AI scrapers request commented scripts
cryptography.dog·11h·
Discuss: Lobsters, Hacker News
🌐DNS Security
Flag this post
Daily Artificial Intelligence Digest - Oct 31, 2025
dev.to·1d·
Discuss: DEV
🤖Advanced OCR
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoning
arxiv.org·22h
⚔️Lean Tactics
Flag this post
1973 Implementation of Wordle Was Published by Dec (2022)
troypress.com·56m·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post