s-zeng

8 ms·

1.
by s-zeng 4mo ago
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
2.
by s-zeng 4mo ago
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-notebook based set of examples of practical linear alge
3.
by s-zeng 7mo ago
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...
4.
by s-zeng 1y ago
Hi David and Amanda! Followed you guys from the very beginning, glad to see Recall.ai get so big!
5.
by s-zeng 1y ago
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 with than HCL or yaml
6.
by s-zeng 1y ago
Haskell already supports deriving Functor and Foldable
7.
by s-zeng 2y ago
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 language, but few have as much syntax sugar or general librar
8.
by s-zeng 3y ago
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 go a lot deeper into the math connections and interpreters
9.
by s-zeng 3y ago
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.
10.
by s-zeng 3y ago
I think he might be referring to Rice's Theorem, which to be fair is reducible to the halting problem
11.
by s-zeng 3y ago
A significant amount of these issues are solved by sticking to Core, Dune, and avoiding imperative blocks
12.
by s-zeng 4y ago
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 with nodejs and the like.
13.
by s-zeng 4y ago
> decent type system I'd call it a bare minimum type system, not "decent"
14.
by s-zeng 4y ago
A smart enough compiler will eliminate 90% of unnecessary copying and things like linear/affine types will eliminate the rest
15.
by s-zeng 4y ago
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 well as a typed variant. Has braces for scope, extremely clea
16.
by s-zeng 4y ago
Taking a moment to plug https://dhall-lang.org/ , a truly non-imperative solution in this space
17.
by s-zeng 4y ago
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://pypi.org/project/dhall/ ) package
18.
by s-zeng 5y ago
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 exist. It's been quite
19.
by s-zeng 5y ago
Haskell