💻 CS

computer science, automata, theory, computation

To get better at technical writing, lower your expectations
seangoedecke.com·8h
⚙️Proof Engineering
Flag this post
Is A.I. Amazing or Are We Simple?
newyorker.com·2d
🎧Learned Audio
Flag this post
Visualizing Intersecting Sets
upset.app·22h·
Discuss: Hacker News
📐Mathematical Art
Flag this post
Learning from Software Errors – Part 7: The Billion-Dollar Mistake
heise.de·2d
🧪Binary Fuzzing
Flag this post
Measuring Productivity Smarter: Inside the DeckerGUI KPI Tracking and DSYNC Assessment System
dev.to·1d·
Discuss: DEV
🔗Data Provenance
Flag this post
Publication Trend in DESIDOC Journal of Library and Information Technology during 2013-2017: A Scientometric Approach
arxiv.org·2d
📊Citation Graphs
Flag this post
[D] Why TPUs are not as famous as GPUs
reddit.com·20h·
Discuss: r/MachineLearning
🎮Gameboy Emulation
Flag this post
The file system rabbit hole: Building FSWatcher in Go
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post
Automated Vacuum Energy Fluctuations Analysis via Adaptive Bayesian Sampling
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Bounds
Flag this post
TLS For AI Agents? No. Wristbands For The Idiots In Line
dev.to·2h·
Discuss: DEV
🎯NTLM Attacks
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·22h·
Discuss: DEV
🌳Incremental Parsing
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
dev.to·12h·
Discuss: DEV
🌊Streaming Systems
Flag this post
Best AI-Powered App Builders with Export to Expo for Mobile Development in 2025
dev.to·2h·
Discuss: DEV
🖥️Modern Terminals
Flag this post
LaSeR: Reinforcement Learning with Last-Token Self-Rewarding
dev.to·14h·
Discuss: DEV
🧠Intelligence Compression
Flag this post
Alleviating Hyperparameter-Tuning Burden in SVM Classifiers for Pulmonary Nodules Diagnosis with Multi-Task Bayesian Optimization
arxiv.org·3d
🧠Machine Learning
Flag this post
Association-sensory spatiotemporal hierarchy and functional gradient-regularised recurrent neural network with implications for schizophrenia
arxiv.org·3d
🧠Machine Learning
Flag this post