YHacker Newsscreenshots

rdivyanshu.github.io on Hacker News

2 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of rdivyanshu.github.io: Streams, Calculational Proofs and Dafny

Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)

28 points by misonic 2 years ago | 4 comments

Screenshot of rdivyanshu.github.io: Drawing hat tiling using Racket

Drawing hat tiling using Racket (rdivyanshu.github.io)

54 points by g0xA52A2A 3 years ago | 6 comments