🐿️ 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 Methods
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Microsoft game workers call out company over Israeli military ties
gamefile.news
·
14h
·
Discuss:
Hacker News
🌐
Distributed systems
Show HN: NoCV – a job platform helping students find part-time work without CVS
nocv.uk
·
2d
·
Discuss:
Hacker News
🧩
Microservices
Ukrainian Hackers Breach Major Russian Security Service Provider
militarnyi.com
·
3d
·
Discuss:
Hacker News
🔐
Security Patterns
Steve Wozniak on fighting internet scams
cbsnews.com
·
3d
·
Discuss:
Hacker News
🔐
Security Patterns
Prediction markets could create a missing incentive for climate action
santiag0m.github.io
·
2d
·
Discuss:
Hacker News
🧩
Microservices
What I learned spending $851 on Reddit Ads
successfulsoftware.net
·
3d
·
Discuss:
Hacker News
🚀
Query Engines
Data Shows Only 12% of Ethereum, 25% of Solana Protocols Have Revenue
coindesk.com
·
4d
·
Discuss:
Hacker News
📈
Timeseries
Reverse Proxy Deep Dive: Why Load Balancing at Scale is Hard
startwithawhy.com
·
6d
·
Discuss:
Hacker News
,
Hacker News
,
r/devops
,
r/programming
🌐
Distributed systems
Phil Knight gives 2B for cancer research
forbes.com
·
16h
·
Discuss:
Hacker News
🌐
Edge Computing
Encryption made for police and military radios may be easily cracked
arstechnica.com
·
6d
·
Discuss:
r/privacy
🔐
Security Patterns
Dual-Crypt – Working AES+RSA Encryption Between Java Spring Boot and React/JS
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
📦
Data Serialization
Steam payment headaches grow as PayPal is no longer usable for much of the world
pcgamer.com
·
1d
·
Discuss:
Hacker News
📊
Performance Profiling
Diffusion Language Models Are Super Data Learners
jinjieni.notion.site
·
5d
·
Discuss:
Hacker News
,
Hacker News
📈
Time Series ML
Young Australian hospitalised after ChatGPT use
abc.net.au
·
3d
·
Discuss:
Hacker News
📈
Time Series ML
Go 1.25 is released
go.dev
·
3d
·
Discuss:
Hacker News
💻
Programming languages
How a once-tiny research lab helped Nvidia become a $4 trillion-dollar company
techcrunch.com
·
3d
·
Discuss:
Hacker News
🌐
Distributed systems
Mellanox, Nvidia, and the GPU Era
procurefyi.substack.com
·
3d
·
Discuss:
Substack
🌐
Distributed systems
FedRAMP government cloud software approvals double under new program
theregister.com
·
3d
·
Discuss:
Hacker News
🧩
Microservices
Breaking through the Senior Engineer ceiling
incident.io
·
5d
·
Discuss:
Hacker News
📊
Performance Profiling
Streamline CUDA-Accelerated Python Install and Packaging Workflows with Wheel Variants
developer.nvidia.com
·
2d
·
Discuss:
Hacker News
🏹
Apache Arrow
Loading...
Loading more...
« Page 68
•
Page 70 »