🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Denotational Semantics

Domain Theory, Fixed Points, Continuations, Program Equivalence

How to Build Python Code with Bazel (and Why)
ohadravid.github.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
The Hidden Value of What We Don’t Understand
talkflow.substack.com·6h·
Discuss: Substack
➡️Category Theory
60-Lesson Course Curriculum : Hands-on System Design with Java Spring Boot
javatsc.substack.com·3d·
Discuss: r/programming
🧱Immutable Infrastructure
Photoshop Is Dead Long Live Photoshop
mikechambers.com·1d·
Discuss: Hacker News
📺Vintage Apple
The Business Consultant
quarter--mile.com·21h·
Discuss: Hacker News
🩹Self-Healing Systems
Belzebub.ai: AI Deception Platform
beelzebub.ai·5h·
Discuss: Hacker News
🖥Self-Hosting
The Garden Speaks: On Cucumbers, Mildew, and Projects
zakelfassi.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·4h·
Discuss: Hacker News
🧪Property-Based Testing
The Term "Non-Deterministic" and LLMs
vishalbakshi.github.io·6d·
Discuss: Hacker News
📚Automata Learning
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·2d·
Discuss: Hacker News
💎Refinement Types
LLMs, Quantum Measurement, and a Primitive of Consciousness
understoryai.substack.com·4d·
Discuss: Substack
📚Automata Learning
The Angels and Demons of Nondeterminism
buttondown.com·6d·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: Inertia – A keyframe animation editor for mobile apps
github.com·13h·
Discuss: Hacker News
🍎Apple
Towards an Accurate and Effective Robot Vision (The Problem of Topological Localization for Mobile Robots)
arxiv.org·2d
🧩Separation Logic
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·6d·
Discuss: Hacker News
💎Refinement Types
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·1h·
Discuss: Hacker News
🏠HomeLab
Calibrating indifference - a small AI safety idea
lesswrong.com·1d
🧪Property-Based Testing
The exceptionalism of software is unwarranted
overbring.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Endless Hot Vibe Code Summer
redmonk.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Loading...Loading more...
AboutBlogChangelogRoadmap