computer-science meetup awesome programming theory papers read-papers

microsoft linux bot community devops data-science machine-learning news programming telegram hacker-news deep-learning frontend coding programming-languages theory telegram-group devops-teams smm data-science-club

algebra monad category-theory monoid semigroup bucklescript theory prelude reasonml abstract category semiring abstract-algebra reason semigroupoid

paper theory htm neocortex numenta

computer-science library university algorithms acm theory textbooks crash-course study-material openlib

lambda-calculus coq proof theory coq-formalizations

search-engine theory jupyter-notebooks

tex paper theory decision-trees

javascript game googol euler theory

python rust scheme clojure haskell elixir scala material functional-programming racket clojurescript elm ocaml teaching idris theory

challenge angular rxjs ai workshop animation dragdrop theory

programming theory

random transport flight linear theory multiple scattering wiener-hopf h-function

python machine-learning reinforcement-learning machine-learning-algorithms reinforcement-learning-algorithms theory reinforcement-learning-excercises sutton reinforcement-agents explaination

integration notes measure physics quantum hilbert theory lecture mechanics perturbation schuller banach

javascript interview interview-questions theory interview-preparation

music guitar music-theory chords theory scales guitar-chords guitar-scales guitar-theory

theory isabelle hol utp unifying-theories

polymer modeling theory materials-science correlation-functions liquid-state-theory nanocomposite

simulation neuroscience eeg-signals theory brain-imaging

algorithm fsm csharp state-machine algorithms finite-state-machine theory event-handling csharp-notes automata-theory deterministic-finite-automata csharp-examples

visualization python database experimental numpy pyqt5 fitting scipy matplotlib theory rheology

monads examples example monad category-theory free-monad free theory category

java machine-learning reinforcement-learning deep-learning algorithms artificial-intelligence theory

principles theory hackerlaws

machine-learning computer-vision deep-learning optimization neural-networks theory nonlinear-dynamics abstract-algebra continual-learning

reinforcement-learning thesis master-thesis temporal-logic theory implementation ldlf ltlf

community education workshops practice workshop knowledge topic teaching theory certification node-school hours certifications educational-programs

go golang algorithm matrix matrix-multiplication theory

analysis cosmology data-analysis theory cmb