From MongoDB to Postgres: Building an Open Source Standard for Document Databases (froscon2025)
cdn.media.ccc.de·1d
🗄️Database Theory
reply in politics general thread by TachyonREB
basementcommunity.com·3h
🧫Cellular Automata
Writing within limits
birming.com·1d
🔧Compiler Design
The ‘Obfuscated C Code Contest’ Confronts the Age of AI
thenewstack.io·7h·
Discuss: r/C_Programming
👐Open Source Software
Remembering the Life and Work of Richard Streit Hamilton: Memorial on 9/28/25
math.columbia.edu·2d
🔄Category Theory
OpenAI's GPT-OSS: The Dawn of a New Open-Weight AI Era
pexels.com·1d·
Discuss: DEV
👐Open Source Software
Lightning-Fast Data Analysis: Building a Data Analyst AI agent using OpenAI Function Calling
analyticsvidhya.com·17h
🔍Static Analysis
Modern React Event Handling with useEvent — Mastering Closure-Safe Handlers
youtube.com·1d·
Discuss: DEV
⚡Concurrency
<i>ROSIE</i>: AI generation of multiplex immunofluorescence staining from histopathology images
nature.com·1d
🎲Probabilistic Programming
ChatGPT: 5 Reasons I wish this powerful AI chatbot was available in college
androidpolice.com·11h
🧩Theorem Proving
Is chain-of-thought AI reasoning a mirage?
seangoedecke.com·4d·
Discuss: Hacker News
🧭SMT Solvers
🔒 SIP GAMES: VoIP Security 101
dev.to·3h·
Discuss: DEV
🤝Protocol Design
A Unified Framework from Boltzmann Transport to Proton Treatment Planning
arxiv.org·2d
🎲Probabilistic Programming
Mind Traps Unlocked: SPX & AI for Sharper Thinking
pub.towardsai.net·5d
🧩Theorem Proving
automated-testing-in-bevy
chadnauseam.com·1d
🦀Rust
Intriguing Properties of gpt-oss Jailbreaks
lesswrong.com·4d
🔧Compiler Design
How To Train Predictable AI Agents using XML+JSON
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
Accelerating Directed Evolution of Thermostable Esterases via Multi-Objective Optimization & Bayesian Hyperparameter Tuning
dev.to·11h·
Discuss: DEV
🧫Cellular Automata
the-borrow-checker-is-not-the-problem
chadnauseam.com·1d
⚙Functional Programming
Automated Substructure Lifting Protocol Optimization via Multi-Modal Feature Fusion and Reinforcement Learning
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming