🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧠 Separation Logic
Memory Safety, Heap Analysis, Formal Verification, Pointer Reasoning
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
“I Consider Myself,” by Natan Last
newyorker.com
·
7h
⭐
Awesome lists
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Trying Out the Ptyxis Terminal Emulator
leo3418.github.io
·
1h
·
Discuss:
Hacker News
📟
Terminals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Welcome to the ‘papers, please’ internet
theverge.com
·
1d
·
Discuss:
Hacker News
🛡
Cybersecurity
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Curve of Binding Energy–I (1973)
newyorker.com
·
15h
·
Discuss:
Hacker News
🌡️
Preservation Physics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: AI Finance App for Sale – $19,999 Negotiable(SaaS, Ready-to-Deploy)
sideprojectors.com
·
1d
·
Discuss:
Hacker News
🎬
WebCodecs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Holes in the web
aeon.co
·
7h
·
Discuss:
Hacker News
🌍
Cultural Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Geopolitics and Open Source: KYM (Know Your Maintainers)
vulnerability.blog
·
3h
·
Discuss:
Hacker News
🦋
Format Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Linus Method: How we simiplifed RFC reviews
devashish.me
·
3d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Looking for Work and Community Resources
news.ycombinator.com
·
7h
·
Discuss:
Hacker News
🚀
Indie Hacking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
PR-03 at Hacktoberfest: Implementing a Credit Card Validator for Terraform Provider
dev.to
·
11h
·
Discuss:
DEV
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to
·
3d
·
Discuss:
DEV
🌊
Apache Kafka
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Upgrades people, Upgrades
reddit.com
·
50m
·
Discuss:
r/homelab
🔌
Operating system internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
End-to-end testing of Gen AI Apps
dev.to
·
2d
·
Discuss:
DEV
🔍
Concolic Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
English - the hottest programming language of the future
dev.to
·
2d
·
Discuss:
DEV
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On Estimation of Angles of Arrival in Monostatic ISAC Without Instantaneous Transmit CSI
arxiv.org
·
13h
ℹ️
Information Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Launching. Need feedback
dev.to
·
8h
·
Discuss:
DEV
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Unsure what to do as lab has grown
reddit.com
·
2d
·
Discuss:
r/homelab
🖥
Home Lab Setup
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Moving from Fortigate to OPNsense (reorganizing my Homelab)
reddit.com
·
2d
·
Discuss:
r/homelab
🏠
HomeLab
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Custom Conveyor: Building Your Own Iterators
dev.to
·
2d
·
Discuss:
DEV
🔄
Burrows-Wheeler
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to
·
1h
·
Discuss:
DEV
🎙️
Whisper
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 30
•
Page 32 »