computer science, automata, theory, computation

Teaching robots to map large environments
news.mit.edu·17h·
Discuss: Hacker News
🤖Robotics
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
🔍Formal Verification
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·1d·
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·17h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
3 Costliest AI Prompt Mistakes Killing Python Productivity (Fixes)
dev.to·19h·
Discuss: DEV
🎮Verification Games
Flag this post
Japanese polygon theorem
johndcook.com·21h·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·2d
🔁Fixed-Point Theory
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·1d·
Discuss: DEV
🐫OCaml
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·17h·
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·12h·
Discuss: DEV
🔧DevOps
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·8h·
Discuss: DEV
🔄Reproducible Builds
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·17h·
Discuss: DEV
🎮Verification Games
Flag this post