πŸŽ‰πŸŽ© Welcome to the 32-minute saga of "How to Pretend You're a Genius by Confusing #Rust and Everyone Else." Spoiler: it involves emulating HKTs, crashing #compilers, and invoking Curry-Howard theories just to sound smart. πŸš€πŸ’₯ Pro tip: when your argument starts resembling a mathematical fever dream, it’s time to reevaluate your life choices. πŸ€¦β€β™‚οΈ
https://www.harudagondi.space/blog/torturing-rustc-by-emulating-hkts/ #PretendGenius #CurryHoward #TechHumor #CodingLife #HackerNews #ngated
Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler β€” ramblings of @harudagondi

I just wanted higher kinded types. I borked the compiler instead.