💻 CS

computer science, automata, theory, computation

China breakthrough in indium selenide (InSe) wafers with perfect stoichiometry
news.cgtn.com·1d·
Discuss: Hacker News
💾Retro Computing
Ruby 3.4.5 Released
ruby-lang.org·2d·
Discuss: Hacker News
❄️Nixified Development
Show HN: The only privacy focused digital business card platform
getcardova.com·2d·
Discuss: Hacker News
🍎Apple
Show HN: Make fake ChatGPT chats for memes and pranks
fakechatgpt.com·14h·
Discuss: Hacker News
🌐NetworkProtocols
The C3 Programming Language
c3-lang.org·6d·
Discuss: Hacker News
🔬Static Analysis
A Startup is Selling Data Hacked from Peoples’ Computers to Debt Collectors
404media.co·14h·
Discuss: Hacker News
🍎Apple
Base44 – build fully-functional apps in minutes with just your words
base44.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
We aren't worried about misalignment as self-fulfilling prophecy
blog.ai-futures.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Selling your digital soul to use Bluesky's DMs isn't just a bad idea, it's the law
theregister.com·18h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Building a Dumber Team
dandreamsofcoding.com·2d·
Discuss: Hacker News
🎮Verification Games
Mars Trilogy Technical Commentary
caseyhandmer.wordpress.com·10h·
Discuss: Hacker News
🔬Unikernels
Easy Patterns for Testable Python Code
medium.com·2d·
Discuss: r/programming
🧪Property-Based Testing
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·4d
✓Automated Theorem Proving
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·4d
🐫OCaml
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·3d
🔠Type-Level Programming
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·3d
✓Automated Theorem Proving
Learning to Quantize and Precode in Massive MIMO Systems for Energy Reduction: a Graph Neural Network Approach
arxiv.org·5d
➡️Category Theory
Used Enterprise is Stupid Cheap
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
EV-STLLM: Electric vehicle charging forecasting based on spatio-temporal large language models with multi-frequency and multi-scale information fusion
arxiv.org·6d
🔄Finite State Machines
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.org·5d
🐫OCaml