SEPT. 3rd COLLOQUIUM: Eric Zaslow (Northwestern University)
math.columbia.edu·4d
🔄Category Theory
Deep Carbon Observatory Play Report: Session 2
quixoticfix.bearblog.dev·1d
⚖️Logic Programming
Just made my first game and posted it on itch.io
cow2studios.itch.io·1d·
Discuss: r/gamedev, r/godot
⚖Algorithmic Game Theory
Top 5 Revolutionary Foldable Gadgets That Aren’t Phones (And Why You Need Them)
yankodesign.com·16h
💻Operating Systems
Things Every Leader Should Evaluate After a Reorganization
daydreamsinruby.com·1d·
Discuss: Hacker News
🤝Protocol Design
Meghan McCain sparks backlash after comparing Greta Thunberg's appearance to Shrek character
dailymail.co.uk·20h
🧫Cellular Automata
Newton Data Storage
canicula.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Management
I’ve tested the best power stations, and these are my favorite ones of 2025
androidauthority.com·16h
🌍Distributed Systems
Resisting deregulation of data centers in Europe: tactics and action
criticalinfralab.net·14h
🌍Distributed Systems
This is the war in Europe
strategic-culture.su·16h
🧮Programming Language Theory
I tried asking ChatGPT to explain my job to a five-year-old and here's its hilarious response
techradar.com·16h
🎲Probabilistic Programming
Predictive Soil Stabilization Algorithm for Ground-Mounted Antenna Foundations
dev.to·20h·
Discuss: DEV
🎲Probabilistic Programming
Is It Feasible to Build an LLM for Codebase Queries?
reddit.com·4d·
Discuss: r/LLM
🔧Compiler Design
Statistical Invisibility of a Physical Attack on QRNGs After Randomness Extraction
arxiv.org·1d
🔐Cryptography
Neurons ensheathed by perineuronal nets are prone to hyperphosphorylation of tau protein in the hibernating Syrian hamster brain
nature.com·1d
🧫Cellular Automata
Automated Cognitive Mapping via Hierarchical Semantic Graph Refinement and Reinforcement Learning
dev.to·4d·
Discuss: DEV
🔗Parser Combinators
[Project Update] I think I cracked a workaround for LLM context degradation on a 2GB RAM PC. A solo dev journey.
reddit.com·3d·
Discuss: r/LocalLLaMA
🧭SMT Solvers
CAPE: Context-Aware Personality Evaluation Framework for Large Language Models
arxiv.org·4d
🎲Probabilistic Programming
I built Koucai (口才) - an Mandarin learning app with AI penpals - here's my workflow
reddit.com·2d·
Discuss: r/ClaudeAI
🧩Theorem Proving
AI Job Matching Agent That Reads Your Resume (n8n + Bright Data Challenge)
dev.to·22h·
Discuss: DEV
🧩Theorem Proving