🐿️ 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
Models of European Metro Stations
stations.albertguillaumes.cat
·
1d
·
Discuss:
Hacker News
📏
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Off-Grid Boat Data with Signal K and Meshtastic
signalk.org
·
1d
·
Discuss:
Hacker News
🌊
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
New hollow-core fibres break a 40-year limit on light transmission
physicsworld.com
·
1d
·
Discuss:
Hacker News
🌐
Edge Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Defending Amateur Radio Spectrum: The AST SpaceMobile Battle Continues
openresearch.institute
·
15h
·
Discuss:
Hacker News
🧩
Microservices
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
If my kids excel, will they move away?
jeffreybigham.com
·
1d
·
Discuss:
Hacker News
📊
Economic Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Happy Programmers' Day
govars.com
·
21h
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Old norse roots of English words
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to Boost Your Productivity While Managing Multiple Projects
freeter.io
·
21h
·
Discuss:
Hacker News
🌊
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Six Years of Admiral Shark's Keyboards
sharktastica.co.uk
·
2d
·
Discuss:
Hacker News
🚀
Query Engines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org
·
4d
·
Discuss:
Hacker News
,
r/javascript
,
r/node
🔐
Security Patterns
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Only Skill That Matters Now
worksonmymachine.ai
·
20h
·
Discuss:
Hacker News
🧠
Memory Management
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ask HN: The quiet demolition of self‑learned skill
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Beyond the surface - Exploring attacker persistence strategies in Kubernetes
raesene.github.io
·
3d
·
Discuss:
Hacker News
🔐
Security Patterns
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Becoming an algorithmic problem: Resistance in the age of predictive technology
transformingsociety.co.uk
·
2d
·
Discuss:
Hacker News
📈
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Visualising Topology Inspired Computing Algorithms
antifold.com
·
5d
·
Discuss:
Hacker News
🌐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Using Linters to Direct Agents
factory.ai
·
5d
·
Discuss:
Hacker News
📏
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN
github.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai
·
4d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Hosting a WebSite on a Disposable Vape
bogdanthegeek.github.io
·
7h
·
Discuss:
Lobsters
,
Hacker News
📮
Message Queues
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why OpenAI’s solution to AI hallucinations would kill ChatGPT tomorrow
theconversation.com
·
2d
·
Discuss:
Hacker News
📈
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 17
•
Page 19 »