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

Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods

[$] The dependency tracker for complex deadlock detection
lwn.net·1d
🔍eBPF
Loading Ian Piumarta's Smalltalk terminal emulator code
eighty-twenty.org·2d
📟Terminals
The Ultimate Secure Code Review Checklist
boostsecurity.io·23h
🛡️WebAssembly Security
What are the key purposes of human writing? How we name AI-generated text confuses things
phys.org·1d
📝Concrete Syntax
Show HN: Reverse vs. Vectorized Forward Ad: A Performance Exploration in C
raph5.github.io·1h·
Discuss: Hacker News
⚡SIMD Vectorization
Ergo Framework v3.1.0 Released
github.com·1d
🔌Interface Evolution
Vibe Coding a Broadcasting Graphics Solution in 6 Hours
elite-ai-assisted-coding.dev·48m·
Discuss: Hacker News
🎙️Whisper
Matmul on Blackwell: Part 2 – Using Hardware Features to Optimize Matmul
modular.com·17h·
Discuss: Hacker News
⚡SIMD Optimization
Evals are a scam. And we're being gaslit into believing they aren't
hacktrace.substack.com·9h·
Discuss: Substack
📏Code Metrics
Galactic Algorithm
en.wikipedia.org·1d·
Discuss: Hacker News
🎯Performance Proofs
Simplify Validation in Golang— No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.to·1d·
Discuss: DEV
✅Format Verification
When LLM Meets Time Series: Can LLMs Perform Multi-Step Time Series Reasoning and Inference
arxiv.org·3d
🔍Type Inference
OVGrasp: Open-Vocabulary Grasping Assistance via Multimodal Intent Detection
arxiv.org·1d
✋Tactile Computing
Autonomation, Not Automation: Activities and Needs of European Fact-checkers as a Basis for Designing Human-Centered AI Systems
arxiv.org·1d
⚡Proof Automation
Vortex: An extensible, state of the art columnar file format
github.com·2d·
Discuss: Hacker News
🔗Archive Combinators
Beyond the API Call: A Look at the Firouzi Codex, a New AI Processing Paradigm
dev.to·1d·
Discuss: DEV
🌊Stream Processing
A Topology of Cognition
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Awesome AI Agent Frameworks
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
LLMs and their Limited Theory of Mind: Evaluating Mental State Annotations in Situated Dialogue
arxiv.org·3d
🔢Denotational Semantics
Cloud Is No Longer a Specialty — It’s the Operating System of Modern Engineering
dev.to·23h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Loading...Loading more...
AboutBlogChangelogRoadmap