Rohlang3: A point-free, homoiconic, and dependently typed "SK calculus" (rohan.ga) | HN Screenshots

YHacker Newsscreenshots

Screenshot of rohan.ga: Rohlang3: A point-free, homoiconic, and dependently typed "SK calculus"

First screen, captured 1 year ago.

Looks similar

Screenshot of odersky.github.io: Some Memories of Niklaus Wirth

Some Memories of Niklaus Wirth (odersky.github.io)

9 points by signa11 2 years ago | 0 comments

Screenshot of odersky.github.io: Some memories of Niklaus Wirth

Some memories of Niklaus Wirth (odersky.github.io)

197 points by gautamcgoel 2 years ago | 48 comments

Screenshot of blog.kenanb.com: Exploring x86-64 Instruction Encoding

Exploring x86-64 Instruction Encoding (blog.kenanb.com)

72 points by kenanb 2 years ago | 15 comments

Screenshot of rushter.com: Oh My Zsh adds bloat

Oh My Zsh adds bloat (rushter.com)

285 points by fla 9 months ago | 255 comments

Screenshot of dthompson.us: WASM GC isn't ready for realtime graphics

WASM GC isn't ready for realtime graphics (dthompson.us)

128 points by todsacerdoti 1 year ago | 71 comments

Screenshot of erikjohannes.no: Reconstructing Obsidian Features in Vim and Bash

Reconstructing Obsidian Features in Vim and Bash (erikjohannes.no)

65 points by wuldr 3 years ago | 30 comments