🐿️ 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
Correctness Proofs, Model Checking, Theorem Proving, Program Analysis
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Willy Messerschmitt – Experience in the design of metal aeroplanes (1943)
calum-douglas.com
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
Increased animal pollination during the Paleocene–Eocene thermal maximum
cambridge.org
·
23h
·
Discuss:
Hacker News
⚙️
Engineering
A late night obsession turned into a SaaS
poyashad.com
·
9h
·
Discuss:
Hacker News
🌐
HTMX
Careful Communication
blog.lyall.co
·
3d
·
Discuss:
Lobsters
🔐
Cryptography
Powerful tools inside a single Chrome extension
superdevpro.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
🌐
HTMX
Custom telescope mount using harmonic drives and ESP32
svendewaerhert.com
·
1d
·
Discuss:
Hacker News
📦
WebAssembly
QuantoniumOS: Unitary Resonance Fourier Transform + 48-round Feistel (open research, reproducible tests)
reddit.com
·
3d
·
Discuss:
r/programming
🔐
Cryptography
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com
·
5d
·
Discuss:
Hacker News
🔄
Compiler Design
Famulor AI – Voice AI platform for smarter phone communication
famulor.io
·
1d
·
Discuss:
Hacker News
🕸️
Service Mesh
I made Python uncrashable, it catches every exception
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Show HN: Spectre, a coding agent for llama.cpp servers
github.com
·
13h
·
Discuss:
Hacker News
📦
WebAssembly
Ask HN: What is the most effective way to unblur a QR code?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🌐
HTMX
Nexus: Securing MCP Tool Sprawl
grafbase.com
·
2d
·
Discuss:
Hacker News
🔍
eBPF
How I went from New-Grad to Staff in 5 years in FAANG
thomaskaratzas.substack.com
·
1d
·
Discuss:
Substack
🚢
DevOps
If agents are building your app, who gets the W-2?
vercel.com
·
2d
·
Discuss:
Hacker News
🚢
DevOps
Python isn't dead - despite funding cuts, programming language powers on
techradar.com
·
11h
·
Discuss:
r/programming
🔌
Network Programming
US gov seeks AI procurement using 'full user context and data access' chatbots
theregister.com
·
1d
·
Discuss:
Hacker News
🚢
DevOps
Storage at GPU Speed: Benchmarking Graid SupremeRAID AE for AI
storagereview.com
·
2d
·
Discuss:
Hacker News
⚡
Performance Engineering
Misago is fully featured modern forum that is fast/scalable/responsive
github.com
·
1d
·
Discuss:
Hacker News
📦
WebAssembly
Qwen-Image-Edit
huggingface.co
·
2d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🌐
HTMX
Loading...
Loading more...
« Page 22
•
Page 24 »