💻 CS

computer science, automata, theory, computation

Benchmarking the Most Reliable Document Parsing API
tensorlake.ai·1d·
Discuss: Hacker News
🔤Language Design
Flag this post
Where You See a Fancy Fish, Engineers See Alan Turing’s Math
nytimes.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Show HN: When 7 Codex Agents Sent Each Other 1k Messages over 2 Days
dicklesworthstone.github.io·21h·
Discuss: Hacker News
💬Mach Messages
Flag this post
OpenAI Model Spec
model-spec.openai.com·1d·
Discuss: Hacker News
🔍Formal Verification
Flag this post
How a Crypto Recovery Expert Can Help You Recover Lost Funds: Visit Techy Force Cyber Retrieval
dev.to·5h·
Discuss: DEV
🔬Reverse Engineering
Flag this post
Why TypeScript Won't Save You
cekrem.github.io·1d·
Discuss: r/javascript, r/node, r/programming, r/reactjs, r/typescript, r/webdev
🎯GADT
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
How to Use GPT-5 Effectively
towardsdatascience.com·7h
🧩Parser Combinators
Flag this post
Stop Designing Slides First — Start by Structuring Ideas with AI
dev.to·11h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·3h·
Discuss: DEV
🔌APIs
Flag this post
Mastering Logging in Python
dev.to·11h·
Discuss: DEV
📊Runtime Verification
Flag this post
LLMs Position Themselves as More Rational Than Humans: Emergence of AI Self-Awareness Measured Through Game Theory
arxiv.org·3d
🔲Cellular Automata
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·3d
🔲Cellular Automata
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.org·2d
🛡️seL4
Flag this post
announcing my modular coal startup
lesswrong.com·1d
🖥️Self-hosted Infrastructure
Flag this post
ChatGPT terms disallow its use in providing legal and medical advice to others
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Why Text Data Collection Matters for Next-Gen AI Models
dev.to·9h·
Discuss: DEV
📚Automata Learning
Flag this post
Announcing SlopGuard — Open-Source Defence Against AI Supply Chain Attacks
dev.to·8h·
Discuss: DEV
🛡️seL4
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
RefusalBench: Generative Evaluation of Selective Refusal in Grounded LanguageModels
dev.to·14h·
Discuss: DEV
📚Automata Learning
Flag this post