💻 CS

computer science, automata, theory, computation

Machine learning by satisfiability solving
johndcook.com·3d
🎯Performance Proofs
Last Week on My Mac: Search and you’ll find
eclecticlight.co·1d
🍎Apple Computing
Creating Our Own SG-1000 BIOS
bumbershootsoft.wordpress.com·1d
🎮Gameboy Emulation
Control over My Airconditioning/Heatpump
firesphere.dev·9h·
Discuss: Hacker News
⚙️DIY Electronics
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·3d·
Discuss: Hacker News, r/programming
🔩Systems Programming
How Long Before Superintelligence?
nickbostrom.com·3d·
Discuss: Hacker News
⚛️Quantum Tape
This web framework was built by Claude
rgk.io·2d·
Discuss: Hacker News
🌳Incremental Parsing
AI Agents have, so far, mostly been a dud
garymarcus.substack.com·18h·
Discuss: Substack
🤖AI Curation
Machine Learning Fundamentals: logistic regression with python
dev.to·2d·
Discuss: DEV
🧠Machine Learning
A Developer’s Guide to Go’s Garbage Collection: Mastering the Tri-Color Algorithm
dev.to·5d·
Discuss: DEV
🧠Memory Allocators
Exploiting LLM APIs with Excessive Agency [Part 1]
infosecwriteups.com·9h
🧬PostgreSQL Forensics
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·4d
✨Effect Handlers
3 things I’ve learned while implementing my first multi agent architecture
dev.to·2d·
Discuss: DEV
⚙️TLA+
Trip Helper App for Rocket.Chat 🚀 - GSoC 2025 Final Report
dev.to·1d·
Discuss: DEV
📱QR Archaeology
Quiz: Working With Python's Built-in Exceptions
realpython.com·2h
🔗Constraint Handling
Add AI features to your application with Genkit
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
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
From Exposure Whack-a-Mole to Autonomous Cyber Risk Management: Meet Agentic AI on the Qualys Platform
blog.qualys.com·1h
🎯Threat Hunting
Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner
arxiv.org·3d
🤖Grammar Induction