🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Assembly Verification

Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly

IBM CPC945 Northbridge chip tech specs (Late 2005 Macs)
lowendmac.com·2d
🖥️Vintage Macintosh
A Gentle Introduction to Q-Learning
machinelearningmastery.com·3h
🔲Cellular Automata
Testing LLM Responses: A Fast, Cost-Effective Alternative to LLM-as-Judge
joywrites.dev·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Created a Go-specific alternative to LeetCode
medium.com·20h·
Discuss: r/golang
🔩Systems Programming
Winners Announced in 2025's 'International Obfuscated C Code Competition'
developers.slashdot.org·1d
📜Proof Carrying Code
3D Line Drawings
amritkwatra.com·16h·
Discuss: Hacker News
📟Terminal Physics
Every Visual Workflow Tool Is Just Excel for Developers Who Gave Up
medium.com·1d·
Discuss: Hacker News
📏Code Metrics
Best of use of small structured media enclosure
i.redd.it·6h·
Discuss: r/homelab
💽MiniDisc Technology
AI hallucinations will be solvable within a year (2024)
fortune.com·1d·
Discuss: Hacker News
🎙️Whisper
We spent weeks debugging a Kubernetes issue that ended up being a “default” config
reddit.com·2h·
Discuss: r/kubernetes
📦Container Security
Debugging Academia: What LaTeX Error Messages Teach Us About Surviving Peer Review
medium.com·1d·
Discuss: r/programming
📜Digital Philology
S3 Cleanup: It's Time for a Brain, Not Just a Timer
hackernoon.com·1d
🦀Rusty Databases
Reusing Shared Code Across Python Microservices with Poetry, Pip, and Docker
dev.to·1h·
Discuss: DEV
⚡gRPC
Python LeetCode 70: Climbing Stairs - (Easy)
dev.to·16h·
Discuss: DEV
📐Interval Arithmetic
AI-guided search uncovers new molecules for stronger, longer-lasting plastics
phys.org·4h
🌐Computational Topology
Classification of Psychiatry Clinical Notes by Diagnosis: A Deep Learning and Machine Learning Approach
arxiv.org·1d
🧠Machine Learning
“I think of analysts as data wizards who help their product teams solve problems”
towardsdatascience.com·4d
⚡Proof Automation
An Evolving Scenario Generation Method based on Dual-modal Driver Model Trained by Multi-Agent Reinforcement Learning
arxiv.org·11h
🔲Cellular Automata
Skip priors and add graph-based anatomical information, for point-based Couinaud segmentation
arxiv.org·11h
🧠Machine Learning
I built a collection of simple Python projects for beginners (CLI,GUI,Web,API)
github.com·17h·
Discuss: Hacker News
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap