🔗 How to think about time in programming
yellowduck.be·1h
📐Type Theory
AI tool that speeds up patient discharges trialled by NHS - The Guardian
news.google.com·11h
🤖Sci-Fi
Getting Your Hands Dirty with Video Output on Linux Using C++ (froscon2025)
cdn.media.ccc.de·21h
💾Retrocomputing
Code Review Debt
rodolphoarruda.pro.br·2d
🔍Static Analysis
Building Your First AI Agent: A Beginner's Guide to Autonomous Chatbots
ekwoster.dev·3d·
Discuss: DEV
🤖Sci-Fi
Speaker Identification / Different Tones of Voice. [R]
reddit.com·1d·
Discuss: r/MachineLearning
🔗Parser Combinators
Mind Traps Unlocked: SPX & AI for Sharper Thinking
pub.towardsai.net·4d
🧩Theorem Proving
TN5000: An Ultrasound Image Dataset for Thyroid Nodule Detection and Classification
nature.com·1d
🔗Parser Combinators
Day 1 of learning C
reddit.com·2d·
Discuss: r/C_Programming
📝Lisp
AI Daily News Aug 15 2025: 💊AI designs new antibiotics for superbugs 🤏Google’s new Gemma model is smaller than ever ❌ Meta AI rules allowed romantic chats with ...
reddit.com·1d·
Discuss: r/u_enoumen
🤖Sci-Fi
Reigniting My fire for Coding...
dev.to·19h·
Discuss: DEV
🔧Compiler Design
Vectors in AI: A Bridge Between Code and Business
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Karbon Sites - A Web-Based AI Code Editor: The Future of Rapid Prototyping
dev.to·20h·
Discuss: DEV
🧩Theorem Proving
The OS Orchestra: How Your Computer Juggles Thousands of Tasks 🎼
dev.to·1d·
Discuss: DEV
🏗Computer Architecture
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·5d
📈Complexity Theory
Thematic and Task-Based Categorization of K-12 GenAI Usages with Hierarchical Topic Modeling
arxiv.org·2d
🧮Programming Language Theory
Evaluating Large Language Models as Expert Annotators
arxiv.org·5d
🔗Parser Combinators
Leveraging Large Language Models for Rare Disease Named Entity Recognition
arxiv.org·3d
🔗Parser Combinators
Building A Universal Data Agent in 15 Minutes with LlamaIndex and Apache Gravitino (incubating)
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
MiGrATe: Mixed-Policy GRPO for Adaptation at Test-Time
arxiv.org·4d
🔗Parser Combinators