💻 CS

computer science, automata, theory, computation

C++ Superset 2.0.0
static.fornux.com·1d·
Discuss: DEV, r/programming
🔬Static Analysis
Neural Importance Sampling of Many Lights
pedrovfigueiredo.github.io·2d·
Discuss: Hacker News
🔠Type-Level Programming
Longtime Linux Kernel Engineer With 14 Years At Intel Is Now At Meta
phoronix.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Ask people to give you what you want
herbertlui.net·10h·
Discuss: Hacker News
✓Automated Theorem Proving
Opening Chrome: A High Level View of CS Concepts
harsh-doshii.github.io·4d·
Discuss: r/programming
⚙️Operating System Design
Defending against account takeovers with passkeys and DBSC
workspace.google.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Resume as Code
alexcwatt.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Jeopardy! world
hauleth.dev·2d·
Discuss: Lobsters, Hacker News
🎮Verification Games
Are prompts the new unit of work?
archgw.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Attention is your scarcest resource
benkuhn.net·1d·
Discuss: Hacker News
👁️System Observability
Generalized few-shot transfer learning architecture for modeling the EDFA gain spectrum
arxiv.org·21h
🐫OCaml
Structure-Informed Deep Reinforcement Learning for Inventory Management
arxiv.org·21h
🧪Property-Based Testing
War Games: MoD asks soldiers with 1337 skillz to compete in esports
theregister.com·1d·
Discuss: Hacker News
🎮Verification Games
Pre-, In-, and Post-Processing Class Imbalance Mitigation Techniques for Failure Detection in Optical Networks
arxiv.org·21h
👁️System Observability
Review of Deep Learning Applications to Structural Proteomics Enabled by Cryogenic Electron Microscopy and Tomography
arxiv.org·1d
➡️Category Theory
Structure Preserving Finite Volume Schemes on Voronoi Grids: Curl Involution, Asymptotic Limit and Thermodynamics
arxiv.org·21h
📡Network Protocol Design
Modelling Adjectival Modification Effects on Semantic Plausibility
arxiv.org·21h
🏹Effect Systems
Exploring LLM Autoscoring Reliability in Large-Scale Writing Assessments Using Generalizability Theory
arxiv.org·1d
✓Automated Theorem Proving
MetaCLIP 2: A Worldwide Scaling Recipe
arxiv.org·21h
🔠Type-Level Programming
A Contrastive Diffusion-based Network (CDNet) for Time Series Classification
arxiv.org·21h
🔤DSLs