niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

Streams, Calculational Proofs and Dafny

Article URL: https://rdivyanshu.github.io/posts/2024/08/streams-calculation-proof-and-dafny.html

Comments URL: https://news.ycombinator.com/item?id=41178596

Points: 6

# Comments: 0

https://rdivyanshu.github.io/posts/2024/08/streams-calculation-proof-and-dafny.html

Created 6mo | Aug 7, 2024, 8:10:18 AM


Login to add comment

Other posts in this group

AI by Hand Exercises in Excel
AI by Hand Exercises in Excel

Article URL: https://github.com/ImagineAILab/ai-by-hand-excel

Comments URL:

Feb 7, 2025, 9:10:22 AM | Hacker news
HTML whitespace is broken (2024)
HTML whitespace is broken (2024)

Article URL: https://blog.dwac.dev/posts/html-whitespace/

Comments URL: ht

Feb 7, 2025, 9:10:21 AM | Hacker news
Announcing the data.gov archive
Announcing the data.gov archive

Article URL: https://lil.law.harvard.edu/blog/2025/02/06/announcing-data-gov-archive/

Comments URL:

Feb 7, 2025, 9:10:21 AM | Hacker news
Donald Knuth's 2024 Christmas Lecture: Strong and Weak Components [video]
Donald Knuth's 2024 Christmas Lecture: Strong and Weak Components [video]
Feb 7, 2025, 9:10:19 AM | Hacker news
How does life happen when there's barely any light?
How does life happen when there's barely any light?

Article URL: https://www.quantamagazine.org/how-does-life-happen-when-theres-barely-any-light-2

Feb 7, 2025, 9:10:18 AM | Hacker news
Blocking the telemetry of Adobe apps
Blocking the telemetry of Adobe apps

Article URL: https://a.dove.isdumb.one/list.txt

Comments URL: https://news.ycombinat

Feb 7, 2025, 9:10:18 AM | Hacker news
AI-generated Answers experiment on Stack Exchange sites
AI-generated Answers experiment on Stack Exchange sites

Article URL: https://meta.stackexchange.com/questions/406

Feb 7, 2025, 6:40:18 AM | Hacker news
Techie
Techie