๐ฟ๏ธ 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
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
Show HN: AI Ancestry Test โ Free Ethnicity Prediction from Your Photos
attractivenesstest.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Performance Profiling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Happy Programmers' Day
govars.com
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Grimoire CSS - flexible utility class tool
grimoirecss.com
ยท
2d
ยท
Discuss:
Lobsters
,
Hacker News
๐น
Apache Arrow
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
How to Boost Your Productivity While Managing Multiple Projects
freeter.io
ยท
1d
ยท
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
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev
ยท
4d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Stay vs. Live: How Verb Choice Reveals Cultural Maps of Rootedness
zakelfassi.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Understanding Floating-Point Numbers
dennisforbes.ca
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Screen History MCP Server
newbry.bearblog.dev
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
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
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
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
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
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
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
Anthropic Economic Index: Tracking AI's role in the US and global economy
anthropic.com
ยท
13h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 18
โข
Page 20 »