computer science, automata, theory, computation

Teaching robots to map large environments
news.mit.edu·15h·
Discuss: Hacker News
🤖Robotics
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
🔍Formal Verification
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·22h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Beyond ChatGPT: The Silent Birth of Conscious AI
news.ycombinator.com·15h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
3 Costliest AI Prompt Mistakes Killing Python Productivity (Fixes)
dev.to·17h·
Discuss: DEV
🎮Verification Games
Flag this post
Japanese polygon theorem
johndcook.com·19h·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·2d
Existential Types
Flag this post
Single-agent Reinforcement Learning Model for Regional Adaptive Traffic Signal Control
arxiv.org·2d
🔄Finite State Machines
Flag this post
How to Build a RAG Solution with Llama Index, ChromaDB, and Ollama
dev.to·23h·
Discuss: DEV
🐫OCaml
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·15h·
Discuss: Hacker News
🔢Algebraic Data Types
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
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
The older I get, the better my code becomes
dev.to·1d·
Discuss: DEV
🔧DevOps
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·10h·
Discuss: DEV
🔧DevOps
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·6h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
"Melodic Airways Transforming Flight Routes Into Music"
dev.to·23h·
Discuss: DEV
🔧ppx
Flag this post
Day 25: Python Coin Flip Game, Simple Interactive Guessing with Random
dev.to·15h·
Discuss: DEV
🎮Verification Games
Flag this post