Puzzles Games
arkansasonline.comΒ·1d
🧭SMT Solvers
Right here, right hiraeth
birming.comΒ·19h
🧩Theorem Proving
The Sunday Papers
rockpapershotgun.comΒ·21h
πŸ”’Mathematical Logic
Over-Engineering Sleep
matt.blwt.ioΒ·17h
🐧Linux
Spooky Old Woods / Stories of Suspense
jamesdavisnicoll.comΒ·1d
πŸ“Type Theory
You can now download and tweak Grok 2.5 for yourself as it goes open source
engadget.comΒ·15h
πŸ‘Open Source Software
Dracula: August 24
draculadaily.substack.comΒ·19hΒ·
Discuss: Substack
πŸ”’Mathematical Logic
What the Emacs minibuffer is (and why Neovim could benefit from something similar)
youtu.beΒ·13hΒ·
Discuss: r/neovim
πŸ’ΎRetrocomputing
None the Wiser
harpers.orgΒ·1dΒ·
Discuss: Hacker News
πŸ“ŠInformation Theory
πŸ’Ό Hiring: Bilingual Generalists (Italian, French, Portuguese, Japanese, Korean, Chinese, Spanish, German)Hourly Contract | Remote | $30–$40 per hour
reddit.comΒ·19hΒ·
Discuss: r/BeermoneyEUR
🧩Theorem Proving
I Stack Free Chatbots So I Never Pay a Cent for AI
makeuseof.comΒ·13h
πŸ”—Parser Combinators
Bio-Adaptive Generative Art: EEG-Driven Parameter Optimization for Real-Time Aesthetic Evolution
dev.toΒ·1dΒ·
Discuss: DEV
πŸ€–Sci-Fi
Dangerous things should be difficult to do by accident
fexpr.blogspot.comΒ·3d
βš™Functional Programming
[D] Best AI model for turning a selfie into a stylized version (identity-preserving + instruction-following)?
reddit.comΒ·1dΒ·
Discuss: r/MachineLearning
🧭SMT Solvers
Version Control For a LARGE Team? (100+ People)
reddit.comΒ·1dΒ·
Discuss: r/gamedev
πŸ‘Open Source Software
Building a roguelike game on telegram
reddit.comΒ·1dΒ·
Discuss: r/roguelikedev
🀝Protocol Design
ζ±θ¨ΌηΆšδΌΈγ€η΅‚ε€€γ―174ε††ι«˜ η±³εˆ©δΈ‹γ’ε†ι–‹θ¦³ζΈ¬εΌ·γΎγ‚‹
news.jpΒ·1h
πŸ“ŠInformation Theory
FreedomFest 2025 - Sarah McLaughlin, "Authoritarians in the Academy" : CSPAN2 : August 24, 2025 10:13pm-10:22pm EDT
archive.orgΒ·5h
πŸ”Cryptography
🚨 D.C. IS LYING ABOUT ITS CRIME DATA 🚨
threadreaderapp.comΒ·11h
πŸ”’Mathematical Logic
Notes on cooperating with unaligned AIs
lesswrong.comΒ·1d
🧩Theorem Proving