💻 CS

computer science, automata, theory, computation

Quoting Recurse Center
simonwillison.net·3d
⚔️Lean Tactics
If You Want Your Students Completing Their Coursework Without Help from AI…
dailynous.com·2d
✓Automated Theorem Proving
A Regular Expression Matcher Code: Rob Pike, exegesis by Brian Kernighan
cs.princeton.edu·5d
🔍RegEx Engines
Spanish Proficiency Exercises (CC-BY)
laits.utexas.edu·9h·
Discuss: Hacker News
📝Parsing Grammars
Show HN: Configurable parser from binary message to JSON (and viceversa)
gitubo.github.io·1d·
Discuss: Hacker News
🔧Binary Parsers
Four score and seven beers ago – Why AI writing detectors don't work
arstechnica.com·12h·
Discuss: Hacker News
🤖AI Paleography
Stack Exchange Moves Everything to the Cloud, Destroys Servers in New Jersey
hardware.slashdot.org·13h
🛡Cybersecurity
Hitting the Brakes on Claude Code
preslav.me·17h·
Discuss: Hacker News
🗜️LZW Variants
[P] LLM Economist: Large Population Models and Mechanism Design via Multi‑Agent Language Simulacra
reddit.com·11h·
Discuss: r/MachineLearning
🔲Cellular Automata
⚖️ Chapter 4: Merits & Demerits — The Duality of Intelligence
dev.to·5h·
Discuss: DEV
🌍Cultural Algorithms
A Preview of Python 3.14 Release: 7 Major New Features You Must Know
dev.to·3d·
Discuss: DEV
🦀Rust Macros
Machine Learning Fundamentals: gradient descent with python
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Machine Learning Fundamentals: hyperparameter tuning project
dev.to·17h·
Discuss: DEV
📊Feed Optimization
Agentic AI framework for End-to-End Medical Data Inference
arxiv.org·2d
🧠Machine Learning
Looking for fullstack developer expertise in Java, Python or .NET
dev.to·3d·
Discuss: DEV
✅Format Verification
Ask HN: What's the ideal programming language in the age of LLMs?
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Macros
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·4d
💻Programming languages
STEM Tutor Voice Agent
dev.to·4h·
Discuss: DEV
🎙️Whisper
10 Best LangChain Alternatives You Must Know in 2025
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Neural Machine Unranking
arxiv.org·2d
🧠Learned Indexing