computer science, automata, theory, computation

GNOME installation guide for OpenBSD 7.8
discoverbsd.com·14h
🔌Operating system internals
Flag this post
DeepOCR – a free image → text extractor,no signup
deepocr.cc·2d·
Discuss: Hacker News
👁️OCR Verification
Flag this post
Think Hard, Work Smart – reflection on how deliberate thinking amplifies results
thinkering.blog·20h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Dennis Ritchie's story of dabbling in the cryptographic world
web.archive.org·3d·
Discuss: Hacker News
🔐Cryptographic Archaeology
Flag this post
Token-Optimized Notation Language
tonl.dev·2d·
Discuss: Hacker News
Format Verification
Flag this post
Meton's Observatory in Athina, Greece
atlasobscura.com·8h
Byzantine Manuscripts
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·4d·
📝Database WAL
Flag this post
Ikea just took over your smart home
theverge.com·14h
Awesome lists
Flag this post
Statistical Estimate of Occurrence of Extraterrestrial Intelligence in Milky Way
arxiv.org·1d·
Discuss: Hacker News
📐Information Geometry
Flag this post
Animating Realism: Transferring Motion Styles with AI
dev.to·4h·
Discuss: DEV
📊Learned Metrics
Flag this post
Time-of-check Time-of-use (TOCTOU) Race Condition Leads to Broken Authentication | Critical Finding
infosecwriteups.com·18h
Checksum Validation
Flag this post
Show HN: XML-Lib – An over-engineered XML workflow with guardrails and proofs
github.com·2d·
Discuss: Hacker News
Proof Automation
Flag this post
VISTA: A Test-Time Self-Improving Video Generation Agent
dev.to·16h·
Discuss: DEV
🎬AV1 Encoding
Flag this post
Left Atrial Segmentation with nnU-Net Using MRI
arxiv.org·2d
💻Local LLMs
Flag this post
Krish Naik: Ultimate RAG Bootcamp Live Induction Session
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Pair-Coding CleanIt.Now with AI on Cloudflare Workers
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Flag this post
Neural Green's Functions
arxiv.org·4d
🧠Machine Learning
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post
Title: The Rising Tide of AI Investments: Unlocking the Potential of Artificial Intelligence
dev.to·1d·
Discuss: DEV
🤖AI Curation
Flag this post
The $50 Coffee That Changed My Mind About AI: From Novelty to Playbook
dev.to·1h·
Discuss: DEV
📊Feed Optimization
Flag this post