💻 CS

computer science, automata, theory, computation

At my wits end..
i.redd.it·14h·
Discuss: r/homelab
💾Retro Computing
David Autor on AI and the future of work
voxdev.org·18h·
Discuss: Hacker News
🤖Program Synthesis
Next Big Shift in Search: From Product to Infrastructure
lsvp.com·8h·
Discuss: Hacker News
🐫OCaml
Revitalizing Legacy Code
javapro.io·2d·
Discuss: Hacker News
💾Retro Computing
Claude Code vs Gemini CLI: Which One’s the Real Dev Co-Pilot?
milvus.io·3d·
Discuss: Hacker News
🤖Program Synthesis
(Quite) a few words about async
yoric.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
Why Your Team Still Needs Go Training in the Age of AI
gopherguides.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Multilayer GNN for Predictive Maintenance and Clustering in Power Grids
arxiv.org·1d
👁️System Observability
GATMesh: Clock Mesh Timing Analysis using Graph Neural Networks
arxiv.org·3d
🐫Embedded OCaml
Toward Real-World Chinese Psychological Support Dialogues: CPsDD Dataset and a Co-Evolving Multi-Agent System
arxiv.org·1d
🤖Program Synthesis
AI First Hiring, Teamwork and Org Structures, Staying Relevant in an an AI World
madhavajay.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·3d
🤖Program Synthesis
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·1d
🔍Formal Verification
The Prompt War: How AI Decides on a Military Intervention
arxiv.org·2d
✓Automated Theorem Proving
Reconstructing Biological Pathways by Applying Selective Incremental Learning to (Very) Small Language Models
arxiv.org·4d
➡️Category Theory
Minimal balanced collections and their applications to core stability and other topics of game theory
arxiv.org·3d
🎮Verification Games
Structured Task Solving via Modular Embodied Intelligence: A Case Study on Rubik's Cube
arxiv.org·3d
🔄Finite State Machines
Comparative Analysis of CNN and Transformer Architectures with Heart Cycle Normalization for Automated Phonocardiogram Classification
arxiv.org·2d
🏹Effect Systems
Winning and losing with Artificial Intelligence: What public discourse about ChatGPT tells us about how societies make sense of technological change
arxiv.org·2d
🎮Verification Games
Subgraph Counting under Edge Local Differential Privacy Based on Noisy Adjacency Matrix
arxiv.org·2d
➡️Category Theory