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

Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
How We Built Our lakeFS Iceberg Catalog
lakefs.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
The world has a running Rational R1000/400 computer again (2019)
datamuseum.dk·2d·
Discuss: Hacker News
🔧Unikernel Development
(Republished from 2021): Your legacy database is outgrowing itself
unstructedtech.com·2d·
Discuss: Hacker News
👁️System Observability
This Ouija Business Card Helps You Speak to Tiny Llamas
hackaday.com·2h
💾Retro Computing
The risks of cognitive offloading [to AI]
siliconangle.com·7h·
Discuss: Hacker News
🩹Self-Healing Systems
We're training LLMs to hallucinate by rewarding them for guessing
lightcapai.medium.com·1d·
Discuss: Hacker News
📚Automata Learning
Histogram Driven Amplitude Embedding for Qubit Efficient Quantum Image Compression
arxiv.org·1d
🐫Embedded OCaml
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·4d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
Room: Verilog for Read-Once-Only Memory (Quantum-Inspired Security Primitive)
github.com·3d·
Discuss: Hacker News
🔧Unikernel Development
An information metric for comparing and assessing informative interim decisions in sequential clinical trials
arxiv.org·1d
🧠Automated Reasoning
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Building LangGraph: Designing an Agent Runtime from First Principles
blog.langchain.com·4d·
Discuss: Hacker News
🔄Finite State Machines
React and Text/Event-Stream
github.com·16h·
Discuss: Hacker News
🔧Unikernel Development
Benchmarking GPT-5 for biomedical natural language processing
arxiv.org·1d
🧩Parser Combinators
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·5d
🎮Verification Games
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·1d
🐫OCaml
LLMs, Quantum Measurement, and a Primitive of Consciousness
understoryai.substack.com·3d·
Discuss: Substack
📚Automata Learning
I built an ultra-fast, open-source Go web service for generating PDFs from HTML/JSON templates.
reddit.com·13h·
Discuss: r/programming
🔄Reproducible Builds
Deploying AI to the Balkans
hapseer.com·7h·
Discuss: Hacker News
🩹Self-Healing Systems
Loading...Loading more...
AboutBlogChangelogRoadmap