๐Ÿฟ๏ธ 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ยท20h
๐Ÿ–‹Typography
Week 5โ€” Learning Basic Concepts of Cybersecurity
infosecwriteups.comยท1d
๐ŸŒWeb Standards
Google Debuts OSS Rebuild Project
linuxiac.comยท51m
๐Ÿ”“Open Source Software
Try These Logic Puzzles from the International Logic Olympiad
scientificamerican.comยท17h
๐Ÿ“šProof Pedagogy
How to Migrate from OpenAI to Cerebrium for Cost-Predictable AI Inference
ritza.coยท2hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
W3 AI Agent Protocol Community Group
w3.orgยท23hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
EROFS Implementing Metadata Compression For Even Smaller Image Sizes
phoronix.comยท22h
๐Ÿ“ฆDeflate
Logical implication is a comparison operator
btdmaster.bearblog.devยท4dยท
Discuss: Hacker News
๐Ÿ”ฒProof Irrelevance
Some notes on project management
andrewpwheeler.comยท1dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
DENSE: Longitudinal Progress Note Generation with Temporal Modeling of Heterogeneous Clinical Notes Across Hospital Visits
arxiv.orgยท1d
๐Ÿ“ˆTime Series
Day 2 of My 180-Day Developer Challenge: Building Git, learning about Docker and Go
dev.toยท1dยท
Discuss: DEV
๐ŸŒณGit Internals
Distributed Web Crawlers: A Hands-On Guide with Go
dev.toยท1dยท
Discuss: DEV
๐Ÿ“กBGP Archaeology
How the Right QMS Can Improve Agent Performance and Customer Experience
dev.toยท1hยท
Discuss: DEV
๐ŸŒŠStream Processing
After a Week of Work, My Programming Language Hulo Adds Bash Transpiler and Package Management Tool
dev.toยท3dยท
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ยท6h
๐Ÿ“ŠLearned Metrics
Real-Time Communication-Aware Ride-Sharing Route Planning for Urban Air Mobility: A Multi-Source Hybrid Attention Reinforcement Learning Approach
arxiv.orgยท6h
๐Ÿง Machine Learning
DeSamba: Decoupled Spectral Adaptive Framework for 3D Multi-Sequence MRI Lesion Classification
arxiv.orgยท6h
๐Ÿ“ŠLearned Metrics
Feasibility of Energy Neutral Wildlife Tracking using Multi-Source Energy Harvesting
arxiv.orgยท6h
๐Ÿ“ปHomebrew Protocols
HOLa: Zero-Shot HOI Detection with Low-Rank Decomposed VLM Feature Adaptation
arxiv.orgยท6h
๐Ÿ“ŠLearned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap