💻 CS

computer science, automata, theory, computation

Working hours and health – key research topics in the past and future
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🔤DSLs
What Was Cyberpunk? In Memoriam: 1980-2020
forums.insertcredit.com·1d·
Discuss: Hacker News
💾Retro Computing
How to build a new chip architecture, ft. Nvidia
chipinsights.substack.com·23h·
Discuss: Substack
⚙️Operating System Design
Google Indonesia tangled up in $600 million Chromebook corruption probe
theregister.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A closer look at the Model Context Protocol
jan.scheffczyk.page·2d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·4d·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Subnets, VLANs and a VPN
reddit.com·1h·
Discuss: r/homelab
📡Network Protocol Design
Just got my first rack
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Solving the Constrained Random Disambiguation Path Problem via Lagrangian Relaxation and Graph Reduction
arxiv.org·4d
🐫OCaml
Curriculum Negative Mining For Temporal Networks
arxiv.org·3d
➡️Category Theory
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·3d
✓Automated Theorem Proving
EXPO: Stable Reinforcement Learning with Expressive Policies
arxiv.org·3d
🎮Verification Games
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·3d
✓Automated Theorem Proving
MCP + SQL: The Secret Weapon To Connect AI to Enterprise Systems
thenewstack.io·1h
👁️System Observability
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·5d
🔤DSLs
Short-Term Gains, Long-Term Gaps: The Impact of GenAI and Search Technologies on Retention
arxiv.org·3d
🎮Verification Games
An order-theoretic circuit syntax and characterisation of the concept lattice
arxiv.org·5d
➡️Category Theory
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·5d
🔬Static Analysis
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·3d
🌐NetworkProtocols