πΏοΈ 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
Evidence of active sound production by a shark
royalsocietypublishing.org
Β·
4d
Β·
Discuss:
Hacker News
π¦
Rust
Beer lovers fall into two flavour camps β which one are you in?
nature.com
Β·
8h
Β·
Discuss:
Hacker News
π¦
WebAssembly
Do you miss the future? Mark Fisher interviewed
crackmagazine.net
Β·
1d
Β·
Discuss:
Hacker News
π
HTMX
Frequently Asked Questions β Emu68
pistorm.github.io
Β·
3d
Β·
Discuss:
Hacker News
β‘
Performance Engineering
Pet-Type: Commodore PET Horizontal Shootemup in C
retrogamecoders.com
Β·
6d
Β·
Discuss:
Hacker News
π
Compiler Design
Show HN: 5-Minute Timer That Runs in Background with Web Workers
5minutetimer.top
Β·
3d
Β·
Discuss:
Hacker News
ποΈ
Observability
AI "deadbots" are persuasive β and researchers say, they're primed for monetization
npr.org
Β·
2d
Β·
Discuss:
Hacker News
,
r/technews
π¦
Rust
The Native Speaker Myth in English Education in Japan
mainichi.jp
Β·
2d
Β·
Discuss:
Hacker News
βοΈ
Engineering
Trump Team Is Weighing Options to Extend Influence to Fed Banks
bloomberg.com
Β·
2d
Β·
Discuss:
Hacker News
,
r/Economics
π¦
Rust
The CDC quietly scaled back a surveillance program for foodborne illnesses
nbcnews.com
Β·
2d
Β·
Discuss:
Hacker News
π¦
Rust
Gemini API Billing Bug Causing Erroneous Charge for 'Image Generation'
discuss.ai.google.dev
Β·
3d
Β·
Discuss:
Hacker News
π¦
Rust
Congress's Technology Prerogatives
hollomancer.substack.com
Β·
4d
Β·
Discuss:
Substack
π
Cryptography
Inside the USAID Fire Sale
theatlantic.com
Β·
2d
Β·
Discuss:
Hacker News
πΈοΈ
Service Mesh
βLess Fun Than a Barrel of Crackersβ
johnmccoy.org
Β·
2d
Β·
Discuss:
Hacker News
π¦
Rust
Google says China-linked cyber operations targeted Southeast Asia diplomats
cnn.com
Β·
2d
Β·
Discuss:
Hacker News
πΈοΈ
Service Mesh
The kids are alright
bitecode.dev
Β·
5d
Β·
Discuss:
Hacker News
,
r/LLM
,
r/programming
π’
DevOps
Show HN: I built Mix β an opensource, local agent for multimodal tasks
github.com
Β·
4d
Β·
Discuss:
Hacker News
,
r/golang
π
HTMX
Accelerating life sciences research
openai.com
Β·
6d
Β·
Discuss:
Hacker News
π
Compiler Design
Optimizing FizzBuzz in Rust
github.com
Β·
5d
Β·
Discuss:
Lobsters
,
Hacker News
π¦
WebAssembly
Communicating Science, Not Magic
nature.com
Β·
3d
Β·
Discuss:
Hacker News
βοΈ
Engineering
Loading...
Loading more...
« Page 73
β’
Page 75 »