๐Ÿฟ๏ธ 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

Introducing Omiword, the new word game from the makers of Damn Interesting
damninteresting.comยท15h
๐Ÿ–‹Typography
"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.comยท23hยท
Discuss: www.blogger.com
โš”๏ธLean Theorem
Containers: Everything You Need To Know
equipintelligence.medium.comยท1dยท
Discuss: r/programming
๐Ÿ“ฆContainer Security
EROFS Implementing Metadata Compression For Even Smaller Image Sizes
phoronix.comยท17h
๐Ÿ“ฆDeflate
Canadian Cross
en.wikipedia.orgยท3dยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Logical implication is a comparison operator
btdmaster.bearblog.devยท4dยท
Discuss: Hacker News
๐Ÿ”ฒProof Irrelevance
I built an MCP server for observability, here's my unhyped take
signoz.ioยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Boundaries
Distributed Web Crawlers: A Hands-On Guide with Go
dev.toยท1dยท
Discuss: DEV
๐Ÿ“กBGP Archaeology
Robots for Kiwifruit Harvesting and Pollination
arxiv.orgยท1h
๐Ÿค–Tape Automation
After a Week of Work, My Programming Language Hulo Adds Bash Transpiler and Package Management Tool
dev.toยท2dยท
Discuss: DEV
๐ŸšShell Automation
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.toยท4dยท
Discuss: DEV
๐Ÿ“Vector Dimensionality
Efficient Story Point Estimation With Comparative Learning
arxiv.orgยท1h
๐Ÿ“ŠLearned Metrics
Real-Time Communication-Aware Ride-Sharing Route Planning for Urban Air Mobility: A Multi-Source Hybrid Attention Reinforcement Learning Approach
arxiv.orgยท1h
๐Ÿง Machine Learning
DeSamba: Decoupled Spectral Adaptive Framework for 3D Multi-Sequence MRI Lesion Classification
arxiv.orgยท1h
๐Ÿ“ŠLearned Metrics
Feasibility of Energy Neutral Wildlife Tracking using Multi-Source Energy Harvesting
arxiv.orgยท1h
๐Ÿ“ปHomebrew Protocols
HOLa: Zero-Shot HOI Detection with Low-Rank Decomposed VLM Feature Adaptation
arxiv.orgยท1h
๐Ÿ“ŠLearned Metrics
You are the pilot: How to stand out in the vibe coding era
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Lessons from the TREC Plain Language Adaptation of Biomedical Abstracts (PLABA) track
arxiv.orgยท1d
๐Ÿ”Information Retrieval
FastAPI vs Flask: The Async Showdown of Python Web Frameworks
dev.toยท14hยท
Discuss: DEV
๐ŸŒWeb Standards
VTarbel: Targeted Label Attack with Minimal Knowledge on Detector-enhanced Vertical Federated Learning
arxiv.orgยท1h
๐ŸคSecure Multiparty
Loading...Loading more...
AboutBlogChangelogRoadmap