💻 CS

computer science, automata, theory, computation

Israel-Gaza war live: European nations debate recognition of Palestine as starvation spreads in Gaza
theguardian.com·21h·
Discuss: Hacker News
🇵🇹Portugal
ChromaFiler
chroma.zone·15h·
Discuss: Hacker News
🍎Apple
Show HN: DocGoblin – A Super Fast Desktop Search Engine for Your PDFs
docgoblin.com·1d·
Discuss: Hacker News
💾Retro Computing
1988 IMO Question Six
cantorsparadise.com·1d·
Discuss: Hacker News
🎮Verification Games
NextTurn – GitHub meets LinkedIn with XP, ranks, and Prestige for developers
nextturn.dev·2d·
Discuss: Hacker News
❄️Nixified Development
Create Videos with Sound – Plexigen AI
plexigen.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
Serverless single tenant RAG with DuckDB
summer.io·3d·
Discuss: Hacker News
📦Unikernel Systems
How to Deliver CSU's Gen Ed with AI Microservices
hollisrobbinsanecdotal.substack.com·5d·
Discuss: Substack
🤖Program Synthesis
The State of Flash Attention on ROCm
zdtech.substack.com·3d·
Discuss: Substack
🐫Embedded OCaml
The unsolved tension at the heart of AI
tushardadlani.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Deeper Theories of Program Design
typesanitizer.com·6d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Operating System Design
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
Mind the Gap: A Review of Arabic Post-Training Datasets and Their Limitations
arxiv.org·5d
🐫OCaml
Beyond Architectures: Evaluating the Role of Contextual Embeddings in Detecting Bipolar Disorder on Social Media
arxiv.org·5d
🐫OCaml
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