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

Good Riddance Teespring, Hello Fourthwall
troyhunt.com·16h
🍎Apple
India: Income Tax Bill allows officials to forcibly access social media, email
thehindu.com·8h·
Discuss: Hacker News
📡Network Protocol Design
The world is awful. The world is much better. The world can be much better
ourworldindata.org·15h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Windows Subsystem for Android
learn.microsoft.com·1d·
Discuss: Hacker News
🔬Unikernels
CEO of Ghost CMS silenced an independent publication that dared to criticize
forum.ghost.org·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reinforcement Learning with Nvidia NeMo-RL
nvidia-nemo.github.io·2d·
Discuss: Hacker News
📦Unikernel Systems
I was tired of struggling to find a good apartment in NYC, so I built a free tool that finds the most undervalued apartments to buy/rent in NYC, helping me buy ...
realerestate.org·1d·
Discuss: Hacker News, r/InternetIsBeautiful
🍎Apple
Show HN: Souko.ai – Web scraping, search and extraction APIs for AI workflows
souko.ai·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Create a Local IMDB MCP Server in Python
mkaz.blog·2d·
Discuss: Hacker News
🛡️seL4
Building a Dumber Team
dandreamsofcoding.com·2d·
Discuss: Hacker News
🎮Verification Games
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·4d·
Discuss: Hacker News
🎮Verification Games
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·4d·
Discuss: Hacker News
🔤DSLs
eslint-config-prettier npm package compromised
stepsecurity.io·3d·
Discuss: Hacker News
📦Unikernel Systems
My Budget DIY Mini Lab
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Another massive security snafu hits Microsoft, but don't expect it to stick
theregister.com·4h·
Discuss: Hacker News
👁️System Observability
Under-qualified sysadmin crashed Amazon.com for 3 hours with a typo
theregister.com·17h·
Discuss: Hacker News
❄️Nixified Development
Using AI in the Development of Stdlib
blog.stdlib.io·3d·
Discuss: Hacker News
👁️System Observability
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
Robust Beamforming Design for Secure Near-Field ISAC Systems
arxiv.org·3d
🐫OCaml
AortaDiff: Volume-Guided Conditional Diffusion Models for Multi-Branch Aortic Surface Generation
arxiv.org·20h
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap