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

Interviewing your laptop
notstatschat.rbind.ioยท1d
๐Ÿ”Vector Forensics
Always Inadequate
newyorker.comยท6h
๐Ÿ”ฒCellular Automata
Simulating and Visualising the Central Limit Theorem
blog.foletta.netยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Bounds
He found a bomb under a playground - and there were 176 more
bbc.comยท1d
๐Ÿ”Tape Forensics
Show HN: AI Inbx โ€“ The Email Inbox for Your AI Agents (Free Beta)
aiinbx.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฐFeed Readers
The Stochastic Code Monkey Theorem
stephendiehl.comยท4d
๐Ÿ“Code Metrics
Creating AI agent solutions for warehouse data access and security
engineering.fb.comยท2d
๐Ÿ”Capability Systems
Interpretable Machine Learning Model for Early Prediction of Acute Kidney Injury in Critically Ill Patients with Cirrhosis: A Retrospective Study
arxiv.orgยท1d
๐Ÿง Machine Learning
VeriPHY: Physical Layer Signal Authentication for Wireless Communication in 5G Environments
arxiv.orgยท2d
๐ŸŒŠStream Ciphers
Harnessing AI's potential on the mainframe
techradar.comยท2d
๐ŸขIBM Mainframes
OpenAI's o3 model outperforms the newer GPT-5 model on complex, multi-app office tasks
the-decoder.comยท4h
๐Ÿ”„Archival Workflows
Deep Learning Enables Large-Scale Shape and Appearance Modeling in Total-Body DXA Imaging
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
Securing the supply chain at scale: Starting with 71 important open source projects
github.blogยท5dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
The Memory Architects - Chapter 11: The Infinite Garden
dev.toยท1dยท
Discuss: DEV
โฐTime Crystals
AI-powered cyberattacks have devastating potential โ€“ but governments can fight fire with fire
techradar.comยท1d
๐ŸŽฏThreat Hunting
Jumping into setting up a Homelab
reddit.comยท21hยท
Discuss: r/homelab
๐Ÿ HomeLab
AI-Driven Surrogate Modeling for Enhanced Thermal-Fluid-Structural Optimization of Multifunctional Heat Sinks
dev.toยท19hยท
Discuss: DEV
๐ŸŒComputational Topology
Using Large Language Models to Measure Symptom Severity in Patients At Risk for Schizophrenia
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Sub-field Selected: **Automated Protocol Generation for Cell-Free Protein Synthesis**
dev.toยท3dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Generating Feasible and Diverse Synthetic Populations Using Diffusion Models
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap