๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ‘๏ธ Constructive OCR

Proof-carrying Recognition, Verified Text Processing, Type-safe Parsing

Intel: SoftBank's Optimism Can't Mask Fundamental Weaknesses
seekingalpha.comยท9h
๐ŸงชHardware Fuzzing
The theorem on formal functions
math.columbia.eduยท4d
โš”๏ธLean Theorem
Micro Lab! Self-contained cluster for Air-gapped Platform Engineering
reddit.comยท21hยท
Discuss: r/homelab
๐Ÿ HomeLab
Our principles on AI
piccalil.liยท2d
๐ŸŽ›๏ธFeed Filtering
OpenAI Launches $4.6 Budget AI Subscription Tier in India
slashdot.orgยท1d
๐Ÿ”ŒArchive APIs
Documenting Code is boring โ€ฆ.but it doesnโ€™t have to be
medium.comยท2dยท
Discuss: r/programming
โฑ๏ธInterval Archives
Po-Shen Loh on Building Thoughtfulness, Empathy, and Strong Networks in AI Era
toolong.linkยท15hยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
Analysis of the Compaction Behavior of Textile Reinforcements in Low-Resolution In-Situ CT Scans via Machine-Learning and Descriptor-Based Methods
arxiv.orgยท2d
๐ŸŒ€Differential Geometry
Will AI Destroy the World Wide Web?
cacm.acm.orgยท1d
๐Ÿ”ฒCellular Automata
Quantization vs Pruning: Insights from the Strong Lottery Ticket Hypothesis
arxiv.orgยท2d
๐Ÿ“ŠQuantization
Get information about doubao ai!
dev.toยท3hยท
Discuss: DEV
๐Ÿค–AI Curation
Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
Retrieval-augmented reasoning with lean language models
arxiv.orgยท2d
๐ŸŒ€Brotli Internals
High-Throughput Bispecific Antibody Screening via Microfluidic-Assisted Affinity Maturation
dev.toยท2dยท
Discuss: DEV
โ˜•Precision Brewing
Optimal Condition for Initialization Variance in Deep Neural Networks: An SGD Dynamics Perspective
arxiv.orgยท1d
๐Ÿง Machine Learning
Bridging Human and LLM Judgments: Understanding and Narrowing the Gap
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Chinese Room vs. SupatMod Experiment 1/7 (Claude, Mar 12-13, 2025)
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ‘‚Audio Evidence
Real-Time Anomaly Detection in Semiconductor Wafer Inspection via Multi-Modal Fusion & HyperScore Validation
dev.toยท4dยท
Discuss: DEV
๐Ÿ’ฟOptical Forensics
A Dual-Attention Graph Network for fMRI Data Classification
arxiv.orgยท8h
๐ŸŒ€Differential Geometry
Cardboard One-Stroke Plotter
hackster.ioยท2d
๐Ÿ“ŸTerminal Physics
Loading...Loading more...
AboutBlogChangelogRoadmap