💻 CS

computer science, automata, theory, computation

Setting up an Activepieces development environment
dri.es·1d
📦METS Containers
Flag this post
To get better at technical writing, lower your expectations
seangoedecke.com·1h
⚙️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·15h·
Discuss: Hacker News
📐Mathematical Art
Flag this post
Postgres Internals Hiding in Plain Sight
crunchydata.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Learning from Software Errors – Part 7: The Billion-Dollar Mistake
heise.de·1d
🧪Binary Fuzzing
Flag this post
Measuring Productivity Smarter: Inside the DeckerGUI KPI Tracking and DSYNC Assessment System
dev.to·17h·
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·1d
📊Citation Graphs
Flag this post
[D] Why TPUs are not as famous as GPUs
reddit.com·13h·
Discuss: r/MachineLearning
🎮Gameboy Emulation
Flag this post
The file system rabbit hole: Building FSWatcher in Go
dev.to·17h·
Discuss: DEV
👁️System Observability
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·15h·
Discuss: DEV
🌳Incremental Parsing
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Flag this post
Building an HTTP Server from TCP Sockets: 250 4,000 RPS
dev.to·1d·
Discuss: DEV
⚡gRPC
Flag this post
Show HN: Trying to Help Fellow Red Team Operators
github.com·1d·
Discuss: Hacker News
🤖Network Automation
Flag this post
LaSeR: Reinforcement Learning with Last-Token Self-Rewarding
dev.to·7h·
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·2d
🧠Machine Learning
Flag this post