๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

A ton of IPv6 innovations in AWS
blog.james.rcpt.toยท18h
๐ŸŒIPFS
Video: A look at Kgeotag on FreeBSD
discoverbsd.comยท1d
๐Ÿ”ŒOperating system internals
Updated Stacks Project
math.columbia.eduยท1h
๐ŸŒณPersistent Data Structures
Issuing TLS Certificates in Go
getpid.devยท3dยท
Discuss: r/golang
๐Ÿ”Certificate Analysis
I don't want AI writing creative content, but what about docs?
useskald.comยท2dยท
Discuss: Hacker News
๐ŸŒฑPersonal Wikis
OpenAI just announced something big, but it's not GPT-5
techradar.comยท1h
๐Ÿ”“Open Source Software
Someone on GitHub filed a bug report against reality, says P=NP cause causality
github.comยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Whoโ€™s to blame when AI agents mess up? We urgently need a new system of ethics
nature.comยท1d
๐Ÿ”ฒCellular Automata
Why tech is racing to adopt AI coding
theverge.comยท1d
๐Ÿ–ฅ๏ธTerminal Renaissance
These centuries-old equations predict flowing fluid โ€“ until they donโ€™t
newscientist.comยท2h
๐Ÿ“Mathematical Art
Cycode Delivers AI Agent to Assess How Exploitable Vulnerabilities Are
devops.comยท6h
๐Ÿ“Code Metrics
Briefly explained: What's behind the buzzword AI agents
heise.deยท1d
๐ŸŽ™๏ธWhisper
MacOS Under Attack: How Organizations Can Counter Rising Threats
darkreading.comยท1d
๐Ÿ”“Hacking
Identifying actionable driver mutations in lung cancer using an efficient Asymmetric Transformer Decoder
arxiv.orgยท16h
๐Ÿ”Vector Forensics
Iโ€™m thinking of building a comparison tool based on AI... you find this useful?
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Error estimates of linear decoupled structure-preserving incremental viscosity splitting methods for the Cahn--Hilliard--Navier--Stokes system
arxiv.orgยท16h
๐ŸŽฏPerformance Proofs
UrBLiMP: A Benchmark for Evaluating the Linguistic Competence of Large Language Models in Urdu
arxiv.orgยท16h
๐ŸŒ€Brotli Dictionary
Rein++: Efficient Generalization and Adaptation for Semantic Segmentation with Vision Foundation Models
arxiv.orgยท16h
๐Ÿ“ŠLearned Metrics
The Mind of Frontier: Deep-Dive on AI Researcher Mental Health "O3-Pro" Analysis
lightcapai.medium.comยท1dยท
Discuss: Hacker News, r/programming
๐Ÿง Intelligence Compression
Machine Learning Fundamentals: loss function example
dev.toยท3dยท
Discuss: DEV
๐Ÿ“Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap