💻 CS

computer science, automata, theory, computation

Gunmaker sues Washington's police academy over P320 pistol ban
mynorthwest.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
The Beginner's Guide to Subtitling (2001)
armitage.crinkle.net·1d·
Discuss: Hacker News
⚙️PL Implementation
Enhancing Firefox's Find-in-Page for Keyboard Navigation
h.43z.one·2d·
Discuss: Hacker News
❄️Nix
The Next Next Job, a framework for making big career decisions
andrewchen.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Russia Counters Ukrainian Drones by Turning Off Russians’ Mobile Internet
nytimes.com·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Yes In My Bamako Yard
asteriskmag.com·1d·
Discuss: Hacker News
🇵🇹Portugal
What "Parse, don't validate" means in Python?
bitecode.dev·5d·
Discuss: r/programming
🔬Static Analysis
The First Large Visual Memory Model
memories.ai·4d·
Discuss: Hacker News
🔄Finite State Machines
Software Sprawl, the Golden Path, and Scaling Teams with Agency
charity.wtf·4d·
Discuss: Hacker News
🔄Reproducible Builds
Lessons Learned: Building a Cross-Platform App with AI
cellos.blog·4d·
Discuss: r/programming
🧱Immutable Infrastructure
findpath - give it just the filename and it’ll hand you the absolute path
reddit.com·1d·
Discuss: r/programming
📦Unikernel Systems
Common Task: A roadmap for a humanist future
commontask.org·4d·
Discuss: Hacker News
🤖Program Synthesis
The Joy of a Boring Codebase
trunk.io·4d·
Discuss: Hacker News
🔄Reproducible Builds
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.com·4d·
Discuss: Hacker News
🔬Static Analysis
Building a Modern and Frugal Kubernetes Network with Cilium ClusterMesh
medium.com·21h·
Discuss: Hacker News
🏠HomeLab
Disaster Informatics after the COVID-19 Pandemic: Bibliometric and Topic Analysis based on Large-scale Academic Literature
arxiv.org·5d
📡Network Protocol Design
From Prompt Engineering to Context Engineering
adaline.ai·3d·
Discuss: Hacker News
🤖Program Synthesis
Flow Symmetrization for Parameterized Constrained Diffeomorphisms
arxiv.org·6d
🐫OCaml
P-CoT: A Pedagogically-motivated Participatory Chain-of-Thought Prompting for Phonological Reasoning in LLMs
arxiv.org·6d
🎮Verification Games
Aligning AI with Public Values: Deliberation and Decision-Making for Governing Multimodal LLMs in Political Video Analysis
arxiv.org·6d
🎮Verification Games