๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

Counterintuitive coin flips
mathspp.comยท4d
๐Ÿ”ฒCellular Automata
Italian hotels breached for tens of thousands of scanned IDs
malwarebytes.comยท1d
๐Ÿ”คEBCDIC Privacy
Designing for Functional Safety: A Developer's Introduction
events.bizzabo.comยท2d
๐Ÿ›ก๏ธError Boundaries
ChatGPT could be ruining our lives โ€“ and not in the way you think
the-independent.comยท11h
๐Ÿ”“Hacking
AABB Tree Shootout
slembcke.netยท4dยท
Discuss: Hacker News
๐ŸŒฒB-tree Variants
How we made our streaming joins 50% faster
blog.epsiolabs.comยท4dยท
Discuss: Hacker News
๐ŸงฌPostgreSQL Forensics
Fastanime v3 (Terminal Anime Media Manager)
reddit.comยท2dยท
Discuss: r/linux
๐Ÿ“ŸTerminals
Scientists Create New Magnetic State: The Magneto-Ionic Vortex (โ€œVortionโ€)
scitechdaily.comยท11h
๐ŸงฒMagnetic Recording
What Is the Electric Constant and Why Should You Care?
wired.comยท5h
๐ŸŒก๏ธPreservation Physics
How to Spot Profitable B2B AI Opportunities (That Developers Often Overlook)
dev.toยท7hยท
Discuss: DEV
๐ŸงญContent Discovery
The Rise of Specialized AI Agents: How to Architect, Deploy, and Manage Them on AWS
dev.toยท3dยท
Discuss: DEV
๐Ÿ Homelab Orchestration
From Black Box to Transparency: Enhancing Automated Interpreting Assessment with Explainable AI in College Classrooms
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
CRISP: Contrastive Residual Injection and Semantic Prompting for Continual Video Instance Segmentation
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Smart Data Sync Agent
dev.toยท2dยท
Discuss: DEV
๐Ÿ Homelab Orchestration
AI-Driven Surrogate Modeling for Enhanced Thermal-Fluid-Structural Optimization of Multifunctional Heat Sinks
dev.toยท1dยท
Discuss: DEV
๐ŸŒComputational Topology
MoSSDA: A Semi-Supervised Domain Adaptation Framework for Multivariate Time-Series Classification using Momentum Encoder
arxiv.orgยท4d
๐Ÿง Machine Learning
Dynamic Semantic Command Understanding via Graph-Augmented Reasoning and Reinforcement Learning
dev.toยท4dยท
Discuss: DEV
๐Ÿ”—Constraint Handling
Golang Meets AWS: Cloud Integration Magic โœจ
dev.toยท2dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Making New Languages Click with LLMs
dev.toยท5dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Rethinking Tokenization for Rich Morphology: The Dominance of Unigram over BPE and Morphological Alignment
arxiv.orgยท4d
๐Ÿ“‹Document Grammar
Loading...Loading more...
AboutBlogChangelogRoadmap