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

ssh/RDP to home PC
noip.comยท16hยท
Discuss: r/homelab
๐Ÿ“กNetwork Protocol Design
In Defense of Describable Dating Preferences
astralcodexten.comยท1hยท
Discuss: Hacker News
๐ŸŽApple
Lying in Wait: Uncovering Hidden Threats in Open Source Software
striderintel.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆUnikernel Systems
A real PowerBook: the Macintosh Application Environment on a PA-RISC laptop
oldvcr.blogspot.comยท3dยท
Discuss: Lobsters, Hacker News
๐Ÿ’พRetro Computing
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.comยท5dยท
Discuss: Hacker News
๐Ÿ’พRetro Computing
A Global South Strategy for Evaluating Research Value with ChatGPT
arxiv.orgยท1d
๐Ÿ“กNetwork Protocol Design
Spatial Audio in a Hat
hackaday.comยท1d
๐ŸŽApple
Show HN: QuantumFlow Toolkit โ€“ An open-source framework hybrid quantum workflows
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฆUnikernel Systems
Embracing Transparency: A Study of Open Science Practices Among Early Career HCI Researchers
arxiv.orgยท10h
๐ŸŽฎVerification Games
Looking for GPU Cluster Engineer / Builder in South Florida โ€“ Help Launch AI Micro Data Center in Miami
reddit.comยท8hยท
Discuss: r/homelab
๐Ÿ HomeLab
RL from Teacher-Model Refinement: Gradual Imitation Learning for Machine Translation
arxiv.orgยท6d
๐ŸซOCaml
Indeed recruiter text scam: I responded to one of the "job" messages
slate.comยท1dยท
Discuss: Hacker News, r/Longreads
๐ŸŽApple
Toward the Autonomous AI Doctor: Quantitative Benchmarking of an Autonomous Agentic AI Versus Board-Certified Clinicians in a Real World Setting
arxiv.orgยท5d
๐Ÿ’ปCS
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.comยท6dยท
Discuss: Hacker News
๐Ÿ”ฌStatic Analysis
Information Rates of Approximate Message Passing for Bandlimited Direct-Detection Channels
arxiv.orgยท1d
๐Ÿ“กNetwork Protocol Design
Real-World Receptivity to Adaptive Mental Health Interventions: Findings from an In-the-Wild Study
arxiv.orgยท10h
๐ŸนEffect Systems
Novice homelabber looking for advice on another build after getting roasted
reddit.comยท21hยท
Discuss: r/homelab
๐Ÿ HomeLab
MCP Server for Interacting with the iOS Simulator
github.comยท2dยท
Discuss: Hacker News
๐ŸŽXNU Internals
Weakly Supervised Intracranial Aneurysm Detection and Segmentation in MR angiography via Multi-task UNet with Vesselness Prior
arxiv.orgยท2d
๐ŸซEmbedded OCaml
Agents Meet Databases: The Future of Agentic Architectures
thenewstack.ioยท4d
๐Ÿ›ก๏ธseL4
Loading...Loading more...
AboutBlogChangelogRoadmap