computer science, automata, theory, computation

China Bans Foreign AI Chips From State-Funded Data Centres
slashdot.org·19h
🧮Z3
Flag this post
The Means of Prediction: How AI Works (and Who Benefits)
hks.harvard.edu·15h·
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·17h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
**Sustainable Energy Optimization in Chilean Mines Using AI*
dev.to·19h·
Discuss: DEV
🧗Climbing Tech
Flag this post
3 Costliest AI Prompt Mistakes Killing Python Productivity (Fixes)
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
AI as Mathematical Muse: Unlocking the Universe's Secrets Together
dev.to·4d·
Discuss: DEV
🔢Computability Theory
Flag this post
Why Multimodal AI Broke the Data Pipeline — And How Daft Is Beating Ray and Spark to Fix It
hackernoon.com·3d
👁️System Observability
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·17h·
Discuss: DEV
🔧DevOps
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·13h·
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
Opportunistically Parallel Lambda Calculus
dl.acm.org·6d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·2d
⏱️Computational Complexity
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·2d
🔲Cellular Automata
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Flag this post
RIS-Assisted 3D Spherical Splatting for Object Composition Visualization using Detection Transformers
arxiv.org·1d
🔧Microcontrollers
Flag this post