💻 CS

computer science, automata, theory, computation

The mathematics of the perfect penalty shootout
bbc.com·11h·
Discuss: Hacker News
🎮Verification Games
Using Typst to Typeset Novels
splinterton.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Rust is a great fit for the agentic era
kerkour.com·4d·
Discuss: Hacker News
🔬Static Analysis
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io·4d·
Discuss: Hacker News
🔬Unikernels
Gabe Newell reckons AI tools will result in a 'funny situation' where people who can't program become 'more effective developers of value' than those who've bee...
pcgamer.com·1d·
Discuss: Hacker News, r/programming
🎮Verification Games
How to run an LLM on your laptop
technologyreview.com·2d·
Discuss: Hacker News, Hacker News
💾Retro Computing
3 Steps to Context Engineering a Crystal-Clear Project
towardsdatascience.com·3d·
Discuss: r/programming
🤖Program Synthesis
Agents Built from Alloys
xbow.com·2d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Will A.I. Become the New McKinsey? (Ted Chiang, 2023)
newyorker.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Is your precious code safe? An easy way to ensure availability of code/repositories.
reddit.com·1d·
Discuss: r/homelab
🧱Immutable Infrastructure
This Week in Security: Trains, Fake Homebrew, and AI Auto-Hacking
hackaday.com·1d
🛡️seL4
Hypothetical: what would you charge to be a homelab mentor for someone with a learning disability?
reddit.com·16h·
Discuss: r/homelab
🏠HomeLab
Multiplicative Modular Nim (MuM)
arxiv.org·5d
🐫OCaml
GeoReg: Weight-Constrained Few-Shot Regression for Socio-Economic Estimation using LLM
arxiv.org·2d
🐫Embedded OCaml
Last Layer Hamiltonian Monte Carlo
arxiv.org·5d
✓Automated Theorem Proving
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·4d
🎮Verification Games
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·4d
🐫OCaml
Illuminating the Three Dogmas of Reinforcement Learning under Evolutionary Light
arxiv.org·4d
✓Automated Theorem Proving
A parametric activation function based on Wendland RBF
arxiv.org·4d
➡️Category Theory
JSQA: Speech Quality Assessment with Perceptually-Inspired Contrastive Pretraining Based on JND Audio Pairs
arxiv.org·3d
🍎Apple