💻 CS

computer science, automata, theory, computation

Teaching robots to map large environments
news.mit.edu·1d·
Discuss: Hacker News
🤖Robotics
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Flag this post
Ray Security – Predictive Data Security Platform
raysecurity.io·45m·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
3 Costliest AI Prompt Mistakes Killing Python Productivity (Fixes)
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
Show HN: AI Coding Agents: Intent-Driven Development Guidelines
github.com·3h·
Discuss: Hacker News
📦OPAM
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·19h·
Discuss: DEV
🔧DevOps
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·15h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
"Melodic Airways Transforming Flight Routes Into Music"
dev.to·1d·
Discuss: DEV
🔧ppx
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3h·
Discuss: DEV
🔀Brzozowski Derivatives
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
Day 1 of building Secrin
dev.to·2d·
Discuss: DEV
🌐NetworkProtocols
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·2d
🎯Hindley-Milner
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
AI and Emotional Data Privacy: Balancing Innovation with Human Trust
dev.to·2d·
Discuss: DEV
🛡️Privacy Engineering
Flag this post
AI won’t replace you, but bad AI habits will
dev.to·2d·
Discuss: DEV
🤖Program Synthesis
Flag this post