💻 CS

computer science, automata, theory, computation

How Much Free Money Can You Win?
thefiddler.substack.com·23h·
Discuss: Substack
📐Interval Arithmetic
The 90s UNIX Utility That Fell Out of Favour
blog.alexellis.io·1d
📟Terminal Forensics
How the Internet Died
whatwelost.substack.com·1d·
Discuss: Substack
📰RSS Archaeology
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com·19h·
Discuss: Hacker News
💧Liquid Types
How Should We Evaluate Healthcare AI?
outofpocket.health·1d·
Discuss: Hacker News
⚙️Proof Engineering
6 Bit DNA Encoding with Complements via XOR (biowisdom)
cyberwarhead.com·1d
🧬Palindrome Codes
Wrong Again
pearsa.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Show HN: Actionable AI for Founders: Turning Ideas into Shippable Plans
intutivai.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Normal Computing Announce Tape-Out of First Thermodynamic Computing Chip
normalcomputing.com·1d·
Discuss: Hacker News
🖥️Hardware Architecture
Box, run, crash: China’s humanoid robot games show advances and limitations
theguardian.com·23h
🇨🇳Chinese Computing
Protect Yourself From Data Breaches: Why You Should Use a Password Manager
hackernoon.com·13h
🔓Hacking
Human cells reveal a novel DNA damage repair pathway
phys.org·1d
🧬Copy Number Variants
Football Daily | A new Premier League season rolls off the assembly line with subplots galore
theguardian.com·19h
📰RSS Archaeology
Aurawave AW100 modules aim to simplify Auracast and Bluetooth LE Audio product development
cnx-software.com·1d
📻Homebrew Protocols
The Hype and the Hangover: Unpacking the Underwhelming Debut of GPT-5
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Day 2: Enterprise Testing Infrastructure with TestContainers - 30-Day AI Observability Challenge
dev.to·19h·
Discuss: DEV
👁️System Observability
Automated Optimization of High-Frequency Spintronic Circuits via Reinforcement Learning
dev.to·3d·
Discuss: DEV
⚡Circuit Design
miRKatAI: An Integrated Database and Multi-agent AI system for microRNA Research
arxiv.org·3d
🗂️Vector Databases
Dynamic Reactive Impedance Tuning via Adaptive Kalman Filter Enhancement
dev.to·1d·
Discuss: DEV
☕Precision Brewing
Automated Semantic Validation & Refinement of Scientific Literature using Dynamic Graph Neural Networks
dev.to·2d·
Discuss: DEV
🕸️Graph Embeddings