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

TLA+, Model Checking, Safety Properties, Specifications

I (a software engineer) tried to learn basic electronics by building fireflies 🤓
a64.in·3d·
Discuss: r/programming
💾Retro Computing
The String Theory [David Foster Wallace, 1996]
esquire.com·1d·
Discuss: Hacker News
➡️Category Theory
The Charm of ASCII Smileys:-)
adele.pages.casa·1h·
Discuss: Hacker News
🍎Apple
RailsConf workshop recording and Ruby Friends v1.2
masilotti.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
How filter pushdown works
materialize.com·4d·
Discuss: Lobsters, Hacker News
🛡️seL4
Show HN: WanVideo – Wan 2.2 AI Video Generation
wanvideo.tv·13h·
Discuss: Hacker News
🤖Program Synthesis
Book review: Apple in China by Patrick McGee
lapcatsoftware.com·9h·
Discuss: Hacker News
🍎Apple
Apple security bounties pay up to $2M, but it only paid $1k for a critical bug
9to5mac.com·1d
🍎Apple
Tim Cook holds company-wide meeting to address Apple’s AI woes
9to5mac.com·1h
🍎Apple
Have you tried turning it on?
i.redd.it·1d·
Discuss: r/homelab
💾Retro Computing
Seeing with Your Ear: A Humble Experiment in AI, Depth, and Spatial Sound
medium.com·15h·
Discuss: Hacker News
🍎Apple
Recovering Diagnostic Value: Super-Resolution-Aided Echocardiographic Classification in Resource-Constrained Imaging
arxiv.org·18h
🐫Embedded OCaml
MOR-VIT: Efficient Vision Transformer with Mixture-of-Recursions
arxiv.org·2d
🐫Embedded OCaml
ylmmcl at Multilingual Text Detoxification 2025: Lexicon-Guided Detoxification and Classifier-Gated Rewriting
arxiv.org·4d
➡️Category Theory
Are we building AI coding assistants wrong?
news.ycombinator.com·4d·
Discuss: Hacker News
⚙️PL Implementation
dson: A delta-based CRDT implementation in Rust
github.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Ultra-Low-Latency Edge Inference for Distributed Sensing
arxiv.org·3d
👁️System Observability
EMBRACE: Shaping Inclusive Opinion Representation by Aligning Implicit Conversations with Social Norms
arxiv.org·3d
🎮Verification Games
VizGenie: Toward Self-Refining, Domain-Aware Workflows for Next-Generation Scientific Visualization
arxiv.org·2d
📦Unikernel Systems
Efficacy of AI RAG Tools for Complex Information Extraction and Data Annotation Tasks: A Case Study Using Banks Public Disclosures
arxiv.org·2d
✓Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap