computer science, automata, theory, computation

To get better at technical writing, lower your expectations
seangoedecke.com·6h
⚙️Proof Engineering
Flag this post
InfoSec News Nuggets 11/07/2025
aboutdfir.com·1d
🛡Cybersecurity
Flag this post
Made Dog Tags for my first Linux Festival coming up!
reddit.com·1d·
Discuss: r/linux
⚙️DIY Electronics
Flag this post
Measuring Productivity Smarter: Inside the DeckerGUI KPI Tracking and DSYNC Assessment System
dev.to·22h·
Discuss: DEV
🔗Data Provenance
Flag this post
[D] Why TPUs are not as famous as GPUs
reddit.com·18h·
🎮Gameboy Emulation
Flag this post
The file system rabbit hole: Building FSWatcher in Go
dev.to·22h·
Discuss: DEV
👁️System Observability
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·5d
🔤DSLs
Flag this post
MindsEye Agentic — Time-Labeled Cognitive Events on Tiger Cloud
dev.to·4h·
Discuss: DEV
🌊Apache Kafka
Flag this post
Why Choose Selenium with Python for Your Automation Testing Needs?
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Flag this post
Show HN: I made a browser extension to practice phonetic scripts (like katakana)
github.com·1d·
Discuss: Hacker News
📟Terminal Typography
Flag this post
Towards Transparent Stance Detection: A Zero-Shot Approach Using Implicit and Explicit Interpretability
arxiv.org·3d
🗂️Vector Search
Flag this post
Expected Value Analysis in AI Product Management
towardsdatascience.com·2d
🧮Kolmogorov Bounds
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·2d·
Discuss: DEV
Proof Automation
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·6d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
Daily Artificial Intelligence Digest - Nov 04, 2025
dev.to·5d·
Discuss: DEV
🤖AI Curation
Flag this post
Jeff Su: 4 ChatGPT Hacks that Cut My Workload in Half
dev.to·1d·
Discuss: DEV
🧮SMT Solvers
Flag this post
The Ultimate List of Free Python Online Compilers for New Coders
dev.to·20h·
Discuss: DEV
🌳Incremental Parsing
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·16h·
Discuss: DEV
Proof Automation
Flag this post
Detached agent chains that work like people do
dev.to·3d·
Discuss: DEV
Proof Automation
Flag this post
LaSeR: Reinforcement Learning with Last-Token Self-Rewarding
dev.to·12h·
Discuss: DEV
🧠Intelligence Compression
Flag this post