💻 CS

computer science, automata, theory, computation

Solutions and references
hamatti.org·11h
📐Proof Assistants
[$] On becoming a Python contributor
lwn.net·4d
🎯Gradual Typing
Making a custom CPU
popovicu.com·1d
⚡Homebrew CPUs
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·2d·
Discuss: Hacker News
🧬Bitstream Evolution
Reflections on a Failed Career
ordinatio.substack.com·21h·
Discuss: Substack
🔓Hacking
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·3d·
Discuss: Hacker News, r/programming
🔩Systems Programming
How JIT builds of CPython work
savannah.dev·5d·
Discuss: Hacker News
📝Concrete Syntax
Python Vibe Coding Tools
thenewstack.io·19h
🌀Brotli Internals
AI Agents have, so far, mostly been a dud
garymarcus.substack.com·16h·
Discuss: Substack
🤖AI Curation
Trip Helper App for Rocket.Chat 🚀 - GSoC 2025 Final Report
dev.to·1d·
Discuss: DEV
📱QR Archaeology
A Compute-Matched Re-Evaluation of TroVE on MATH
arxiv.org·4d
🧮SMT Solvers
Helping or Homogenizing? GenAI as a Design Partner to Pre-Service SLPs for Just-in-Time Programming of AAC
arxiv.org·5d
🎙️Whisper
Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner
arxiv.org·3d
🤖Grammar Induction
Knowledge Is More Than Performance: How Knowledge Diversity Drives Human-Human and Human-AI Interaction Synergy and Reveals Pure-AI Interaction Shortfalls
arxiv.org·3d
🔲Cellular Automata
Opacity as Authority: Arbitrariness and the Preclusion of Contestation
arxiv.org·3d
🏛Digital humanities
Add AI features to your application with Genkit
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Tensor-based reduction of linear parameter-varying state-space models
arxiv.org·3d
📐Linear Algebra
How AI Tools Are Transforming Critical Essay Writing for Modern Learners
dev.to·22h·
Discuss: DEV
🤖AI Curation
Global Hiring Differences: AI Adoption Trends by Region
dev.to·5h·
Discuss: DEV
🌍Cultural Algorithms
Understanding the KNN Algorithm: Finding Your Nearest Neighbors
dev.to·2d·
Discuss: DEV
🗂️Vector Search