Skip to main content

ScourDiscover Docs

Discover About Docs Changelog

You are offline. Trying to reconnect...

Copied to clipboard

Unable to share or copy to clipboard

Back to article

jsiek.github.io65w65 weeks ago

A proof checker meant for education (opens in new tab)

Discussed on Hacker News

|

|

Feeds

Hacker News: Front Page hnrss.org

Encryption, spyware, and now Mythos: History shows why cyber export control doesn’t work1d1 day ago

Lithuanian startup launches open-source network to detect Shahed-type drones1d1 day ago

16-year-old SATA II SSD survives 1 petabyte of writes — 25x more than the drive's endurance rating1d1 day ago

+169 more in the past week

Pinboard (popular bookmarks) feeds.pinboard.in

L Ives6h6 hours ago

FardeemM: Notes on architecting the frontend for a billion dollar web app6h6 hours ago

How to Design Agentic Systems Around the Implicit Rules that Govern Your Company6h6 hours ago

+25 more in the past day

Hacker News: Front Page hnrss.org

Who Actually Owns Your ATProto Identity? Hint: It's Probably Not You1h1 hour ago

David Ahl's Basic Computer Games Ported to C3h3 hours ago

The 100 Greatest Bird Names of All Time3h3 hours ago

+34 more in the past day

Hacker News news.ycombinator.com

Links for the intellectually curious, ranked by readers.

Former Olympian denies vandalising Washington Reflecting Pool after arrest38m38 minutes ago

Who Actually Owns Your ATProto Identity? Hint: It's Probably Not You1h1 hour ago

Anthropic to Require ID Verification for Certain Capabilities Starting July 82h2 hours ago

+41 more in the past day

Hacker News: Newest hnrss.org

33 free financial calculators, all in the browser16m16 minutes ago

Xi: Microservices with built-in DI, compiled to a native binary16m16 minutes ago

The Scam Industry Is Booming [video][15 mins]27m27 minutes ago

+363 more in the past day

tiferrei's Likes on Scour scour.ing

Learning Regular Languages with RPNI Algorithm33w33 weeks ago

Lambda calculus: compiler, type inference, and evaluator in less than 100 LOC61w61 weeks ago

RISC Architecture Really Did Change Everything64w64 weeks ago

Popular Posts on Scour Today scour.ing

Now • Digital Garden of Travis Briggs4h4 hours ago

Tempted to go back to RSS but not really8h8 hours ago

Accept cookies or pay? No thanks15h15 hours ago

+2 more in the past day

Keyboard Shortcuts

Navigation

Next / previous post: j/k
Open post: oorEnter
Preview post: v

Post Actions

Love post: a
Like post: l
Dislike post: d
Undo reaction: u
Save / unsave: s

Recommendations

Add interest / feed: Enter
Not interested: x

Go to

Home: gh
Interests: gi
Feeds: gf
Likes: gl
History: gy
Changelog: gc
Settings: gs
Discover: gb
Search: /

Pagination

Next page: n
Previous page: p

General

Show this help: ?
Submit feedback: !
Close modal / unfocus: Esc

Press ? anytime to show this help

Docs Blog (opens in new tab)Changelog Roadmap (opens in new tab)