Preserving Character with a Playful, Personal Twist
ruemag.com·7h
🏗️Software Architecture
Boss Files: Brittany Meadth
allsortsof.com·5h
🧮Programming Language Theory
Polynomial determined by two inputs (2012)
johndcook.com·3d·
Discuss: Hacker News
🧩Theorem Proving
The words we use to talk about nature are disappearing. Here’s why that matters.
grist.org·15h
🔄Category Theory
What Does It Mean To Know A Place?
thedeletedscenes.substack.com·11h·
Discuss: Substack
🔄Category Theory
Use singular nouns for database table names
teamten.com·9h·
Discuss: Lobsters, Hacker News
🗄️Database Theory
Hoax ! A Physicist Case Against The CO2 - Driven Climate Narrative
climatechangedispatch.com·3h
✅Formal Verification
Public Pulse: Reader writes an open letter to Ricketts and Fischer
omaha.com·5h
🤝Protocol Design
Quantum Oddity: Physicists Crack 15-Year-Old, 5-Atom Puzzle
scitechdaily.com·7h
🔐Cryptography
Live translation and interpretation straight to your ears with Timekettle's new earbuds
androidpolice.com·5h
🤝Protocol Design
“I Mapped the Invisible”: An American High-School Student Stuns Scientists by Discovering 1.5 Million Lost Space Objects
dailygalaxy.com·5h
🎲Probabilistic Programming
US military signs $98.9 million AI contract with startup TurbineOne - Harici
news.google.com·11h
👐Open Source Software
The East-West Contest With No End
foreignpolicy.com·5h
🔄Category Theory
🔴🇨🇳 The September 3rd military parade was the most expensive 90 minutes in the world! A military parade can drive hundreds of billions of yuan in orders and in...
threadreaderapp.com·11h
🧫Cellular Automata
🌌A Tutorial on P-adic Structures with Clojure.
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
Hetzner Alternatives for 2025 (DigitalOcean, Linode, Vultr, OVHcloud)
dev.to·1h·
Discuss: DEV
🌍Distributed Systems
📚 My First Java Project: A Simple Library Management System
github.com·15h·
Discuss: DEV
🧮Programming Language Theory
Intelligent Spectrum Management in Satellite Communications
arxiv.org·2d
📊Information Theory
Building an Command line Game in Python
dev.to·3d·
Discuss: DEV
🧮Programming Language Theory
More Parameters Than Populations: A Systematic Literature Review of Large Language Models within Survey Research
arxiv.org·1d
🎲Probabilistic Programming