I fought a tree, and won
refarmer.ca·21h
🧭SMT Solvers
Apache Cloudberry 2 Released
i-programmer.info·1d
🔍Static Analysis
original ↗
crookedtimber.org·21h
🧮Programming Language Theory
Explaining Nintendo's patent on "characters summoning others to battle"
gamesfray.com·1d·
Discuss: r/gamedev
Algorithmic Game Theory
Author Reveals and Postmortem
lithobreakers.itch.io·1d
🔧Compiler Design
'K2 Think' AI Model Jailbroken Mere Hours After Release
darkreading.com·1d
🔐Cryptography
Detection and isolation of battery charging cyberattacks via Koopman operator
sciencedirect.com·1d
🎲Probabilistic Programming
Oracle (ORCL): From Dot-Com Relic to AI Powerhouse - Nasdaq
news.google.com·21h
🏗Computer Architecture
How to play a GOOD China
reddit.com·1d·
Discuss: r/aoe4
🧫Cellular Automata
Linkdump No 72
82mhz.net·21h
💻Operating Systems
AI Ate Its Own Tail, and I Learned Something About Writing
nibzard.com·4d·
Discuss: Hacker News
🔗Parser Combinators
shell scripting languages with better safety defaults?
reddit.com·1d·
Discuss: r/commandline
🦀Rust
Why do ppl suck at promoting their own work to other teams?
reddit.com·1d·
Discuss: r/devops
🔌Network Programming
Google Quality Raters now rate AI Overviews
mariehaynes.com·1d
🧮Programming Language Theory
From pilot to profitability: How to approach enterprise AI adoption
nordot.app·9h
Algorithmic Game Theory
MCP & API: Are they Two Sides of the Same Coin, or Worlds Apart?
dev.to·3d·
Discuss: DEV
🤝Protocol Design
Beyond Code: How to Use AI to Modernize Software Architecture
dev.to·3d·
Discuss: DEV
🏗️Software Architecture