๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ฎ Proof Search

Automated Reasoning, Tactic Languages, Resolution, Unification

Opportunity knocks: getting your house in order for the AI action plan
techradar.comยท11h
๐ŸŒŠStream Processing
Internationalization-check: Validating your Next.js internationalization
lingual.devยท3hยท
Discuss: Hacker News
โœ…Format Verification
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.comยท1dยท
Discuss: Hacker News
๐Ÿ“‹DFDL
From 0โ†’โˆž: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.ioยท7hยท
Discuss: Hacker News
๐ŸงญContent Discovery
Predicting Faulty Validations in Cluster Issue Detection: A ML Approach - DevConf.CZ 2025
youtube.comยท17h
๐Ÿ“Code Metrics
Using Amazon SageMaker AI Random Cut Forest for NASAโ€™s Blue Origin spacecraft sensor data
aws.amazon.comยท9h
๐ŸŒ€Differential Geometry
An ab initio foundation model of wavefunctions that accurately describes chemical bond breaking
arxiv.orgยท21h
๐Ÿ•ธ๏ธTensor Networks
The Bitter Lesson is coming for Tokenization
lucalp.devยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Monadic Parsing
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.orgยท21h
๐Ÿง Intelligence Compression
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.orgยท21h
โšกIncremental Computation
Flame Graph Performance Truth Analysis๏ผˆ1750918443851900๏ผ‰
dev.toยท19hยท
Discuss: DEV
โšกPerformance Tools
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.toยท5hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Exploring High Efficiency Web Analysis Results๏ผˆ1750876031390300๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
From expected to actual: Kotlin doesn't reinvent, it reuses ๐Ÿ”„
dev.toยท1hยท
Discuss: DEV
๐Ÿ’งLiquid Types
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.orgยท21h
๐Ÿ“ƒManuscript Tokenization
LangChain vs. TLRAG: A Comparative Analysis for Investors
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Machine Learning Fundamentals: adam optimizer
dev.toยท10hยท
Discuss: DEV
๐Ÿ“ŠQuantization
MMSearch-R1: Incentivizing LMMs to Search
arxiv.orgยท21h
๐Ÿ”BitFunnel
A Principled Approach to Randomized Selection under Uncertainty
arxiv.orgยท1d
๐ŸŒธBloom Variants
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.orgยท2dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Loading...Loading more...
AboutBlogChangelogRoadmap