🐿️ 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

As a Rails dev, one thing you MUST know is Turbo Prefetching
rubycademy.com·17h·
Discuss: r/programming
📊Runtime Verification
Show HN: Claude-Powered Survival Analysis with One-Click Models (Onco-Insight)
dataize.me·5h·
Discuss: Hacker News
👁️System Observability
Reticular Thalamic Activity and Autism Spectrum Disorders
science.org·1d·
Discuss: Hacker News
➡️Category Theory
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·10h·
Discuss: Hacker News
🔄Reproducible Builds
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·1d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
What I Learned Building My First Jenkins Plugin
mergify.com·21h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
The Garden Speaks: On Cucumbers, Mildew, and Projects
zakelfassi.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Does the world need another distributed queue?
techblog.cloudkitchens.com·15h·
Discuss: r/programming
⚙️Operating System Design
The Term "Non-Deterministic" and LLMs
vishalbakshi.github.io·6d·
Discuss: Hacker News
📚Automata Learning
LLMs, Quantum Measurement, and a Primitive of Consciousness
understoryai.substack.com·4d·
Discuss: Substack
📚Automata Learning
Calibrating indifference - a small AI safety idea
lesswrong.com·20h
🧪Property-Based Testing
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·6d·
Discuss: Hacker News
💎Refinement Types
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
arxiv.org·6d
📝Term Rewriting
The exceptionalism of software is unwarranted
overbring.com·22h·
Discuss: Hacker News
🔄Reproducible Builds
Agentic AI MOOC (9/15) –Taught by Experts from Google DeepMind, OpenAI, and More
news.ycombinator.com·9h·
Discuss: Hacker News
💻CS
Drivel-ology: Challenging LLMs with Interpreting Nonsense with Depth
arxiv.org·5d
🧩Parser Combinators
Billion-Line Days Demand Billion-Test Nights
momentic.ai·16h·
Discuss: Hacker News
🤖Program Synthesis
The Endless Hot Vibe Code Summer
redmonk.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Multimodal Foundation Model-Driven User Interest Modeling and Behavior Analysis on Short Video Platforms
arxiv.org·2d
➡️Category Theory
Semantic Line Breaks
sembr.org·2d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Loading...Loading more...
AboutBlogChangelogRoadmap