๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Bangladesh tribunal indicts ousted Prime Minister Hasina over deaths of protesters
the-independent.comยท1h
๐ŸšจIncident Response
Skills useful to learn for robotics engineering
newsletter.pragmaticengineer.comยท1d
๐Ÿ“ŠQuantization
AI Programming Paradigms: A Timeline
kau.shยท1d
โšกProof Automation
Show HN: YUPE โ€“ AI-powered app that removes language barriers from restaurants
yupe.appยท11hยท
Discuss: Hacker News
๐ŸงฎAlgorithmic Cooking
Part of a Los Angeles tunnel collapses, possibly trapping workers inside
the-independent.comยท5h
๐Ÿ“Text Compression
Cats irritate reasoning models: Study rehearses attack
heise.deยท2d
๐ŸŒณContext free grammars
Google's AI video tool amplifies fears of an increase in misinformation
aljazeera.comยท3hยท
Discuss: Hacker News
๐Ÿ“ฐContent Curation
Eval AI jobs new market for Mercor
gardinercolin.comยท8hยท
Discuss: Hacker News
๐Ÿ”BitFunnel
Show HN: Agentic AI for Procurement
ubiai.toolsยท1dยท
Discuss: Hacker News
โšกProof Automation
Exploring ways to make async Rust easier
carllerche.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Coding with AI agents using the Breadcrumb Protocol
dasith.meยท4dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
[D] Need to retrain DL model trained on 2M images
reddit.comยท9hยท
Discuss: r/MachineLearning
๐Ÿค–Paleographic ML
Pseudoc โ€“ compile pseudocode (or any other code) to native executables using AI
github.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
SARA: Selective and Adaptive Retrieval-augmented Generation with Context Compression
arxiv.orgยท1d
โš™๏ธCompression Benchmarking
AWS Weekly Roundup: Amazon Bedrock API Keys, Amazon Nova Canvas virtual try-on, and more (July 7, 2025)
aws.amazon.comยท2d
๐ŸŒŠStreaming Systems
MODA: MOdular Duplex Attention for Multimodal Perception, Cognition, and Emotion Understanding
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Pose-Star: Anatomy-Aware Editing for Open-World Fashion Images
arxiv.orgยท2d
๐Ÿค–Advanced OCR
Taming Data Challenges in ML-based Security Tasks: Lessons from Integrating Generative AI
arxiv.orgยท1d
๐Ÿ”คCharacter Classification
Entropy stable conservative flux form neural networks
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
PointVDP: Learning View-Dependent Projection by Fireworks Rays for 3D Point Cloud Segmentation
arxiv.orgยท6h
๐Ÿ“ŠComputational Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap