Little Man In My Head: Lessons learned from doing cryptographic research with ChatGPT
rbfirehose.com·3d
🔐Cryptography
A quick look at Roche's SBX
lh3.github.io·41m
🏗Computer Architecture
Trusting builds with Bazel remote execution
blogsystem5.substack.com·2h·
Discuss: Substack
🌍Distributed Systems
Numeri
irreal.org·2d
📝Lisp
Getting to the root of tree survival
phys.org·6h
🎲Probabilistic Programming
‘Publish or perish’ evolutionary pressures shape scientific publishing, for better and worse
theconversation.com·4h
Algorithmic Game Theory
Why I Switched from Burp Suite to ZeroThreat for App Security
dev.to·6h·
Discuss: DEV
🔍Static Analysis
Transitioning into Unreal from Unity, and the job search
reddit.com·6h·
Discuss: r/gamedev
🔧Compiler Design
One Rule to Rule Them All: How I Tamed AI with SDD
reddit.com·2h·
Discuss: r/LLM
🏗️Software Architecture
Ranking the 10 most impactful 2025 transfers so far
espn.com·4h
🧮Programming Language Theory
a rite of passage for adulthood is to look up for ALL developed nations the history of eugenics/forced sterilization.
threadreaderapp.com·1d
🧫Cellular Automata
The online education industry is in trouble 😳
threadreaderapp.com·6h
🧩Theorem Proving
Hyper-Dimensional Residual Network Refinement for Conformational Landscape Sampling of Glycoprotein Domains
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·3d
🏗Computer Architecture
Everything has already been implemented in C.
reddit.com·1d·
🔌Network Programming
GitHub Coding Agent the Magical Autonomous AI: The Prequel
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
小泉農相、総裁選出馬へ 再挑戦、来週後半に記者会見
news.jp·15h
🔢Mathematical Logic
Fantastic paper from ByteDance 👏
threadreaderapp.com·1d
Algorithmic Game Theory