🐿️ 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
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
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
·
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
You and your employer are not monogamous; you're friends with benefits at best
alnewkirk.com
·
7m
·
Discuss:
Hacker News
📊
Economic Theory
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
Sharing what I learned about Rust functions and closures
blog.cuongle.dev
·
4d
·
Discuss:
Hacker News
,
r/rust
📏
Linear Types
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
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
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
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
Hosting a WebSite on a Disposable Vape
bogdanthegeek.github.io
·
12h
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
📮
Message Queues
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
·
15h
·
Discuss:
Hacker News
💻
Programming languages
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
Dicio: Open-Source Voice Assistant for Android
github.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Is a new AI paradigm based on raw electromagnetic waves feasible?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📈
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 19
•
Page 21 »