🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Formal Verification
TLA+, Model Checking, Safety Properties, Specifications
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 31
•
Page 33 »