Viewing profile — s-zeng

I've really enjoyed playing around with https://github.com/markqvist/nomadnet and the reticulum protocol in general as a peer-to-peer alternative to www

Matrix multiplication introduced before vector addition... the "Linear Algebra Done Right" in me is screaming inside. That being said, it is definitely cool to have a Jupyter-noteb…

It's worth noting that a feature flag mishap is what brought down Knight Capital: https://en.wikipedia.org/wiki/Knight_Capital_Group#2012_stoc...

Hi David and Amanda! Followed you guys from the very beginning, glad to see Recall.ai get so big!

Obligatory mentions of cuelang and dhall here. I've used both for kubernetes and other large configs in multiple software teams and both are significantly more of a joy to work wit…

Haskell already supports deriving Functor and Foldable

Monads can be thought of as arbitrary function colourings, hence the prior mention of Haskell potentially being a good fit. Of course monads are implementable in almost any other l…

Ragde is an excellent CS prof. I really enjoyed the functional approach Waterloo takes in first year CS, especially in the optional more advanced version of the course where they g…

Collectively, Lemmy and kbin instances (which federate with each other) just reached over 125k users or so. I've really enjoyed my time there so far.

I think he might be referring to Rice's Theorem, which to be fair is reducible to the halting problem

A significant amount of these issues are solved by sticking to Core, Dune, and avoiding imperative blocks

But there are still highly specific tasks out there that require knowing stuff like what opcodes your compiler generated out of C code. Not every job or team is building a web app …

> decent type system I'd call it a bare minimum type system, not "decent"

A smart enough compiler will eliminate 90% of unnecessary copying and things like linear/affine types will eliminate the rest

Consider also Racket scheme! Has a great starter IDE, an absolute barebones teaching variant that exposes the minimum amount of primitives required to do computations, a repl, as w…

Taking a moment to plug https://dhall-lang.org/ , a truly non-imperative solution in this space

Count me as another big Dhall fan -- Dhall was a huge improvement on our codebase compared to Helm for large Kubernetes deployments. Full disclosure: I maintain the [dhall]( https:…

https://pypi.org/project/dhall/ uses PyO3 to reuse Rust's implementation to allow Python to load and dump Dhall configs, since no good and performant native python implementations …

Haskell