๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿฆ€ Rust Verification

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

Is Dfinity's Caffeine AI a wakeup call for application developers?
siliconangle.comยท13hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Adjustable Allen Key After All These Years
hackaday.comยท11h
โš™๏ธCassette Mechanics
Open Source Sustainability for fastn - FifthTry Launches Rust Consultancy
fastn.comยท4dยท
Discuss: Lobsters, Hacker News
๐Ÿ”ŒInterface Evolution
microsoft/magentic-ui
github.comยท3d
๐Ÿค–Archive Automation
AI Is a Mass-Delusion Event
theatlantic.comยท13hยท
Discuss: Lobsters, Hacker News
๐Ÿ”ฒCellular Automata
Specialist or Generalist?
hackernoon.comยท13h
๐ŸŽฏContent Recommendation
No More โ€œHow to Create Pytest HTML Reports or how to email test reports"
dev.toยท3dยท
Discuss: DEV
โšกProof Automation
Lightweight Attribute Localizing Models for Pedestrian Attribute Recognition
arxiv.orgยท1d
โšกZStandard
A Knowledge Graph Informing Soil Carbon Modeling
arxiv.orgยท1d
๐Ÿ“ŠGraph Databases
Quantum-Enhanced MOF Synthesis via Dynamic Crystalline Nucleation Control
dev.toยท9hยท
Discuss: DEV
โฐTime Crystals
Towards the Next-generation Bayesian Network Classifiers
arxiv.orgยท1d
๐Ÿง Machine Learning
Enhanced Ferrite Core Performance Prediction via Multi-Modal Data Fusion and Bayesian Optimization
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
DoJ seizes $2.8M linked to Zeppelin Ransomware
securityaffairs.comยท1d
๐Ÿดโ€โ˜ ๏ธPiracy
Feedback Indicators: The Alignment between Llama and a Teacher in Language Learning
arxiv.orgยท1d
โš™๏ธParser Generators
Day 1 of experimenting with open source (and I'm already confused)
dev.toยท22hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
What Two Years of Bootstrapping an AI Startup in India Taught Us
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
AI Models for Depressive Disorder Detection and Diagnosis: A Review
arxiv.orgยท6h
๐Ÿง Machine Learning
Omni Survey for Multimodality Analysis in Visual Object Tracking
arxiv.orgยท6h
๐Ÿ“Projective Geometry
Anatomic Feature Fusion Model for Diagnosing Calcified Pulmonary Nodules on Chest X-Ray
arxiv.orgยท6h
๐Ÿ“„OCR
Unveiling Chemically-Induced Tau Aggregation Resolution via Targeted Peptide Libraries and AI-Driven Screening
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Vector Forensics
Loading...Loading more...
AboutBlogChangelogRoadmap