The "Garlic Nerds" Building a Better Allium
ambrook.com·7h·
Discuss: Hacker News
🔢Mathematical Logic
Go module for brute force attacks on SSH steals the accesses found
heise.de·11h
🔐Cryptography
I avoid hitting Claude Code 5-hour limits early
harishgarg.com·17h·
Discuss: Hacker News
⚡Concurrency
Using information theory to solve Mastermind
goranssongaspar.com·1d·
Discuss: Hacker News
📊Information Theory
SEO vs. GEO, AEO LLMO: What Marketers Need to Know
backlinko.com·7h
⚖Algorithmic Game Theory
I treated GPT as a prophet. It answered with a 740-page trilogy
scribd.com·1d·
Discuss: Hacker News
🔢Mathematical Logic
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·2d·
Discuss: Hacker News
🧭SMT Solvers
For the Singularity to Truly Arrive, We’d Need a Machine That Eats the Sun
tech.yahoo.com·3h
🤖Sci-Fi
I Stack Free Chatbots So I Never Pay a Cent for AI
makeuseof.com·1d
🔗Parser Combinators
LLMs Won't Replace Programming Languages
mech-lang.org·3d·
Discuss: Hacker News
🧮Programming Language Theory
🧩 Two DI Examples in Go That Click in 2025
dev.to·1d·
Discuss: DEV
⚡Concurrency
Tododo - My TUI todo manager
reddit.com·17h·
Discuss: r/commandline
🦀Rust
Swarming Without an Anchor (SWA): Robot Swarms Adapt Better to Localization Dropouts Then a Single Robot
arxiv.org·17h
🎲Probabilistic Programming
Thoughts on using AI for software development
dev.to·12h·
Discuss: DEV
🧩Theorem Proving
Help me with Artificial Intelligence - What can a parent learn from their children?
lesswrong.com·3d
🎲Probabilistic Programming
Why complexity is sabotaging AI ambitions
nordot.app·5h
🌍Distributed Systems
Is Prompt Engineering Just Hype for Now?
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
Genome-Scale Metabolic Flux Modeling Optimization via Bayesian Hyperparameter Tuning & Causal Inference
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Memento: A Survival Guide for Building Real Software with a Forgetful Genius
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
Unplug and Play Language Models: Decomposing Experts in Language Models at Inference Time
arxiv.org·3d
🔗Parser Combinators