許 @haym@niu.moe

Did people really write compilers where the entire compiler was in parser generator rules

Congressman: Mr. Zuckerberg, are you aware that your company uses programming languages susceptible to the halting problem? Are you further aware that your infrastructure is built upon formal axiomatic systems in which some true statements cannot be proven?

Zuckerberg: [...]

I did "Ray Tracing in One Weekend", but in #Haskell

https://github.com/ahaym/ray

The problem with playing Burial at Sea before the original Bioshock is that the whole story just got spoiled

I got an AMD card for my new desktop, which is nice overall, since the open source drivers are nice. But I can't use CUDA, which is unfortunate.

Happy kawhi is going to the Clippers and not the Lakers, but now Sacramento has a super hard division

Also, find the dumbass mistake in this natural transformation

hint: runFreer (putTab (error "lmao") >> getTab) (interpIO true) == Map.empty

Currently running an NIH'd implementation of final-encoded freer monads in this toy project. I'm not even using extensible effects, but it's still a pretty convenient way of having multiple interpreters without a bunch of typeclass constraints in the signature. Maybe a bit overkill?

#haskell

(> s-expressions json)

Time to fly back to California, maybe I'll sit next to a 65 year old Node.js evangelist this time

Haskell really needs a const keyword

A 65 year old lady who sat next to me on the 13 hour SF->Sydney flight upon hearing I was a programmer told me I needed to go into "cloud, blockchain and AI" #SiliconValley

What a game, LFG Raptors!

I wish IO exceptions in #Haskell didn't feel so bolted on and unergonomic.