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-notebook based set of examples of practical…
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 with than HCL or yaml
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 language, but few have as much syntax…
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…
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 with nodejs and the like.
> decent type system I'd call it a bare minimum type system, not "decent"
Location: Ottawa, Ontario, Canada Remote: Yes Willing to relocate: Not til 2024 Technologies: Haskell, Ocaml, Python, Rust, Clojure, Linux Résumé/CV: https://simonzeng.com/resume Email: hey@simonzeng.com I'm a fourth…
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 well as a typed variant. Has braces for…
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://pypi.org/project/dhall/) package on…
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 pleasant for…
Haskell
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-notebook based set of examples of practical…
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 with than HCL or yaml
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 language, but few have as much syntax…
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…
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 with nodejs and the like.
> decent type system I'd call it a bare minimum type system, not "decent"
Location: Ottawa, Ontario, Canada Remote: Yes Willing to relocate: Not til 2024 Technologies: Haskell, Ocaml, Python, Rust, Clojure, Linux Résumé/CV: https://simonzeng.com/resume Email: hey@simonzeng.com I'm a fourth…
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 well as a typed variant. Has braces for…
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://pypi.org/project/dhall/) package on…
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 pleasant for…
Haskell