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

Research Worth Reading Week 36/2025
pentesterlab.com·15h
🔗Hash Chains
On This Day in Math - September 6
pballew.blogspot.com·2d·
Discuss: www.blogger.com
📚Archive Mathematics
How to train your Dragon^H^H AI overlord
virtuallyfun.com·2d
🧲RISC-V Archaeology
AI is not another abstraction because god plays dice
rakhim.exotext.com·15h
⚖️Hoare Logic
The Garden Speaks: On Cucumbers, Mildew, and Projects
zakelfassi.com·1d·
Discuss: Hacker News
🐚Shell Calculus
How We Built Our lakeFS Iceberg Catalog
lakefs.io·1d·
Discuss: Hacker News
📦METS Containers
A “Beam Versus Dataflow” Conversation
oreilly.com·5h
🌊Stream Processing
Exceptions vs. Results
tifi.blog·1d·
Discuss: Hacker News
🦀Rust Verification
Developing a Space Flight Simulator in Clojure
wedesoft.de·3d·
Discuss: Lobsters, Hacker News, r/programming
📟Terminal Physics
Protobuffers Are Wrong
reasonablypolymorphic.com·3d·
Discuss: Hacker News, r/programming
📋Protocol Buffers
LLMs Are Adaptive Data Organisms
worldgov.org·1d·
Discuss: Hacker News
🔐Capability Systems
🚀 How PySpark Helps Handle Terabytes of Data Easily
dev.to·1d·
Discuss: DEV
🌊Stream Processing
How to Install & Run EmbeddingGemma-300m Locally?
dev.to·5h·
Discuss: DEV
🌀Brotli Dictionary
Educational Motor Control Module with StamPLC
hackster.io·17h
⚙️DIY Electronics
Quantized Temporal Graph Matching for Anomaly Detection in Reversed Mass Ordering Systems
dev.to·1d·
Discuss: DEV
🔤EBCDIC Mining
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
arxiv.org·11h
🛡️Error Boundaries
Towards Personalized Explanations for Health Simulations: A Mixed-Methods Framework for Stakeholder-Centric Summarization
arxiv.org·11h
✨Effect Handlers
CoCoNUTS: Concentrating on Content while Neglecting Uninformative Textual Styles for AI-Generated Peer Review Detection
arxiv.org·11h
🔍Information Retrieval
VaccineRAG: Boosting Multimodal Large Language Models' Immunity to Harmful RAG Samples
arxiv.org·11h
🎙️Whisper
Ecologically Valid Benchmarking and Adaptive Attention: Scalable Marine Bioacoustic Monitoring
arxiv.org·11h
👂Psychoacoustic Coding
Loading...Loading more...
AboutBlogChangelogRoadmap