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

Light Versus Light: The Secret Physics Battle That Could Rewrite the Rules
scitechdaily.comยท7h
โฐTime Crystals
The vibe vulnerability
aardvark.co.nzยท1d
๐Ÿ”“Hacking
Compressed Sensing
en.wikipedia.orgยท15hยท
Discuss: Hacker News
๐Ÿ“Compression Mathematics
Vibe coding platform allowed access to private apps
wiz.ioยท2hยท
Discuss: Hacker News
๐Ÿ›ก๏ธARM TrustZone
Playing with more user-friendly methods for multi-factor authentication
tesseral.comยท19hยท
Discuss: Hacker News
๐Ÿ”PKI Archaeology
LLVM integrated assembler: Engineering better fragments
maskray.meยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿš€Compiler Optimizations
Kernel
web.cs.wpi.eduยท5dยท
Discuss: Lobsters, Hacker News, Hacker News, r/programming
๐Ÿ’งLiquid Types
AI coding agent is a spy
unknwon.ioยท1dยท
Discuss: Hacker News
๐Ÿฆ Malware Analysis
Using Claude Code Off-Label: Research Instead of Coding
random.restยท1dยท
Discuss: Hacker News
๐Ÿ›Digital humanities
Rethinking Few Shot CLIP Benchmarks: A Critical Analysis in the Inductive Setting
arxiv.orgยท13h
๐Ÿ“ŠCount-Min Sketch
Deep Generative Models of Evolution: SNP-level Population Adaptation by Genomic Linkage Incorporation
arxiv.orgยท13h
๐ŸงฎKolmogorov Bounds
Free Energy-Inspired Cognitive Risk Integration for AV Navigation in Pedestrian-Rich Environments
arxiv.orgยท13h
๐Ÿ”ฒCellular Automata
Investigating Structural Pruning and Recovery Techniques for Compressing Multimodal Large Language Models: An Empirical Study
arxiv.orgยท13h
๐Ÿง Machine Learning
RoD-TAL: A Benchmark for Answering Questions in Romanian Driving License Exams
arxiv.orgยท13h
๐Ÿค–Automated Parsing
CLEAR: Unlearning Spurious Style-Content Associations with Contrastive LEarning with Anti-contrastive Regularization
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
Building the Future: Design & Implementation of a Secure NFT Marketplace dApp
hackernoon.comยท14h
๐ŸŒณArchive Merkle Trees
Top 20 Rising GitHub Projects with the Most Stars in 2025
dev.toยท6hยท
Discuss: DEV
๐Ÿ”“Open Source Software
Knowledge Grafting: A Mechanism for Optimizing AI Model Deployment in Resource-Constrained Environments
arxiv.orgยท1d
๐Ÿ“ŠQuantization
Why I Chose the Apache 2 License for Our Go-Based Data Engine? Decision and Reasons
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ”ŒInterface Evolution
How I Connected Claude to Maven Central (And Why You Should Too)
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Topological Sorting
Loading...Loading more...
AboutBlogChangelogRoadmap