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

Migrating Lyft’s Android Codebase to Kotlin
eng.lyft.com·16h
🌀Brotli Internals
A New Formula for Pi Is Here. And It’s Pushing Scientific Boundaries.
popularmechanics.com·13h
📐Mathematical Art
Memory Speed Terminology Guide
pugetsystems.com·1d·
Discuss: Hacker News
💾Memory Mapping
GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR
blog.llvm.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
🔒Type Safety
'Make invalid states representable' considered harmful
seangoedecke.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🛡️Preservation Proofs
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·1d·
Discuss: Hacker News
🌊Streaming Systems
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·1d·
Discuss: Hacker News
🎯Gradual Typing
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arxiv.org·1d
📊Quantization
The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
arxiv.org·2d
🔗Constraint Handling
Benchmarking Vision Transformers and CNNs for Thermal Photovoltaic Fault Detection with Explainable AI Validation
arxiv.org·1h
🔍Vector Forensics
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·16h
🔌Interface Evolution
Micro-Expression Recognition via Fine-Grained Dynamic Perception
arxiv.org·1d
🧠Machine Learning
Data-Efficient Fine-Tuning of Vision-Language Models for Diagnosis of Alzheimer's Disease
arxiv.org·1h
🤖Advanced OCR
Attention and Risk-Aware Decision Framework for Safe Autonomous Driving
arxiv.org·1h
🌀Riemannian Computing
Single and Multi-Frequency Path Loss Models for Indoor Hotspot Scenario Based on Measurements Conducted at 6.75, 16.95, 28, 73 and 142 GHz
arxiv.org·1h
ℹ️Information Theory
RECAP: REwriting Conversations for Intent Understanding in Agentic Planning
arxiv.org·2d
🔗Parser Combinators
The LLM Has Left The Chat: Evidence of Bail Preferences in Large Language Models
arxiv.org·2d·
Discuss: Hacker News
🧠Intelligence Compression
Enhancing the Robustness of Contextual ASR to Varying Biasing Information Volumes Through Purified Semantic Correlation Joint Modeling
arxiv.org·1d
👁️Perceptual Coding
Building a Local Documentation Chatbot with Python, FAISS, and OpenAI
dev.to·1d·
Discuss: DEV
🤖Archive Automation
KRAFT: A Knowledge Graph-Based Framework for Automated Map Conflation
arxiv.org·2d
🔶Voronoi Diagrams
Loading...Loading more...
AboutBlogChangelogRoadmap