Hacker News: bramadityaw

Counterexamples in type systems (2021)

bramadityaw — Mon, 29 Jun 2026 13:20:41 +0000

Article URL: https://counterexamples.org/

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

Points: 60

# Comments: 4

Blade Language Server

bramadityaw — Mon, 11 May 2026 12:55:32 +0000

Article URL: https://github.com/bramadityaw/blase

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

Points: 2

# Comments: 0

New comment by bramadityaw in "Ask HN: What are you working on? (May 2026)"

bramadityaw — Mon, 11 May 2026 10:43:58 +0000

I am working on blase (https://github.com/bramadityaw/blase), a language server for Laravel's Blade templating language. This is a proof-of-concept project that I plan to make into a submodule inside a more general PHP language server.

From design patterns to category theory (2017)

bramadityaw — Thu, 04 Dec 2025 02:19:21 +0000

Article URL: https://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/

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

Points: 1

# Comments: 0

Episoden – Talk with English Speakers Online

bramadityaw — Mon, 01 Dec 2025 09:27:39 +0000

Article URL: https://www.episoden.com

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

Points: 1

# Comments: 0

New comment by bramadityaw in "Moss: a Rust Linux-compatible kernel in 26,000 lines of code"

bramadityaw — Fri, 28 Nov 2025 10:21:36 +0000

shouldn't this be a ShowHN?

New comment by bramadityaw in "Unofficial, rules-compliant, browser based Arkham Horror: The Card Game"

bramadityaw — Wed, 19 Nov 2025 11:45:24 +0000

Code is open source at https://github.com/halogenandtoast/ArkhamHorror

Made in Haskell btw.

Unofficial, rules-compliant, browser based Arkham Horror: The Card Game

bramadityaw — Wed, 19 Nov 2025 11:45:24 +0000

Article URL: https://arkhamhorror.app

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

Points: 4

# Comments: 2

New comment by bramadityaw in "The code and open-source tools I used to produce a science fiction anthology"

bramadityaw — Wed, 19 Nov 2025 01:59:58 +0000

typst FTW

New comment by bramadityaw in "Goto Considered Harmless"

bramadityaw — Tue, 18 Nov 2025 03:13:54 +0000

I consider this the official alternative title :)

New comment by bramadityaw in "Goto Considered Harmless"

bramadityaw — Tue, 18 Nov 2025 03:13:04 +0000

I admit that the example is contrived, and the control flow can be followed quite clearly because of the example's size. However, imagine that f and g is placed in different source files in a large project. That's what Dijkstra detests about arbitrary labels, in that a program's control flow is only obvious to the guy who first wrote it.

New comment by bramadityaw in "Goto Considered Harmless"

bramadityaw — Tue, 18 Nov 2025 03:02:15 +0000

My point is exactly that. C is a structured, procedural programming language that will only consider procedurally scoped labels. You can't execute it because it is not valid C that a standard compiler would accept, and we should be thankful because of that.