🐿️ 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

One dead and 20 injured as train collides with vehicle in Denmark
the-independent.com·6h
✅Format Verification
Interviewing your laptop
notstatschat.rbind.io·1d
🔍Vector Forensics
Always Inadequate
newyorker.com·4h
🔲Cellular Automata
Behind the Scenes: CI and CD with this Web Site and Blog
matttproud.com·4d
🦋Format Metamorphosis
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
The Stochastic Code Monkey Theorem
stephendiehl.com·4d
📏Code Metrics
WeirdML Benchmark v2
htihle.github.io·5d·
Discuss: Hacker News
⚡Performance Mythology
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
Learning Go / Eventually getting employed an issue for entry level?
reddit.com·2d·
Discuss: r/golang
🧠Lisp Dialects
Harnessing AI's potential on the mainframe
techradar.com·2d
🏢IBM Mainframes
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·4d·
Discuss: Hacker News
🔓Open Source Software
The Memory Architects - Chapter 11: The Infinite Garden
dev.to·1d·
Discuss: DEV
⏰Time Crystals
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·6d·
Discuss: r/golang
🧠Lisp Dialects
AI-Driven Surrogate Modeling for Enhanced Thermal-Fluid-Structural Optimization of Multifunctional Heat Sinks
dev.to·17h·
Discuss: DEV
🌐Computational Topology
Using Large Language Models to Measure Symptom Severity in Patients At Risk for Schizophrenia
arxiv.org·1d
🎙️Whisper
Complex behaving Hardware with CircuitPython - Part I
hackster.io·4d
⚡Circuit Design
Generating Feasible and Diverse Synthetic Populations Using Diffusion Models
arxiv.org·2d
🔲Cellular Automata
Is AI Replacing Developers? The Role of Code Generators in 2025
dev.to·2d·
Discuss: DEV
📏Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap