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

Small-step Semantics, Big-step Semantics, Reduction Rules, Language Specification

Apple is teaching its AI to adapt to the Trump era
politico.eu·1h·
Discuss: Hacker News
🍎Apple
How We Built Our lakeFS Iceberg Catalog
lakefs.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
(Republished from 2021): Your legacy database is outgrowing itself
unstructedtech.com·3d·
Discuss: Hacker News
👁️System Observability
The risks of cognitive offloading [to AI]
siliconangle.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
This Ouija Business Card Helps You Speak to Tiny Llamas
hackaday.com·20h
💾Retro Computing
An information metric for comparing and assessing informative interim decisions in sequential clinical trials
arxiv.org·2d
🧠Automated Reasoning
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
React and Text/Event-Stream
github.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Benchmarking GPT-5 for biomedical natural language processing
arxiv.org·2d
🧩Parser Combinators
Building LangGraph: Designing an Agent Runtime from First Principles
blog.langchain.com·5d·
Discuss: Hacker News
🔄Finite State Machines
Toggle Hero Worship
lesswrong.com·3h
🩹Self-Healing Systems
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·6d
🎮Verification Games
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·2d
🐫OCaml
LLMs, Quantum Measurement, and a Primitive of Consciousness
understoryai.substack.com·4d·
Discuss: Substack
📚Automata Learning
Deploying AI to the Balkans
hapseer.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
I built an ultra-fast, open-source Go web service for generating PDFs from HTML/JSON templates.
reddit.com·1d·
Discuss: r/programming
🔄Reproducible Builds
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·5d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
From Post To Personality: Harnessing LLMs for MBTI Prediction in Social Media
arxiv.org·2d
🧩Parser Combinators
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Loading...Loading more...
AboutBlogChangelogRoadmap