💻 CS

computer science, automata, theory, computation

Israel-Gaza war live: European nations debate recognition of Palestine as starvation spreads in Gaza
theguardian.com·1d·
Discuss: Hacker News
🇵🇹Portugal
ChromaFiler
chroma.zone·21h·
Discuss: Hacker News
🍎Apple
1988 IMO Question Six
cantorsparadise.com·2d·
Discuss: Hacker News
🎮Verification Games
Mimo App Good or Bad?
play.google.com·4d·
Discuss: r/programming
🐫Embedded OCaml
NextTurn – GitHub meets LinkedIn with XP, ranks, and Prestige for developers
nextturn.dev·2d·
Discuss: Hacker News
❄️Nixified Development
The State of Flash Attention on ROCm
zdtech.substack.com·3d·
Discuss: Substack
🐫Embedded OCaml
AI coding agents in CI/CD pipelines create new attack vectors
stepsecurity.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
The Surprising gRPC Client Bottleneck in Low-Latency Networks
blog.ydb.tech·3d·
Discuss: Hacker News
📡Network Protocol Design
The unsolved tension at the heart of AI
tushardadlani.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Jungian Archetypes
en.wikipedia.org·1d·
Discuss: Hacker News
➡️Category Theory
Solving the inference problem for open source AI projects with GitHub Models
github.blog·3d·
Discuss: Hacker News
📦Unikernel Systems
Deep Film Inc. Back End/AI Engineer and UI/UX Engineer
news.ycombinator.com·3d·
Discuss: Hacker News
🧗Climbing Tech
Webpack 5 Module Federation - my approach
reddit.com·2d·
Discuss: r/programming
🧱Immutable Infrastructure
Intel's $100B Bluff
nearlyright.com·2d·
Discuss: Hacker News
💾Retro Computing
Show HN: Blueboots – A retro themed Fedora OS built with one Containerfile
github.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Ending 'woke AI' isn't enough: fight the 'monster' within it
nypost.com·3d·
Discuss: Hacker News
💾Retro Computing
A High Magnifications Histopathology Image Dataset for Oral Squamous Cell Carcinoma Diagnosis and Prognosis
arxiv.org·4d
➡️Category Theory
Characterizing Online Activities Contributing to Suicide Mortality among Youth
arxiv.org·4d
📡Network Protocol Design
A new XML conversion process for mensural music encoding : CMME\_to\_MEI (via Verovio)
arxiv.org·4d
🐫OCaml
Towards Holistic Surgical Scene Graph
arxiv.org·5d
🏹Effect Systems