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

pyjarrett.github.io53w53 weeks ago

Writing a Verified Postfix Calculator in Ada/Spark (opens in new tab)

Discussed on Hacker News, Lobsters, and r/programming

|

|

Feeds

✨ Discovered from this domain

pyj's blog pyjarrett.github.io

programming reddit.com

Is it the end of REST, gRPC, Thrift, SignalR and GraalVM?3d3 days ago

Designing TikTok: From a Feed That Scores Everything to a Two-Stage Engine3d3 days ago

OpenAI joins The Rust Foundation as a Platinun member and donates funds to support Rust maintenance3d3 days ago

+18 more in the past week

Lobsters lobste.rs

Robust Jobserver1h1 hour ago

Is AI ruining our skills? Early results are in — and they’re not good5h5 hours ago

Apple Internals: Swift in the Kernel7h7 hours ago

+13 more in the past day

Lobsters: Newest Stories lobste.rs

v26.06: Alpen Avocado1h1 hour ago

Robust Jobserver1h1 hour ago

Performance improvements in libffi2h2 hours ago

+14 more in the past day

progscrape progscrape.com

The risks of AI in schools outweigh the benefits, report says33m33 minutes ago

(How to Write a (Lisp) Interpreter (in Python))43m43 minutes ago

Is Big Tech Facing Its “Big Tobacco Moment”?1h1 hour ago

+66 more in the past day

Hacker News: Newest hnrss.org

Billionaire Tax Officially Heads to Nov. 3 Ballot26m26 minutes ago

Ask HN: Is Anyone Using Filtr?32m32 minutes ago

Rich Programmer Food35m35 minutes ago

+227 more in the past day

Hacker News: Newest hnrss.org

A Fast Attention Kernel for MI300X, Written in Hip, Not Assembly17m17 minutes ago

I want to spend more time on the internet20m20 minutes ago

Billionaire Tax Officially Heads to Nov. 3 Ballot26m26 minutes ago

+355 more in the past day

liate's Likes on Scour scour.ing

Lessons along the EndBOX journey52w52 weeks ago

Monads are not like burritos52w52 weeks ago

Abstraction boundaries are optimization boundaries53w53 weeks ago

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)