๐ฟ๏ธ 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
Vinklu Turns Forgotten Plot in Bucharest Into Tiny Coffee Shop
design-milk.com
ยท
3h
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Lute: Python/Flask tool for learning foreign languages through reading
luteorg.github.io
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI False information rate for news nearly doubles in one year
newsguardtech.com
ยท
18h
ยท
Discuss:
Hacker News
๐
Time Series
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An Inline Cache Isn't Just a Cache
mgaudet.ca
ยท
4d
ยท
Discuss:
Hacker News
๐ง
Memory Management
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Advice to students in the age of AI: "always be competing"
jobsort.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tcpreplay โ Modify and Replay Packet Captures Back into the Network
thegraynode.io
ยท
2d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Cables Stuck Too Deep
gardnermcintyre.com
ยท
1h
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
International anarchy? Modern adoption of Hobbes's state of nature
frontiersin.org
ยท
3d
ยท
Discuss:
Hacker News
๐
Economic Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Writing a Good AI Image Prompt Isn't Hard, but You Need These Essential Elements
cnet.com
ยท
5h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Melanie Mitchell: Magical Thinking on AI
aiguide.substack.com
ยท
26m
ยท
Discuss:
Substack
๐
Economic Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Babies and LLMs
blog.karliner.net
ยท
3d
ยท
Discuss:
Hacker News
๐
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The productivity paradox of AI coding assistants
cerbos.dev
ยท
3d
ยท
Discuss:
Hacker News
,
r/programming
,
r/webdev
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev
ยท
5d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We engineered RAG to be 50% faster
elevenlabs.io
ยท
3d
ยท
Discuss:
Hacker News
๐
Query Engines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: HumbleOp โ A debate platform where every post ends in a one-on-one duel
news.ycombinator.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai
ยท
5d
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Lessons from handling timezone conversion in a global SaaS
news.ycombinator.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Timeseries
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building MCP servers with Docker: NetworkChuck's tutorial and starter kit
github.com
ยท
5h
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org
ยท
6d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We Spiral
behavioralscientist.org
ยท
1d
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 20
โข
Page 22 »