January 8th, 2020. Article by Gints Dreimanis
“One withstands the invasion of armies; one does not withstand the invasion of ideas.” - Victor Hugo.
Tags
- libra
- blockchain
- github
- gitlab
- serokell
- software development
- haskell
- open source projects
- top haskell programs
- dlt
- cardano
- agda
- agda vs haskell
- resource guide
- physics
- signal processing
- functional programming
- avl
- top events
- best conferences
- learn haskell
- mathematics
- modal logic
- dependent types
- dependent haskell
- typescript
- elixir
- teaching haskell
- topology
- cryptography
- random numbers
- computer science
- turing degree
- remote work
- functional programming language
- outsourcing
- theorem proving
- hobby
- edsl
- morley
- michelson
- language encoding
- tezos
- ml
- machine learning
- mtl
- tagless final
- quantum computers
- outsourcing software development
- top projects
- haskell software
- history
- ton
- web summit
- conferences