💻 CS

computer science, automata, theory, computation

China Bans Foreign AI Chips From State-Funded Data Centres
slashdot.org·17h
🧮Z3
Flag this post
The Means of Prediction: How AI Works (and Who Benefits)
hks.harvard.edu·13h·
Discuss: Hacker News
🛡️Privacy Engineering
Flag this post
Compelling reasons to learn Ruby today
rubynewbie.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Sam Altman on Trust, Persuasion, and the Future of Intelligence
conversationswithtyler.com·15h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
**Sustainable Energy Optimization in Chilean Mines Using AI*
dev.to·17h·
Discuss: DEV
🧗Climbing Tech
Flag this post
3 Costliest AI Prompt Mistakes Killing Python Productivity (Fixes)
dev.to·22h·
Discuss: DEV
🎮Verification Games
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·3d
🖥️Self-hosted Infrastructure
Flag this post
"Melodic Airways Transforming Flight Routes Into Music"
dev.to·1d·
Discuss: DEV
🔧ppx
Flag this post
Day 25: Python Coin Flip Game, Simple Interactive Guessing with Random
dev.to·19h·
Discuss: DEV
🎮Verification Games
Flag this post
Day 1 of building Secrin
dev.to·2d·
Discuss: DEV
🌐NetworkProtocols
Flag this post
Story and essential meaning dynamics in Bangladesh's July 2024 Student-People's Uprising
arxiv.org·1d
🕸️Graph Theory
Flag this post
AI and Emotional Data Privacy: Balancing Innovation with Human Trust
dev.to·1d·
Discuss: DEV
🛡️Privacy Engineering
Flag this post
AI won’t replace you, but bad AI habits will
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
Flag this post
AI as Mathematical Muse: Unlocking the Universe's Secrets Together
dev.to·4d·
Discuss: DEV
🔢Computability Theory
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·15h·
Discuss: DEV
🔧DevOps
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·11h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·3d
🐫OCaml
Flag this post
InertialAR: Autoregressive 3D Molecule Generation with Inertial Frames
arxiv.org·3d
⚙️Compiler Design
Flag this post