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