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

New cybersecurity rules land for Defense Department contractors
theregister.com·14h·
Discuss: Hacker News
🛡️seL4
Moving to a new house, how does this homelab configuration look?
preview.redd.it·16h·
Discuss: r/homelab
🏠HomeLab
The world has a running Rational R1000/400 computer again (2019)
datamuseum.dk·3d·
Discuss: Hacker News
🔧Unikernel Development
Microsoft's analog optical computer cracks 2 practical problems,shows AI promise
news.microsoft.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
The risks of cognitive offloading [to AI]
siliconangle.com·21h·
Discuss: Hacker News
🩹Self-Healing Systems
The (sometimes rocky) road to a paper
lmao.bearblog.dev·5d·
Discuss: Hacker News
🧮Lambda Calculus
The Great Domestication: How Artificial Intelligence Is Remaking Consciousness
philosophermaker.substack.com·1d·
Discuss: Substack
📚Automata Learning
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·21h·
Discuss: Hacker News
🩹Self-Healing Systems
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
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
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
Kwil: The Database for Web3
github.com·1d·
Discuss: Hacker News
⎈Kubernetes
Stability Analysis for Stochastic Hybrid Inclusions
arxiv.org·2d
🩹Self-Healing Systems
When LLMs Grow Hands and Feet, How to Design Our Agentic RL Systems?
amberljc.github.io·4d·
Discuss: Hacker News
⚙️PL Implementation
Drivel-ology: Challenging LLMs with Interpreting Nonsense with Depth
arxiv.org·5d
🧩Parser Combinators
Semantically Reflected Programs
arxiv.org·6d
💎Refinement Types
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Loading...Loading more...
AboutBlogChangelogRoadmap