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

From bench to big boss: mitigating the widening gap between PI and lab
nature.com·17h
📚MARC Evolution
The cognitive and moral harms of platform decay | Ethics and Information Technology
link.springer.com·2d
⚖️Emulation Ethics
Network Security: A Systems Approach
systemsapproach.org·2d
🌐Network Security
Lessons under construction: My first client project
blog.scottlogic.com·3d
🔌Interface Evolution
How to Deploy DltHub, SQLMesh, DBT Core, or Any Python Project to Tower
tower.dev·1d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
I wrote a blog on "Building Serverless Functions on Kubernetes using Knative"
cloudraft.io·2d
🌊Streaming Systems
How to Boost Research Documentation with Speech Processing Tools
cacm.acm.org·12h
📄Document Phonetics
Neco is a C library that provides concurrency using coroutines
github.com·2d·
Discuss: Hacker News
🔩Systems Programming
Few-Shot Vision-Language Reasoning for Satellite Imagery via Verifiable Rewards
arxiv.org·22h
🧮Kolmogorov Complexity
InsurTech innovation using natural language processing
arxiv.org·22h
📝ABNF Parsing
Watermarking Large Language Model-based Time Series Forecasting
arxiv.org·1d
📈Time Series
8 Ways to Unlock Innovation With Data as a Product
thenewstack.io·9h
🔗Data Provenance
Can any AI on the market do this?
news.ycombinator.com·3h·
Discuss: Hacker News
📼Tape Linguistics
Why Developers Need Mobile-First Error Tracking (And How We Built It)
hackernoon.com·12h
👁️Observatory Systems
Adaptive Cluster Collaborativeness Boosts LLMs Medical Decision Support Capacity
arxiv.org·22h
🎵Audio ML
Writing With Emacs: Two Out Of Three Ain’t Bad
irreal.org·3d
💻Programming languages
MAGE: Multimodal Alignment and Generation Enhancement via Bridging Visual and Semantic Spaces
arxiv.org·22h
📊Learned Metrics
See Different, Think Better: Visual Variations Mitigating Hallucinations in LVLMs
arxiv.org·22h
📊Learned Metrics
Validating Generative Agent-Based Models of Social Norm Enforcement: From Replication to Novel Predictions
arxiv.org·22h
🔲Cellular Automata
Decoupling Knowledge and Reasoning in LLMs: An Exploration Using Cognitive Dual-System Theory
arxiv.org·5d
🔗Constraint Handling
Loading...Loading more...
AboutBlogChangelogRoadmap