Anthropic Fellows Program for AI safety research: applications open for May & July 2026
Mark Carrigan β Raiding the inarticulate since 2010
EMBOSS NEEDLE < Job Dispatcher < EMBL-EBI
NGPhylogeny.fr
Claude Opus 4.5 System Card
Stanford AI Club: Jeff Dean on Important AI Trends - YouTube
LeJEPA: Provable and Scalable Self-Supervised Learning Without the Heuristics
NCBI Outreach Events - NCBI Insights
Conference Management Toolkit - Author Console
Preparing Your Proposal - Funding at NSF | NSF - National Science Foundation
Self-documenting code - Wikipedia
β
Pinned
C++ Core Guidelines
DATAPAC | NIST
http://arxiv.org/pdf/math/0508604.pdf
pdf
f.lux: software to make your life better
http://www.saylor.org/site/wp-content/uploads/2011/06/MA121-2.2.pdf
pdf
Optimizing C++/Writing efficient code/Performance improving features - Wikibooks, open books for an open world
Heuristic (computer science) - Wikipedia
http://faculty.washington.edu/tamre/Chapter4c.pdf
pdf
Search algorithm - Wikipedia
Genetic algorithm - Wikipedia
Fibonacci search technique - Wikipedia
Combinatorial search - Wikipedia
A* search algorithm - Wikipedia
Search algorithm - Wikipedia
Donald Knuth's Christmas Tree Lecture
http://www.umiacs.umd.edu/labs/cvl/pirl/vikas/publications/FMM_tutorial.pdf
pdf
1109.5951v2.pdf
pdf
http://arxiv.org/pdf/1503.01007.pdf
pdf
http://homepages.dcc.ufmg.br/~nivio/papers/cikm07.pdf
pdf
Microsoft Research β Emerging Technology, Computer, and Software Research
pdf
List of algorithms - Wikipedia
data structure
http://cmph.sourceforge.net/papers/chm92.pdf
pdf
terminology - Understanding Abstract Data Types (ADTs) - Software Engineering Stack Exchange
abstract data type
Why every C++ developer should know about the pimpl idiom pattern | tonka2013
Pimp My Pimpl | -Wmarc
http://wiki.c2.com/?FragileBinaryInterfaceProblem
http://math.hws.edu/eck/cs327_s04/chapter2.pdf
pdf
http://www.eecs.harvard.edu/~michaelm/postscripts/im2005b.pdf
pdf
http://www.cas.mcmaster.ca/~qiao/courses/cs2so3/textbook/ProgAbs.pdf
pdf
CppCoreGuidelines/docs/ctor-dtor-raii-popl12.pdf at master Β· isocpp/CppCoreGuidelines Β· GitHub
pdf
axiomatic semantics
C++ Programming/Classes/Abstract Classes - Wikibooks, open books for an open world
http://www.statpower.net/Content/312/Handout/Matrix.pdf
pdf
More C++ Idioms/Type Erasure - Wikibooks, open books for an open world
Interfaces in C++ (Abstract Classes)
Effective Coding with VHDL: Principles and Best Practice - Ricardo Jasinski - Google Books
Matrix Notation
Stand-alone numerical code in Python, C++, C#, etc.
Range-Based For Loops in C++11 - Cprogramming.com
http://cecs.wright.edu/~dkender/ise301/Stats1_Set1_Probability(11).pdf
pdf
Bayesian statistics - Wikipedia
http://www.statsci.org/smyth/pubs/EoB/bap064-.pdf
pdf
Index of /general
Maximum likelihood estimation - Wikipedia
Posterior probability - Wikipedia
Phase-type distribution - Wikipedia
Relative error normal approximation
Normal approximation binomial error
Students t Distribution
Estimation of covariance matrices - Wikipedia
http://www.math.wm.edu/~leemis/chart/UDR/PDFs/Lomax.pdf
pdf
Convergence of random variables - Wikipedia
Filtering problem (stochastic processes) - Wikipedia
LaTeX/Special Characters - Wikibooks, open books for an open world
Theorem - Wikipedia
Law of large numbers - Wikipedia
Markov property - Wikipedia
Markov chain - Wikipedia
Low-pass filter - Wikipedia
Generalized logistic distribution - Wikipedia
Probability distribution fitting - Wikipedia
Divergence (statistics) - Wikipedia
Logistic regression - Wikipedia
Rectified linear unit - Wikipedia
Sigmoid function - Wikipedia
Generalised logistic function - Wikipedia
Linear congruential generator - Wikipedia
Characteristic function (probability theory) - Wikipedia
https://keccak.team/files/CSF-0.1.pdf
pdf
ReliaWiki
GoodβTuring frequency estimation - Wikipedia
Moment-generating function - Wikipedia
Hubbert curve - Wikipedia
List of probability distributions - Wikipedia
Gompertz function - Wikipedia
Quantization (signal processing) - Wikipedia
RadonβNikodym theorem - Wikipedia
Stochastic convergence - Citizendium
Gompertz distribution - Wikipedia
List of random number generators - Wikipedia
Stability postulate - Wikipedia
Foundations of statistics - Wikipedia
Shifted Gompertz distribution - Wikipedia
Fremlin --- Measure Theory
Rayleigh mixture distribution - Wikipedia
f-divergence - Wikipedia
ReliaWiki
βhttp://www.atmos.washington.edu/~hakim/591/prob_primer.pdf
pdf
JavaScript QuadTree Implementation - mike chambers
Numerical stability - Wikipedia
Google Search
Inelastic collision - Wikipedia
Verlet integration - Wikipedia
Quick Tip: Use Quadtrees to Detect Likely Collisions in 2D Space | Envato Tuts+
JΓΌlich Supercomputing Centre (JSC)
Drag equation - Wikipedia
Potential gradient - Wikipedia
WebGL introduction for OpenGL C/C++ programmers | Morten Nobel's Blog
n-body problem - Wikipedia
How Physics Engines Work - Build New Games
Barnes-Hut-Tree-N-body-Implementation-in-HTML-Js/graphics.js at master Β· Elucidation/Barnes-Hut-Tree-N-body-Implementation-in-HTML-Js Β· GitHub
github
Elastic collision - Wikipedia
http://ifa.hawaii.edu/~barnes/software.html
Piet Hut - Wikipedia
Quadtree - Wikipedia
N-body simulation - Wikipedia
Damping - Wikipedia
Hooke's law - Wikipedia
Weight - Wikipedia
GitHub - bsamuels453/Opencl-Quadtree: The testing environment for an OpenCL script that implements a quadtree based terrain quantizing algorithm. This opencl script is going to be used in my gamedev project, With Fire and Iron.
github
Boost C++ Libraries
Nonlinear system - Wikipedia
Discrete element method - Wikipedia
Molecular dynamics - Wikipedia
Celestial mechanics - Wikipedia
The Barnes-Hut Galaxy Simulator
BarnesβHut simulation - Wikipedia, the free encyclopedia
List of WebGL frameworks - Wikipedia
Algorithm: Space Partitioning using Quadtree (C++) β Blog of Ve and Co.
Oxygine - 2D C++ game framework
Adjacency matrix - Wikipedia
Newmark-beta method - Wikipedia
Multivector - Wikipedia
Matrix (mathematics) - Wikipedia
Trust region - Wikipedia
Nearest neighbour algorithm - Wikipedia
Newton's method - Wikipedia
Spectral graph theory - Wikipedia
Combinatorial optimization - Wikipedia
PerronβFrobenius theorem - Wikipedia
Definite matrix - Wikipedia
Newton's method in optimization - Wikipedia
Matrix multiplication - Wikipedia
More C++ Idioms/Iterator Pair - Wikibooks, open books for an open world
Change of basis - Wikipedia
Hamiltonian Monte Carlo - Wikipedia
Multilinear algebra - Wikipedia
Fixed-point iteration - Wikipedia
Particle filter - Wikipedia
Transformation matrix - Wikipedia
Hierarchical control system - Wikipedia
Diagonalizable matrix - Wikipedia
Z-order curve - Wikipedia
Monte Carlo method - Wikipedia, the free encyclopedia
Mathematical optimization - Wikipedia
Behaviour Tree - C++ Forum
Numerical integration - Wikipedia
Mean-field particle methods - Wikipedia
GitHub - alexshafranov/derplanner: Hierarchical-Task-Network planner in C++
github
Steven M. LaValle
Action language - Wikipedia
Metric tensor - Wikipedia
Automated planning and scheduling - Wikipedia
Preference-based planning - Wikipedia
Linear algebra - Wikipedia
Query language - Wikipedia
Column (database) - Wikipedia
Table (database) - Wikipedia
Build cross-platform desktop apps with JavaScript, HTML, and CSS | Electron
Relvar - Wikipedia
Database schema - Wikipedia
Multisets - OeisWiki
Data domain - Wikipedia
Relational model - Wikipedia
Edgar F. Codd - Wikipedia
http://www.leda-tutorial.org/en/official/ch02s08s02.html
Coproduct - Wikipedia
First-order logic - Wikipedia
Tuple - Wikipedia
Relational database - Wikipedia
Row (database) - Wikipedia
Turing machine equivalents - Wikipedia
Oblivious transfer - Wikipedia
[1711.09305] A Language for Probabilistically Oblivious Computation
arxiv
Maximum entropy probability distribution - Wikipedia
Ratio estimator - Wikipedia
Hoeffding's inequality - Wikipedia
Mellin transform - Wikipedia
Law of total variance - Wikipedia
Free probability - Wikipedia
Random matrix - Wikipedia
Representation theorem - Wikipedia
Probability theory - Wikipedia
Binomial distribution - Wikipedia
The Binomial Distribution
Interprocedural optimization - Wikipedia
Array (data structure) - Wikipedia
distcc - Wikipedia
Optimizing compiler - Wikipedia
Linkage (software) - Wikipedia
Executable - Wikipedia
Linker (computing) - Wikipedia
Machine code - Wikipedia
P0588R1: Simplifying implicit lambda capture
Range-based for statements with initializer
Wording for βfunctionality gaps in constraintsβ
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0734r0.pdf
pdf
P0683R1: Default member initializers for bit-fields (revision 1)
C++ Standards Support in GCC - GNU Project
Graph (discrete mathematics) - Wikipedia
Aliasing (computing) - Wikipedia
https://www.ics.uci.edu/~dechter/publications/r76-complexityinterval_based.pdf
pdf
https://www.sgi.com/tech/stl/trivial.html
The Cursor/Property Map Abstraction
SFINAE and enable_if - Eli Bendersky's website
Template SFINAE & type-traits | Shahar Mike's Web Spot
C++11: enable_if | De C++ et alias OOPscenitates
Comparison of programming languages by type system - Wikipedia
Call stack - Wikipedia
Resource acquisition is initialization - Wikipedia
Go (programming language) - Wikipedia
System programming language - Wikipedia
MicroServices (The Beauty) and the World of Monoliths (The Beast) - YouTube
youtube
- YouTube
youtube
New Iterator Concepts
Rust (programming language) - Wikipedia
Iterators++, Part 1 β Eric Niebler
http://cmph.sourceforge.net/papers/thesis.pdf
pdf
Introduction to Entropy for Data Science - YouTube
youtube
Joint entropy - Wikipedia
Throw away the keys: Easy, Minimal Perfect Hashing - Steve Hanov's Programming Blog
Linear trend estimation - Wikipedia
Randomness extractor - Wikipedia
Hard-core predicate - Wikipedia
Shannon's source coding theorem - Wikipedia
http://www.math.uconn.edu/~kconrad/blurbs/analysis/entropypost.pdf
pdf
Discrete uniform distribution - Wikipedia
Query likelihood model - Wikipedia
Code - Wikipedia
Secure Hash Algorithms - Wikipedia
Set (abstract data type) - Wikipedia
Dynamic perfect hashing - Wikipedia
Binary entropy function - Wikipedia
Bernoulli process - Wikipedia
Zipf's law - Wikipedia
(IC 1.3) Applications of Error-correcting codes - YouTube
youtube
Lossless compression - Wikipedia
Perfect Hashing
Channel capacity - Wikipedia
https://arxiv.org/pdf/1212.5567.pdf
pdf
Negative binomial distribution - Wikipedia
Truncated binary encoding - Wikipedia
wads07.pdf
pdf
Effective domain - Wikipedia
Computability theory - Wikipedia
Cuckoo hashing - Wikipedia
Information Theory: The Language of Coins - YouTube
youtube
Cryptography - Wikipedia
Countable set - Wikipedia
Time Series - 16 Method of Moving Averages - Even period cycle - Centred Moving Average - YouTube
youtube
Information content - Wikipedia
6.4.3.1. Single Exponential Smoothing
Window function - Wikipedia
Integer partition - Wikipedia
.:: General Purpose Hash Function Algorithms - By Arash Partow ::.
Katz's back-off model - Wikipedia
Language model - Wikipedia
Sponge function - Wikipedia
Kerckhoffs's principle - Wikipedia
Exponential smoothing - Wikipedia
Bag-of-words model - Wikipedia
Oblivious RAM - Wikipedia
Perfect hash function - Wikipedia
Hash, displace, and compress
pdf
HTTP is obsolete. It's time for the distributed, permanent web
Poisson distribution - Wikipedia
Maximum entropy probability distribution - Wikiwand
The Poisson Process
Tox (protocol) - Wikiwand
IPLD - The data model of the content-addressable web
Multihash | Multiformats
Blockchain - Wikipedia
Hash list - Wikipedia
Byzantine fault - Wikipedia
Exponential distribution - Wikipedia
Confusion matrix - Wikiwand
Ten terrible attempts to make the Inter Planetary File System human-friendly | HackerNoon
Poisson point process - Wikipedia
Onion routing - Wikiwand
Tor (network) - Wikiwand
Mathematical statistics - Wikipedia
Download BlackArch
libp2p
Preimage attack - Wikipedia
Mix network - Wikiwand
Maximum entropy probability distribution - Wikipedia
Tribler - Wikiwand
I2P - Wikiwand
Rice distribution - Wikipedia
Garlic routing - Wikiwand
Queueing theory - Wikiwand
Precision and recall - Wikiwand
Fisher information metric - Wikipedia
Traffic analysis - Wikiwand
Wikipedia:Advice to users using Tor - Wikipedia
Type I and type II errors - Wikipedia
Information projection - Wikipedia
Cryptography I | Coursera
Blockchain | Coursera
Tor (network) - Wikiwand
Data compression - Wikipedia
Xorshift - Wikipedia
Kolmogorov complexity - Wikipedia
Exponential distribution - Wikiwand
KolmogorovβSmirnov test - Wikipedia
DSpace
https://arxiv.org/pdf/1108.0962.pdf
pdf
https://www.ohmygodel.com/publications/ortrust-ccs11.pdf
pdf
Google Search
Similarity between two probability distribution - Mathematics Stack Exchange
TechTarget Enterprise Technology News
http://www.cs.cornell.edu/~shmat/courses/cs5438/anonnetworks.pdf
pdf
ritter.vg
IPFS: Interplanetary file storage! - YouTube
youtube
Heap (data structure) - Wikipedia
Information theory - Wikipedia
Perfect hash function - Wikipedia
PEGTL/doc/README.md at main Β· taocpp/PEGTL Β· GitHub
github
GitHub - ChaiScript/ChaiScript: Embedded Scripting Language Designed for C++
github
Evolving Objects (EO): Evolutionary Computation Framework
Chapter 47. Boost.YAP
Chapter 1. Boost.Beast
CMake - Another Target and the Project - Simplify C++!
http://www.math.ubc.ca/~cytryn/teaching/scienceOneF10W11/handouts/OS.writingMathCommented.pdf
pdf
Introduction to the basics β Modern CMake
Succinct data structure - Wikipedia
In-place algorithm - Wikipedia
Node.js - Wikipedia
Build Tutorial - C++ - Bazel main
Electron (software framework) - Wikipedia
Threading Building Blocks - Wikipedia
Modern C++ Design - Wikipedia
GitHub - carlomilanesi/cpp-mmf: C++98 library that encapsulates memory-mapped-files for POSIX or Windows
github
fcppt: Overview
abseil / Abseil Fundamentals
The Silicon C++ Web Framework - The Silicon C++ Web Framework
Bitbucket
bitbucket
Crypto++ Library 8.9 | Free C++ Class Library of Cryptographic Schemes
NTL: A Library for doing Number Theory
LIBLINEAR -- A Library for Large Linear Classification
QuantLib, a free/open-source library for quantitative finance
cereal Docs - Main
GitHub - kthohr/optim: OptimLib: a lightweight C++ library of numerical optimization methods for nonlinear functions
github
GitHub - protocolbuffers/protobuf: Protocol Buffers - Google's data interchange format
github
GitHub - mongodb/mongo-cxx-driver: C++ Driver for MongoDB
github
Box2D | A 2D Physics Engine for Games
GitHub - microsoft/GSL: Guidelines Support Library
github
Chapter 1. Context
Chapter 1. Fiber
Tutorial - Boost.GIL 1.0 documentation
About the Math Toolkit
POCO C++ Libraries - Downloads
http://eigen.tuxfamily.org/dox/GettingStarted.html
GitHub - CppCon/CppCon2018: Slides and other materials from CppCon 2018
github
STXXL - Standard Template Library for Extra Large Data Sets
GitHub - bloomberg/bde: Basic Development Environment - a set of foundational C++ libraries used at Bloomberg.
github
Chapter 1. Coroutine2
Redirecting...
ArrayFire: Overview
Documentation | gRPC
GitHub - microsoft/cpprestsdk: The C++ REST SDK is a Microsoft project for cloud-based client-server communication in native code using a modern asynchronous C++ API design. This project aims to help C++ developers connect to and interact with services.
github
Boost Getting Started on Windows
Bitbucket
bitbucket
Ceres Solver β A Large Scale Non-linear Optimization Library
GitHub - CGAL/cgal: The public CGAL repository, see the README below
github
GitHub - wjakob/nanogui: Minimalistic GUI library for OpenGL
github
GitHub - Corvusoft/restbed: Corvusoft's Restbed framework brings asynchronous RESTful functionality to C++14 applications.
github
GitHub - skypjack/entt: Gaming meets modern C++ - a fast and reliable entity component system (ECS) and much more
github
GitHub - GarageGames/Torque2D: MIT Licensed Open Source version of Torque 2D game engine from GarageGames
github
BMZ Algorithm
Smart Output Iterators: A Symmetrical Approach to Range Adaptors - Fluent C++
GitHub - jll63/yomm2: Fast, orthogonal, open multi-methods. Solve the Expression Problem in C++17.
github
GitHub - szellmann/visionaray: A C++-based, cross platform ray tracing library
github
GitHub - facebookarchive/caffe2: Caffe2 is a lightweight, modular, and scalable deep learning framework.
github
C++ Programming: Code patterns design - Wikibooks, open books for an open world
The Ultimate Guide to Modern CMake
CMake - Cross Platform Make
Effective Modern CMake Β· GitHub
github
GitHub - CLIUtils/cmake: A set of cmake modules to assist in building code
github
Itβs Time To Do CMake Right | pablo arias
mlpack - Wikipedia
Unordered tuples and type algebra | blog :: Brent -> [String]
Relation (database) - Wikipedia
Type (model theory) - Wikipedia
Homotopy type theory - Wikipedia
The Algebra of Types | HackerNoon
Normal form (abstract rewriting) - Wikipedia
Rope (data structure) - Wikipedia
Subject reduction - Wikipedia
Trait (computer programming) - Wikipedia
Higher-order logic - Wikipedia
Intuitionistic type theory - Wikipedia
Projection (relational algebra) - Wikipedia
Selection (relational algebra) - Wikipedia
Rename (relational algebra) - Wikipedia
Memory safety - Wikipedia
Product type - Wikipedia
Type class - Wikipedia
Logical disjunction - Wikipedia
Boxing (computer programming) - Wikipedia
Union declaration - cppreference.com
Regular semigroup - Wikipedia
The Boost Interval Arithmetic Library
https://arxiv.org/pdf/0708.3721.pdf
pdf
Your arXiv.org account
Definition:Binomial Coefficient - ProofWiki
Test oracle - Wikipedia
http://www.cbcb.umd.edu/confcour/Spring2014/CMSC424/Relational_algebra.pdf
pdf
Negated Upper Index of Binomial Coefficient - ProofWiki
Interface (object-oriented programming) - Wikipedia
Set Operations | Union | Intersection | Complement | Difference | Mutually Exclusive | Partitions | De Morgan's Law | Distributive Law | Cartesian Product
Zero-probability events | They are not impossible
Identifier - Wikipedia
Abstract machine - Wikipedia
Hoare logic - Wikipedia
Currying - Wikipedia
Order theory - Wikipedia
Quasiprobability distribution - Wikipedia
Operational semantics - Wikipedia
Precondition - Wikipedia
Axiomatic semantics - Wikipedia
Postcondition - Wikipedia
Relational algebra - Wikipedia
Semantics (computer science) - Wikipedia
http://open-std.org/JTC1/SC22/WG21/docs/papers/2017/p0707r0.pdf
pdf
What Are Sum, Product, and Pi Types? - In Pursuit of Laziness
Metaclasses, the Ultimate Answer to Strong Typing in C++? - Fluent C++
https://www.foonathan.net/2015/11/overload-resolution-3/
How to Boost Performance with Intel Parallel STL and C++17 Parallel Algorithms - C++ Stories
CMake 3.13.0 available for download
Sutterβs Mill | Herb Sutter on software development
Unique and shared ownership | Andrzej's C++ blog
Ranges: the STL to the Next Level - Fluent C++
Variadic Macros (The C Preprocessor)
Concurrent associative data structure with unsynchronized view
Strong types for strong interfaces - Fluent C++
Checking whether a class has a member function with a given signature β /dev/krzaq
How I format my C++ papers β Michael Park
Using Conan for Third Party Libraries - Simplify C++!
std::transform, a central algorithm - Fluent C++
How to Retrieve the Firsts from a Collection of Pairs - Fluent C++
Calling C Code from C++ With 'extern "C"' - Simplify C++!
POCO Data User Guide
Encyclopedia of Mathematics
Holomorphic function - Wikipedia
Grassmann number - Wikipedia
http://www.pvv.ntnu.no/~berland/resources/autodiff-triallecture.pdf
pdf
Principal ideal - Wikipedia
Maximal ideal - Wikipedia
Bremermann's limit - Wikipedia
Everything is a file - Wikipedia
flipcode - Programming a Virtual File System
Limits of computation - Wikipedia
InterPlanetary File System - Wikipedia
Dokan Library - Wikipedia
Physics of computation - Wikipedia
Disjoint union - Wikipedia
Function (mathematics) - Wikipedia
WikiVisually
Law of large numbers - Wikipedia
Set theory - Wikipedia
Superspace - Wikipedia
Surjective function - Wikipedia
Bijection, injection and surjection - Wikipedia
Biordered set - Wikipedia
Group (mathematics) - Wikipedia
Finite ring - Wikipedia
Finite field - Wikipedia
Classification of finite simple groups - Wikipedia
Pseudo-ring - Wikipedia
Morphism - Wikipedia
Magma (algebra) - Wikipedia
Structure (mathematical logic) - Wikipedia
Semiring - Wikipedia
Information algebra - Wikipedia
Join and meet - Wikipedia
Synthetic file system - Wikipedia
Absorption law - Wikipedia
Distributive lattice - Wikipedia
Descriptive set theory - Wikipedia
Class (set theory) - Wikipedia
Order type - Wikipedia
Well-order - Wikipedia
Semilattice - Wikipedia
Partially ordered set - Wikipedia
Semiring - Wikipedia
Semilattice - Wikipedia
Naive set theory - Wikipedia
Algebra - Wikipedia
Set theory - Wikipedia
Ο-algebra - Wikipedia
Homeomorphism - Wikipedia
Boolean algebra (structure) - Wikipedia
Dynkin system - Wikipedia
Truth value - Wikipedia
Small set (category theory) - Wikipedia
Subcategory - Wikipedia
Mathematical structure - Wikipedia
Universe (mathematics) - Wikipedia
Algebra of sets - Wikipedia
Pi-system - Wikipedia
Sigma-algebra - Wikipedia
Generic Programming - Sean Parent - code::dive 2018 - YouTube
youtube
Stuart Russell: Long-Term Future of Artificial Intelligence | Lex Fridman Podcast #9 - YouTube
youtube
Rust: A Language for the Next 40 Years - Carol Nichols - YouTube
youtube
The Geometry of Causality - YouTube
youtube
CppCon 2018: Sean Parent βBetter Code: Human Interfaceβ - YouTube
youtube
5. Positive Definite and Semidefinite Matrices - YouTube
youtube
Pacific++ 2018: Sean Parent "Generic Programming" - YouTube
youtube
https://www.youtube.com/results?search_query=sean+parent+regular+types
Programming Languages - (part 1 of 7) - YouTube
youtube
Better Code: Runtime Polymorphism - Sean Parent - YouTube
youtube
- YouTube
youtube
CppCon 2018: Jonathan Boccara β105 STL Algorithms in Less Than an Hourβ - YouTube
youtube
Higher Order Functions for ordinary developers - BjΓΆrn Fahller - Meeting C++ 2018 - YouTube
youtube
Programming Conversations Lecture 1 part 2 - YouTube
youtube
CppCon 2016: Cheinan Marks βI Just Wanted a Random Integer!" - YouTube
youtube
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript - YouTube
youtube
code::dive 2016 conference β Sean Parent β Better Code: Concurrency - YouTube
youtube
Greatest Common Measure: The Last 2500 Years - YouTube
youtube
ChariotSolutions - YouTube
youtube
CppCon 2018: Victor Ciura βRegular Types and Why Do I Care ?β - YouTube
youtube
CppCon 2015: Sean Parent "Better Code: Data Structures" - YouTube
youtube
Udacity
Bernie Sanders 2019 SOTU Response: TYT Analysis - YouTube
youtube
Bayesian Statistics: From Concept to Data Analysis | Coursera
CppCon 2015: Andrei Alexandrescu βDeclarative Control Flow" - YouTube
youtube
Lecture 4: Eigenvalues and Eigenvectors | Matrix Methods in Data Analysis, Signal Processing, and Machine Learning | Mathematics | MIT OpenCourseWare
Cryptography I | Coursera
Bayesian Statistics: Techniques and Models | Coursera
CppCon 2015: Andrei Alexandrescu βstd::allocator...β - YouTube
youtube
CppCon2018/Presentations/regular_types_and_why_do_i_care/regular_types_and_why_do_i_care__victor_ciura__cppcon_2018.pdf at master Β· CppCon/CppCon2018 Β· GitHub
pdf
Mathematics for Machine Learning: Linear Algebra | Coursera
Mathematics for Machine Learning: PCA | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Wavelet - Wikipedia
Determinant - Wikipedia
Normal matrix - Wikipedia
Symmetric matrix - Wikipedia
Re: [Maxima-discuss] Overloading of variable & function names | Maxima -- GPL CAS based on DOE-MACSYMA
Haar wavelet - Wikipedia
Unitary transformation - Wikipedia
Hadamard transform - Wikipedia
Balanced repeated replication - Wikipedia
https://mml-book.github.io/book/mml-book.pdf
pdf
http://elementsofprogramming.com/eop-concepts.pdf
pdf
Collected Papers of Alexander A. Stepanov
Maxima Tutorial
Maxima - Wikibooks, open books for an open world
03. Files and Functions
https://www.cs.odu.edu/~toida/nerzic/content/relation/definition/cp_gen/index.html
Finitary relation - Wikipedia
Google Search
Maxima Tutorial
RDF 1.1 Turtle
Get Started β JupyterLab 4.4.8 documentation
SageMath - ArchWiki
Welcome to GNU TeXmacs (FSF GNU project)
wxMaxima - screenshots
Maxima 5.48.1 Manual
Maxima Tutorial
Funktionen und Variablen fΓΌr die Eingabe und Ausgabe (Maxima Manual)
EinfΓΌhrung in nutzerdefinierte Operatoren (Maxima Manual)
math - How to approximate a number to a n number of decimal places? - Stack Overflow
Plotting - Tutorial
Basic Algebra and Calculus - Tutorial
Introduction to Maxima
Approximation error - Wikipedia
Can you submit to Arxiv without an institutional affiliation? - Academia Stack Exchange
Log in to arXiv | arXiv e-print repository
The ArXiV versus ResearchGate | njwildberger: tangential thoughts
Determine Your Private and Public IP Addresses from the Command Line | Linux Training Academy
Haldane's Sieve | Discussing preprints in population and evolutionary genetics
Thoughts on arXiv and journals | Being A Better Scientist
arXiv.org e-Print archive
Google Search
Homomorphic Encryption - Schneier on Security
[PDF] Outsourced symmetric private information retrieval | Semantic Scholar
semantic_scholar
Google Search
Boolean algebra - Wikipedia
Boolean algebra - Wikipedia
C++ code samples before and after Ranges
std::clamp in C++ 17 - GeeksforGeeks
The GNU C++ Library
Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++
Programming with Universal Constructions | Bartosz Milewski's Programming Cafe
Ranges library (since C++20) - cppreference.com
Standard Ranges β Eric Niebler
Boolean algebra - Wikipedia
Disjunctive normal form - Wikipedia
Randomness - Wikipedia
Probability axioms - Wikipedia
Sample space - Wikipedia
Event (probability theory) - Wikipedia
Rejection sampling - Wikipedia
Pointwise - Wikipedia
Erlang distribution - Wikipedia
Parametric family - Wikipedia
Exponential distribution - Wikipedia
Operator theory - Wikipedia
Function composition - Wikipedia
Functional programming - Wikipedia
Name binding - Wikipedia
Substitution (logic) - Wikipedia
Foundations of mathematics - Wikipedia
Beta normal form - Wikipedia
Operational definition - Wikipedia
statistics: A library of statistical types, data, and functions
Beta distribution - Wikipedia
Probability - Wikipedia
Almost surely - Wikipedia
Atom (measure theory) - Wikipedia
Non-measurable set - Wikipedia
Borel measure - Wikipedia
Borel hierarchy - Wikipedia
Poisson binomial distribution - Wikipedia
Ordinal arithmetic - Wikipedia
Additively indecomposable ordinal - Wikipedia
Binomial sum variance inequality - Wikipedia
Binomial distribution - Wikipedia
Empirical probability - Wikipedia
Lambda calculus - Wikipedia
Frequency (statistics) - Wikipedia
Successor ordinal - Wikipedia
Limit ordinal - Wikipedia
https://www.stardog.com/tutorials/sparql/
Function composition (computer science) - Wikipedia
Higher-order function - Wikipedia
Entityβattributeβvalue model - Wikipedia
Data model - Wikipedia
Entityβrelationship model - Wikipedia
Class diagram - Wikipedia
Function composition - HaskellWiki
Invariant (mathematics) - Wikipedia
Papers and Presentations
The Optional Monad In C++, Without the Ugly Stuff - Fluent C++
Google Search
Google Search
Pairing function - Wikipedia
Youden's J statistic - Wikipedia
Positive and negative predictive values - Wikipedia
sean-parent (sean-parent) / Repositories Β· GitHub
Papers and Presentations
Image (mathematics) - Wikipedia
Order Relation
Semantic triple - Wikipedia
Python Lambda
Notation in probability and statistics - Wikipedia
Serialization - Wikipedia
Inverse semigroup - Wikipedia
Binary relation - Wikipedia
Partially ordered set - Wikipedia
Weak ordering - Wikipedia
Weak ordering - Wikipedia
MPS: The Domain-Specific Language Creator by JetBrains
Reflexive relation - Wikipedia
Modern C++ Design - Wikipedia
JetBrains: Essential tools for software developers and teams
std::allocator - cppreference.com
Symmetric relation - Wikipedia
Antisymmetric relation - Wikipedia
Asymmetric relation - Wikipedia
Rational choice model - Wikipedia
Complement (set theory) - Wikipedia
Composition of relations - Wikipedia
Binary relation - Wikipedia
Design Patterns - Wikipedia
Chain-of-responsibility pattern - Wikipedia
Policy based design and best practices - C++ - Stack Overflow
Extremes and Related Properties of Random Sequences and Processes - M. R. Leadbetter, G. Lindgren, H. Rootzen - Google Books
distributions - How is the minimum of a set of IID random variables distributed? - Cross Validated
std::discard_block_engine - cppreference.com
C++ Coding Standards Β· GitHub
github
coding standards - Self-documenting Code vs Commented Code - Software Engineering Stack Exchange
Welfordβs method for computing variance β The Mindful Programmer
Partial template specialization - cppreference.com
Bessel's correction - Wikipedia
Ten Little Algorithms, Part 2: The Single-Pole Low-Pass Filter - Jason Sachs
Algorithms for calculating variance - Wikipedia
Efficient and accurate rolling standard deviation β The Mindful Programmer
std::mersenne_twister_engine<UIntType,w,n,m,r,a,u,d,s,b,t,c,l,f>::seed - cppreference.com
Google Search
Code smell - Wikipedia
Moment method estimation: Binomial distribution - YouTube
youtube
Online linear regression
How to Generate a Collection of Random Numbers in Modern C++ - Fluent C++
std::shuffle_order_engine - cppreference.com
std::independent_bits_engine - cppreference.com
std::uniform_random_bit_generator - cppreference.com
std::bernoulli_distribution - cppreference.com
C++ named requirements: RandomNumberEngine (since C++11) - cppreference.com
std::binomial_distribution - cppreference.com
pr.probability - limit distribution of multinomial distribution with increasing categories - MathOverflow
Categorical distribution - Wikipedia
Constexpr unions | Andrzej's C++ blog
C++ Tutorial => Basic std::variant use
C++ Core Guidelines: Rules for Unions β MC++ BLOG
C++17: std::variant : Rangarajan Krishnamoorthy on Programming and Other Topics
std::visit is everything wrong with modern C++
Modern C++ Features - std::variant and std::visit - Simplify C++!
programming
Literate programming - Wikipedia
Reddit - The heart of the internet
reddit
Jacek's Blog Β· Type Lists
Understanding C++ Modules: Part 1: Hello Modules, and Module Units
Live Crypto Prices & Market Cap Charts β Bitcoin, Ethereum News at PiedPiper
Type functions and beyond
std::variant Doesnβt Let Me Sleep | pablo arias
GitHub - foonathan/type_safe: Zero overhead utilities for preventing bugs at compile time
github
Eggs.Variant
set_aggregate, set_segregate: higher-level algorithms on sets - Fluent C++
Integral transform - Wikipedia, the free encyclopedia
Hermitian adjoint - Wikipedia
Integral - Wikipedia
Unlambda - Wikipedia
Direct sum - Wikipedia
Wedge sum - Wikipedia
Ordinal number - Wikipedia
Aleph number - Wikipedia
CppCoreGuidelines/CppCoreGuidelines.md at master Β· isocpp/CppCoreGuidelines Β· GitHub
github
Adapter pattern - Wikipedia
static_cast - Wikipedia
Virtual function - Wikipedia
Type introspection - Wikipedia
C++20 Concepts: Eliminating Generics Paradigm Drawbacks - CppDepend:
Google Search
Ordinal data - Wikipedia
Google Search
Ordinal Variables
Google Search
Types of Statistical Data: Numerical, Categorical, and Ordinal | dummies
Random Variables
Asymptotic theory
Mean square convergence
Google Search
Khan Academy
libagf: Adaptive Gaussian filtering
mlpack - Wikipedia
Discrete Random Variables β Mathematics A-Level Revision
F-distribution - Wikipedia
Log-logistic distribution - Wikipedia
Google Search
Space (mathematics) - Wikipedia
List of mathematic operators - Wikipedia
Operator (mathematics) - Wikipedia
Operator algebra - Wikipedia
Sequence of random variables | Random sequence
How to create LaTeX documents with Emacs | Opensource.com
CAS - Central Authentication Service Dartmouth Web Authentication
Random number generation - Wikipedia
Variable kernel density estimation - Wikipedia
Quantile function - Wikipedia
Kernel (statistics) - Wikipedia
Kernel smoother - Wikipedia
Kernel (statistics) - Wikipedia
Generative model - Wikipedia
Random variable - Wikipedia
Multivariate kernel density estimation - Wikipedia
Multinoulli distribution | Properties and proofs
Topological vector space - Wikipedia
Random element - Wikipedia
Multivariate random variable - Wikipedia
Operational calculus - Wikipedia
Kronecker delta - Wikipedia
Dirac delta function - Wikipedia
Kernel (statistics) - Wikipedia
Sample size determination - Wikipedia
Dirichlet-multinomial distribution - Wikipedia
Cross-correlation - Wikipedia
Dirichlet distribution - Wikipedia
Probability distribution - Wikipedia
probonto
Force chain - Wikipedia
sqlmap - Wikipedia
Octree - Wikipedia
Symplectic integrator - Wikipedia
Kinetic theory of gases - Wikipedia
MaxwellβBoltzmann distribution - Wikipedia
Statistical mechanics - Wikipedia
Boltzmann constant - Wikipedia
Gas constant - Wikipedia
Complex system - Wikipedia
Newton's law of universal gravitation - Wikipedia
Amazon ElastiCache - Wikipedia
LubachevskyβStillinger algorithm - Wikipedia
Bitstream - Wikipedia
Center of mass - Wikipedia
OpenGL in Cinder: Getting Started
SQL injection - Wikipedia
Level-set method - Wikipedia
Finite difference method - Wikipedia
fm2gp/solutions/3_5.md at master Β· bmershon/fm2gp Β· GitHub
github
Impulse (physics) - Wikipedia
Overlay network - Wikipedia
Surface roughness - Wikipedia
Generating function - Wikipedia
Onion routing - Wikipedia
Coefficient of restitution - Wikipedia
Collision - Wikipedia
Indexed family - Wikipedia
Leapfrog integration - Wikipedia
Thermodynamic system - Wikipedia
Dissipation - Wikipedia
Friction - Wikipedia
The Barnes-Hut Approximation
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1) - YouTube
youtube
How to Herd 1,000 Libraries - Robert Schumacher - CppCon 2019 - YouTube
youtube
EDSL Infinity Wars: Mainstreaming Symbolic Computation - Joel Falcou & Vincent Reverdy - CppCon 2019 - YouTube
youtube
Brian Beckman: The Zen of Stateless State - The State Monad - YouTube
youtube
Torque, Levers, and the Universal Law of Rotation - YouTube
youtube
AlexFest: Sean Parent - Meeting Alex - YouTube
youtube
Sean Parent - Polymorphic Task - Secret Lightning Talks @ Meeting C++ 2017 - YouTube
youtube
Programming Conversations Lecture 5 part 1 - YouTube
youtube
Intelligence in the Universe: Are We Alone? - YouTube
youtube
Generic Programming - Sean Parent - code::dive 2018 - YouTube
youtube
GoingNative 2013 C++ Seasoning - YouTube
youtube
CppCon 2015: Sean Parent "Better Code: Data Structures" - YouTube
youtube
Java Futures, 2019 Edition - YouTube
youtube
Yann LeCun: Deep Learning, ConvNets, and Self-Supervised Learning | Lex Fridman Podcast #36 - YouTube
youtube
Lecture 1A: Overview and Introduction to Lisp - YouTube
youtube
Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language - YouTube
youtube
Simon Peyton Jones how GHC type inference engine actually works - YouTube
β
youtube
Functional Programming Languages and the Pursuit of Laziness with Dr. Simon Peyton Jones - YouTube
youtube
Harnessing the Multicores: Nested Data Parallelism in Haskell - YouTube
youtube
Richard Stallman Explains Everything - YouTube
youtube
Advanced 4. Monte Carlo Tree Search - YouTube
youtube
Lecture 2: Multiplying and Factoring Matrices - YouTube
youtube
Rich Hickey - The Database as a Value - YouTube
youtube
"Categories for the Working Hacker" by Philip Wadler - YouTube
youtube
- YouTube
youtube
L12: Universal Turing Machines; The Halting Problem is Recognizable but Not Decidable - YouTube
youtube
Pacific++ 2018: Sean Parent "Generic Programming" - YouTube
youtube
Better Code: Relationships - Sean Parent - CppCon 2019 - YouTube
youtube
CppCon 2019 - YouTube
youtube
Juan Pedro BolΓvar Puente β Postmodern immutable data structures - YouTube
youtube
Back to Basics: Lambdas from Scratch - Arthur O'Dwyer - CppCon 2019 - YouTube
youtube
BACKFLIP WITH BAR & PLATES, HOW HARD IS IT? - YouTube
youtube
Privacy Research - YouTube
youtube
Postmodern immutable data structures - Juan Pedro Bolivar Puente [C++ on Sea 2019] - YouTube
youtube
Uncertain Models - Learning from the past and optimizing for the future - Markus Fanebust Dregi - YouTube
youtube
CppCon 2019: Tony Van Eerd Objects vs Values: Value Oriented Programming in an Object Oriented World - YouTube
youtube
What is C++ - Chandler Carruth, Titus Winters - CppCon 2019 - YouTube
youtube
John Bandela βPolymorphism != Virtual: Easy, Flexible Runtime Polymorphism Without Inheritanceβ - YouTube
youtube
J. Bialek, S. Block βKilling Uninitialized Memory: Protecting the OS Without Destroying Performanceβ - YouTube
youtube
Back to Basics: Type Erasure - Arthur O'Dwyer - CppCon 2019 - YouTube
youtube
MIT OpenCourseWare - YouTube
youtube
Better Code: Relationships - Sean Parent - CppCon 2019 - YouTube
youtube
Freestanding C++ - Past, Present, and Future - Ben Saks - YouTube
youtube
C++ Weekly - Ep 190 - The Important Parts of C++17 in 10 Minutes - YouTube
youtube
C++ Class Natures in Their Canonical Form and How to Find Them - Peter Sommerlad - CppCon 2019 - YouTube
youtube
CppCon 2019: Louis Dionne βThe C++ ABI From the Ground Upβ - YouTube
youtube
"Uptime 15,364 days - The Computers of Voyager" by Aaron Cummings - YouTube
youtube
Cryptography Research - YouTube
youtube
Brian Beckman: Don't fear the Monad - YouTube
youtube
Episode #56 - with Juan Pedro Bolivar Puente - YouTube
youtube
Programing: The Last 4000 Years - Juanpe BolΓvar [ CppCon 2017 ] - YouTube
youtube
Homomorphic Encryption for Arithmetic of Approximate Numbers - YouTube
youtube
Strange Loop Conference - YouTube
youtube
Mathieu Ropert βThis Videogame Programmer Used the STL and You Will Never Guess What Happened Nextβ - YouTube
youtube
CppCon 2018: Juan Pedro Bolivar Puente βThe Most Valuable Valuesβ - YouTube
youtube
The Future of Mathematics? - YouTube
youtube
Stephan T. Lavavej βFloating-Point οΌcharconvοΌ: Making Your Code 10x Faster With C++17's Final Bossβ - YouTube
youtube
Better Code: Runtime Polymorphism - Sean Parent - YouTube
youtube
Equivalence relation - Wikipedia
Exponential distribution - Wikipedia
Denotational semantics - Wikipedia
Binary relation - Wikipedia
Binary relation - Wikipedia
Model theory - Wikipedia
Ring of sets - Wikipedia
Riemannian manifold - Wikipedia
Quotient space (topology) - Wikipedia
Reinforcement learning - Wikipedia, the free encyclopedia
Alphaβbeta pruning - Wikipedia
Fast Fourier transform - Wikipedia
https://blog.gotocon.com/
Relational calculus - Wikipedia
General topology - Wikipedia
Maxwell's demon - Wikipedia
Binary relation - Wikipedia
Beeman's algorithm - Wikipedia
Residuated Boolean algebra - Wikipedia
Residuated lattice - Wikipedia
Monte Carlo tree search - Wikipedia
Stream cipher - Wikipedia
Relation algebra - Wikipedia
Ternary relation - Wikipedia
Serial relation - Wikipedia
Reference Documentation
Chapter 10. Boost.ContainerHash
Boost Libraries
Idris: A Language for Type-Driven Development
Record (computer science) - Wikipedia
Call Traits
Horn clause - Wikipedia
https://ncatlab.org/homotopytypetheory/show/universe#cumulativity
Universes
Evaluation strategy - Wikipedia
Side effect (computer science) - Wikipedia
type theory - Differences between Agda and Idris - Stack Overflow
Dependent type - Wikipedia
Let expression - Wikipedia
Reddit - The heart of the internet
reddit
Category of sets - Wikipedia
Categorical logic - Wikipedia
List (abstract data type) - Wikipedia
The Unlambda Programming Language
Pipeline (software) - Wikipedia
Agda (programming language) - Wikipedia
Generic programming - Wikipedia
Strong monad - Wikipedia
Natural exponential family - Wikipedia
Independence (probability theory) - Wikipedia
Traffic generation model - Wikipedia
Dual system - Wikipedia
Distribution (mathematics) - Wikipedia
Pointwise - Wikipedia
Linear form - Wikipedia
Dual space - Wikipedia
Variadic templates in C++ - Eli Bendersky's website
Coq - Wikipedia
Naive std::function implementation | Shahar Mike's Web Spot
Phase-type distribution - Wikipedia
Exponential dispersion model - Wikipedia
Gamma distribution - Wikipedia
function_traits
Function Traits | Functional C++
To curry or not to curry - C++ Forum
C++ Programming/Code/Statements/Functions - Wikibooks, open books for an open world
Currying and partial application in C++14 / Habr
Function objects - cppreference.com
Inverse function theorem - Wikipedia
Stack machine - Wikipedia
Jacobian matrix and determinant - Wikipedia
Directional derivative - Wikipedia
Partial derivative - Wikipedia
Currying - Rosetta Code
Hom sets, Hom functors, and the Yoneda lemma
Partial application - Wikipedia
The Clean Code Talks - Don't Look For Things! - YouTube
youtube
Lambda World 2019 - Fun With Categories - Marco Perone - YouTube
youtube
Functional Programming in 40 Minutes β’ Russ Olsen β’ GOTO 2018 - YouTube
youtube
Dependency Injection - YouTube
youtube
- YouTube
youtube
The Category of Relations - YouTube
youtube
Data and Statistics (1 of 4: Introduction to Data and Statistics and various forms of data) - YouTube
youtube
https://www.youtube.com/results?search_query=cling+c%2B%2B&sp=EgIIBQ%253D%253D
Lambda World 2019 - Fun With Categories - Marco Perone - YouTube
youtube
"A Little Taste of Dependent Types" by David Christiansen - YouTube
youtube
Joe Nash: A Monad is a Burrito and other Functional Myths - YouTube
youtube
CppCon 2017: Louis Dionne βRuntime Polymorphism: Back to the Basicsβ - YouTube
youtube
Basic Linear Algebra Concepts for Tensors - YouTube
youtube
The Race For Quantum Supremacy - YouTube
youtube
Better Code: Runtime Polymorphism - Sean Parent - YouTube
youtube
Probability Overview (summary of concepts & tools) - YouTube
youtube
Back to Basics: Understanding Value Categories - Ben Saks - CppCon 2019 - YouTube
youtube
Better Code: Relationships - Sean Parent - CppCon 2019 - YouTube
youtube
Mathieu Ropert βThis Videogame Programmer Used the STL and You Will Never Guess What Happened Nextβ - YouTube
youtube
Better Code: Runtime Polymorphism - Sean Parent - YouTube
youtube
MathTheBeautiful - YouTube
youtube
Interactive C++: Meet Jupyter / Cling - Neil Horlock [ACCU 2019] - YouTube
youtube
TALKS - DESTROY ALL SOFTWARE - YouTube
youtube
Homomorphic Encryption for Arithmetic of Approximate Numbers - YouTube
youtube
Prediction with a Short Memory - YouTube
youtube
Prediction as Data Compression - YouTube
youtube
Back to Basics: Type Erasure - Arthur O'Dwyer - CppCon 2019 - YouTube
youtube
Measure Theory 2 | Borel Sigma Algebras - YouTube
youtube
Back to Basics: Virtual Dispatch and its Alternatives - Inbal Levi - CppCon 2019 - YouTube
youtube
Type-Driven Development in Idris β Edwin Brady - YouTube
youtube
Knowledge is Power: Getting out of Trouble by Understanding Git β’ Steve Smith β’ GOTO 2019 - YouTube
youtube
NDC Conferences - YouTube
youtube
Fast, Deterministic, and Sparse Dimensionality Reduction - YouTube
youtube
Bringing WebAssembly outside the web with WASI by Lin Clark - YouTube
youtube
Rust, WebAssembly, and the future of Serverless by Steve Klabnik - YouTube
youtube
C++: Ξ» Demystified - Andreas Fertig - YouTube
youtube
How to build Python-C++ libraries - JΓΈrgen Kvalsvik - YouTube
youtube
From STL to Ranges: Using Ranges Effectively - Jeff Garland - CppCon 2019 - YouTube
youtube
C++20: C++ at 40 - Bjarne Stroustrup - CppCon 2019 - YouTube
youtube
WebAssembly and the Death of JavaScript - JS Monthly - February 2018 - YouTube
youtube
Combining C++17 Features - Nicolai Josuttis - YouTube
youtube
Uncertain Models - Learning from the past and optimizing for the future - Markus Fanebust Dregi - YouTube
youtube
C++ Concepts for Developers - Hubert Matthews - YouTube
youtube
JSConf - YouTube
youtube
Why Monads? β Luca Belli - YouTube
youtube
Freestanding C++ - Past, Present, and Future - Ben Saks - YouTube
youtube
ADL's Never Is Now 2019 | ADL International Leadership Award Presented to Sacha Baron Cohen - YouTube
youtube
Better Code: Relationships - Sean Parent - CppCon 2019 - YouTube
youtube
Storage Duration and Linkage in C and C++ - Dan Saks - YouTube
youtube
Behind the Scenes of a C++ Build System - Jussi Pakkanen - CppCon 2019 - YouTube
youtube
Applied WebAssembly: Compiling and Running C++ in Your Web Browser - Ben Smith - CppCon 2019 - YouTube
youtube
The Most Average Function There Is - Andrei Alexandrescu - YouTube
youtube
Efficient Programming with Components: Lecture 4 Part 1 - YouTube
youtube
C++ Modules and Large-Scale Development (Part 1) - John Lakos - YouTube
youtube
The RSA Encryption Algorithm (1 of 2: Computing an Example) - YouTube
youtube
Understanding Git β Behind the Command Line - Enrico Campidoglio - YouTube
youtube
Embracing Modern CMake - Stephen Kelly - YouTube
youtube
"New" Features in C - Dan Saks - YouTube
youtube
Containers unplugged: understanding user namespaces - Michael Kerrisk - YouTube
youtube
Containers unplugged: Linux namespaces - Michael Kerrisk - YouTube
youtube
Better Code: Runtime Polymorphism - Sean Parent - YouTube
youtube
Generic Locking in C++ - Andrei Alexandrescu - YouTube
youtube
The General Linear Group, The Special Linear Group, The Group C^n with Componentwise Multiplication - YouTube
youtube
Math 131 Fall 2018 090718 - YouTube
youtube
Tensor algebra - Wikipedia
Product (mathematics) - Wikipedia
Grassmann number - Wikipedia
Algebra over a field - Wikipedia
Dual number - Wikipedia
List of numerical libraries - Wikipedia
GramβSchmidt process - Wikipedia
Decorator pattern - Wikipedia
Householder transformation - Wikipedia
Hessian matrix - Wikipedia
Singular value - Wikipedia
MooreβPenrose inverse - Wikipedia
Singular value decomposition - Wikipedia
Data compression ratio - Wikipedia
Numerical linear algebra - Wikipedia
Zipper (data structure) - Wikipedia
RiemannβStieltjes integral - Wikipedia
Kleisli category - Wikipedia
Gap buffer - Wikipedia
Lebesgue integral - Wikipedia
Differentiable programming - Wikipedia
Monotone convergence theorem - Wikipedia
Undefined value - Wikipedia
PeanoβJordan measure - Wikipedia
Darboux integral - Wikipedia
Operational calculus - Wikipedia
Cofinal (mathematics) - Wikipedia
Automatic differentiation - Wikipedia
Null set - Wikipedia
Lebesgue measure - Wikipedia
Polymorphism and Typeclasses
Rank-N types - HaskellWiki
Type theory - Wikipedia
Parametric polymorphism - Wikipedia
Type class - Wikipedia
Late binding - Wikipedia
Subtyping - Wikipedia
Polymorphism (computer science) - Wikipedia
Functor - Wikipedia
Jacobian conjecture - Wikipedia
Type class - Wikipedia
Random tree - Wikipedia
Mixture distribution - Wikipedia
Random variable - Wikipedia
Medial magma - Wikipedia
Command pattern - Wikipedia
Blackboard (design pattern) - Wikipedia
Signature (logic) - Wikipedia
Currying - Wikipedia
Cryptographic protocol - Wikipedia
Glossary of ring theory - Wikipedia
Homological algebra - Wikipedia
Commutative algebra - Wikipedia
Axiomatic semantics - Wikipedia
Git Expertise Hub: Essential Insights for Developers, Collaborative Teams & Git Aficionados
Fixed point (mathematics) - Wikipedia
Algorithmically random sequence - Wikipedia
Universality probability - Wikipedia
Algorithmic information theory - Wikipedia
Bernoulli number - Wikipedia
Digital Library of Mathematical Functions - Wikipedia
Register transfer language - Wikipedia
Surjective function - Wikipedia
Function composition - Wikipedia
Composition of relations - Wikipedia
Serial relation - Wikipedia
Logical matrix - Wikipedia
Composition of relations - Wikipedia
Algebra of sets - Wikipedia
Object code - Wikipedia
Algebraic logic - Wikipedia
Dagger category - Wikipedia
Symmetric relation - Wikipedia
Unit (ring theory) - Wikipedia
Binary relation - Wikipedia
Transitive relation - Wikipedia
Sigma-algebra - Wikipedia
Finitary relation - Wikipedia
Power of two - Wikipedia
Ring theory - Wikipedia
Ideal (ring theory) - Wikipedia
Algebraic structure - Wikipedia
Order theory - Wikipedia
Object file - Wikipedia
Category of relations - Wikipedia
Semigroup with involution - Wikipedia
Quick C++ Benchmarks
Involution (mathematics) - Wikipedia
cpp.chat : home
Converse relation - Wikipedia
Algebraic logic - Wikipedia
C++ Insights
Compiler Explorer
Binary relation - Wikipedia
Standard streams - Wikipedia
Making your own Linux Shell in C - GeeksforGeeks
CPP/C++ Standard Library Input and Output
#include οΌC++οΌ - #include οΌC++οΌ
Polymorphic code - Wikipedia
One-instruction set computer - Wikipedia
Matt Godbolt - YouTube
youtube
https://www.youtube.com/channel/UCHTSwSUlXoeRGGcghEm2sxA
youtube
CppCon 2018: Matt Godbolt βThe Bits Between the Bits: How We Get to main()β - YouTube
youtube
CppCon 2019: Matt Godbolt βPath Tracing Three Ways: A Study of C++ Styleβ - YouTube
youtube
Expression problem - Wikipedia
Polymorphism (computer science) - Wikipedia
A polyglot's guide to multiple dispatch - Eli Bendersky's website
Digital differential analyzer (graphics algorithm) - Wikipedia
luz-cpu/doc/luz_user_manual.rst at main Β· eliben/luz-cpu Β· GitHub
github
Reducers, transducers and core.async in Clojure - Eli Bendersky's website
A polyglot's guide to multiple dispatch - part 4 - Eli Bendersky's website
Book review: "Programming in Haskell" by Graham Hutton (2nd ed.) - Eli Bendersky's website
Affine transformations - Eli Bendersky's website
Uuid Library
CppCon 2015: Michael Caisse βUsing Spirit X3 to Write Parsersβ - YouTube
youtube
Serialization
Safe Numerics
Chapter 33. Boost.Proto
Chapter 30. Boost.Process
Chapter 1. Boost.Multiprecision
Chapter 24. Boost.Metaparse
Chapter 5. Statistical Distributions and Functions
Boost Interval Arithmetic Library
Chapter 1. Boost.Icl
Boost.HOF β Boost.HigherOrderFunctions 0.6 documentation
Chapter 1. Boost.Histogram
The Boost Format library
Filesystem Home
Chapter 1. Fiber
dynamic_bitset<Block, Allocator>
Chapter 12. Boost.CRC 1.5
Chapter 1. Coroutine2
Chapter 1. Boost.Core
Chapter 1. Boost.Contract 1.0.0
Chapter 1. Context
Chapter 1. Boost.Compute
Chapter 1. Boost.Beast
Chapter 2. Boost String Algorithms Library
Chapter 10. Boost.ContainerHash
Chapter 14. Boost.DLL
Chapter 18. Boost.Interprocess
Tutorial
User's Guide
Chapter 40. Boost.TypeErasure
Recursive data type - Wikipedia
Courses using EOPL
Users' Guide
Reference
Basics of Futexes - Eli Bendersky's website
Frequently Asked Questions (FAQ) - The Go Programming Language
proposal: spec: add sum types / discriminated unions Β· Issue #19412 Β· golang/go Β· GitHub
github
Reddit - The heart of the internet
reddit
Unification - Eli Bendersky's website
Type inference - Eli Bendersky's website
RSA - theory and implementation - Eli Bendersky's website
AES encryption of files in Go - Eli Bendersky's website
Logistic regression - Eli Bendersky's website
Beating C with 80 lines of Haskell: wc
Covariance and contravariance in subtyping - Eli Bendersky's website
CppCon 2018: Full Schedule
Some notes on Luz - an assembler, linker and CPU simulator - Eli Bendersky's website
sean-parent.github.io/better-code/01-types.md at main Β· sean-parent/sean-parent.github.io Β· GitHub
github
Loop fission and fusion - Wikipedia
Referential transparency - Wikipedia
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2479.pdf
pdf
value Β« C++Next
Want Speed? Pass by Value. Β« C++Next
Want Speed? Pass by Value. Β« C++Next
[Un]defined behavior: Operator overloading, OO the C++ way
[Un]defined behavior: Value semantics: Copy elision
Move Constructor | Andrzej's C++ blog
Miscellaneous/type_erasure.zip at master Β· boost-vault/Miscellaneous Β· GitHub
github
Lecture 19: Dynamic Programming I: Fibonacci, Shortest Paths - YouTube
youtube
Why I'm switching to C in 2019 - YouTube
youtube
Postmodern Meta C++ - Kris Jusiak - CppCon 2019 - YouTube
youtube
David Duvenaud | Reflecting on Neural ODEs | NeurIPS 2019 - YouTube
youtube
CppCon 2018: Sean Parent βBetter Code: Human Interfaceβ - YouTube
youtube
Better Code: Concurrency - Sean Parent - YouTube
youtube
Pacific++ 2018: Sean Parent "Generic Programming" - YouTube
youtube
GitHub - CppCon/CppCon2019: Slides and other materials from CppCon 2019
github
Better Algorithm Intuition - Conor Hoekstra @code_report - Meeting C++ 2019 - YouTube
youtube
Alderson Loop - Computerphile - YouTube
youtube
Glossary of set theory - Wikipedia
Set (mathematics) - Wikipedia
Set-builder notation - Wikipedia
[antlr-interest] Antlr vs Spirit
Compound Poisson distribution - Wikipedia
LΓ©vy distribution - Wikipedia
Normal distribution - Wikipedia
Query expansion - Wikipedia
Extended real number line - Wikipedia
ANTLR - Wikipedia
Truncation - Wikipedia
Unary coding - Wikipedia
Best Practices
elementary set theory - Binary operation, function composition - Mathematics Stack Exchange
Propositional logic - Wikipedia
Harmonic number - Wikipedia
Harmonic series (mathematics) - Wikipedia
Basic Files (GNU Emacs Manual)
Conjunctive normal form - Wikipedia
List of Boolean algebra topics - Wikipedia
Stemming - Wikipedia
De Morgan algebra - Wikipedia
Polish notation - Wikipedia
Iterated binary operation - Wikipedia
Golomb coding - Wikipedia
Reverse Polish notation - Wikipedia
Making sure you're not a bot!
Intro to Parsing with Parsec in Haskell
Extended BackusβNaur form - Wikipedia
STLSoft
Infix notation - Wikipedia
Clang - Features and Goals
You could have invented Parser Combinators
Euler's constant - Wikipedia
Reddit - The heart of the internet
reddit
Support (mathematics) - Wikipedia
The English (Porter2) stemming algorithm
Porter Stemming Algorithm
Tensor product - Wikipedia
The Tensor Product, Demystified
http://pubby.github.io/proposal.html
GitHub - pubby/flat: Flat containers for C++
github
Non-standard containers
std::borrow - Rust
Sum in std::iter - Rust
Product in std::iter - Rust
Cloned in std::iter - Rust
Chain in std::iter - Rust
c++11 - C++ Iterator generalize - different containers, same type - Stack Overflow
Iterator Chains as Pythonic Data Processing Pipelines β dbader.org
GitHub - mixu/pipe-iterators: Like underscore for Node streams. Functions for iterating over object mode streams: forEach, map, mapKey, reduce, filter, fromArray, toArray, fromAsync, devnull, pipe, head, tail, through, thru, writable, readable, duplex, pipeline.
github
C++ Container Flowchart - Google Drawings
C++ Tutorial => C++ Containers Flowchart
Decidability (logic) - Wikipedia
Satisfiability modulo theories - Wikipedia
Implicant - Wikipedia
Karnaugh map - Wikipedia
Length extension attack - Wikipedia
Cryptographic hash function - Wikipedia
Known-plaintext attack - Wikipedia
Classical cipher - Wikipedia
I Stream, You Stream, We All Stream for istream_iterator
Parsing expression grammar - Wikipedia
Parsnip Parser Library
Memoization - Wikipedia
Domain-specific language - Wikipedia
Parse tree - Wikipedia
Parsec - HaskellWiki
Tuple space - Wikipedia
Keyβvalue database - Wikipedia
https://cremeronline.com/LaTeX/minimaltikz.pdf
pdf
Padding (cryptography) - Wikipedia
https://compositionality-journal.org/papers/compositionality-1-3/pdf
https://compositionality-journal.org/
- YouTube
youtube
CppCon 2018: Billy O'Neal βInside Visual C++' Parallel Algorithmsβ - YouTube
youtube
C++ Programming All-in-One Tutorial Series (10 HOURS!) - YouTube
youtube
Mod-01 Lec-09 BOREL SETS AND LEBESGUE MEASURE-1 - YouTube
youtube
An Overview of Standard Ranges - Tristan Brindle - CppCon 2019 - YouTube
youtube
Modern Template Techniques - Jon Kalb - Meeting C++ 2019 - YouTube
youtube
How Far is Too Far? | The Age of A.I. - YouTube
youtube
CppCon 2017: Herb Sutter βMeta: Thoughts on generative C++β - YouTube
youtube
Scala World - YouTube
youtube
How to keep an open secret with mathematics. - YouTube
youtube
Unit type - Wikipedia
Tree (set theory) - Wikipedia
Intuitionistic type theory - Wikipedia
Church encoding - Wikipedia
Kind (type theory) - Wikipedia
H-99: Ninety-Nine Haskell Problems - HaskellWiki
99 questions/54A to 60 - HaskellWiki
Data.Tree
Package-merge algorithm - Wikipedia
https://arxiv.org/pdf/1804.07236.pdf
pdf
Queueing theory - Wikipedia
Monoid - Wikipedia
Queue (abstract data type) - Wikipedia
Arithmetic coding - Wikipedia
Huffman coding - Wikipedia
Prefix code - Wikipedia
IDeserve - YouTube
youtube
3. Processing Boolean Queries - YouTube
youtube
NyquistβShannon sampling theorem - Wikipedia
http://www.cs-114.org/wp-content/uploads/2015/01/Elements_of_Information_Theory_Elements.pdf
pdf
[PDF] Variations on a theme by Huffman | Semantic Scholar
pdf
Data Compression Explained
http://stevenpigeon.com/Publications/publications/HuffmanChapter.pdf
pdf
Huffman coding - Wikipedia
Arithmetic coding - Wikipedia, the free encyclopedia
Composition Vs Inheritance - Why You Should Stop Using Inheritance - YouTube
youtube
Integral Domains (Abstract Algebra) - YouTube
youtube
Socratica - YouTube
youtube
Zeta distribution - Wikipedia
GaussβKuzmin distribution - Wikipedia
Variable-length quantity - Wikipedia
Fibonacci coding - Wikipedia
Lexicographic order - Wikipedia
Block code - Wikipedia
Universal code (data compression) - Wikipedia, the free encyclopedia
Elias delta coding - Wikipedia
Priority queue - Wikipedia
Exponential-Golomb coding - Wikipedia
Elias gamma coding - Wikipedia
Binary expression tree - Wikipedia
Field Definition (expanded) - Abstract Algebra - YouTube
youtube
Programming with Categories - Lecture 1 - YouTube
youtube
Elon Musk: Consciousness - YouTube
youtube
Bjarne Stroustrup: Deep Learning, Software 2.0, and Fuzzy Programming - YouTube
youtube
Juergen Schmidhuber: Godel Machines, Meta-Learning, and LSTMs | Lex Fridman Podcast #11 - YouTube
youtube
Stuart Russell: Long-Term Future of Artificial Intelligence | Lex Fridman Podcast #9 - YouTube
youtube
spirit/example/qi/compiler_tutorial/mini_c at master Β· boostorg/spirit Β· GitHub
github
Jeff Hawkins: Thousand Brains Theory of Intelligence | Lex Fridman Podcast #25 - YouTube
youtube
Sebastian Thrun: Flying Cars, Autonomous Vehicles, and Education | Lex Fridman Podcast #59 - YouTube
youtube
Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62 - YouTube
youtube
Stephen Kotkin: Stalin, Putin, and the Nature of Power | Lex Fridman Podcast #63 - YouTube
youtube
Lower and Upper Bound Insert Iterators - Fluent C++
The Dangers of Coupling and How to Avoid Them - Fluent C++
foonathan/memory: STL compatible C++ memory allocator library using a new RawAllocator concept that is similar to an Allocator but easier to use and write.
github
LibTooling β Clang 22.0.0git documentation
GitHub - standardese/cppast: Library to parse and work with the C++ AST
github
Code Project
Bit Twiddling Hacks
GitHub - mtrebi/memory-allocators: Custom memory allocators in C++ to improve the performance of dynamic memory allocation
github
Memory Management Glossary: F β Memory Management Reference 4.0 documentation
Memory pool - Wikipedia
Garbage Collection Algorithms - YouTube
youtube
Essentials of Interpretation. Lecture [1/18] Parsers, ASTs, Interpreters and Compilers - YouTube
youtube
Dmitry Soshnikov - YouTube
youtube
Writing a Memory Allocator β Dmitry Soshnikov
F-Algebras and C++ β Eric Niebler
https://i.cs.hku.hk/~bruno/papers/oopsla17.pdf
pdf
Distributive property - Wikipedia
QuineβMcCluskey algorithm - Wikipedia
Canonical normal form - Wikipedia
Parser combinator - Wikipedia
Petrick's method - Wikipedia
Google Search
De Morgan's laws - Wikipedia
Type signature - Wikipedia
Undecidable problem - Wikipedia
Template metaprogramming - Wikipedia
Curiously recurring template pattern - Wikipedia
Template metaprogramming - Wikipedia
Generic programming - Wikipedia
Row polymorphism - Wikipedia
Structural type system - Wikipedia
Virtual method table - Wikipedia
Inheritance (object-oriented programming) - Wikipedia
Numerical tower - Wikipedia
Abstract type - Wikipedia
Abstract data type - Wikipedia
Identity (object-oriented programming) - Wikipedia
Parametricity - Wikipedia
System F - Wikipedia
Type conversion - Wikipedia
Type system - Wikipedia
Inheritance (object-oriented programming) - Wikipedia
Bounded quantification - Wikipedia
Parametric polymorphism - Wikipedia
Type constructor - Wikipedia
Programming language - Wikipedia
Subtyping - Wikipedia
Type system - Wikipedia
Type theory - Wikipedia
Subtyping - Wikipedia
Correctness (computer science) - Wikipedia
Design by contract - Wikipedia
Liskov substitution principle - Wikipedia
Constructor (object-oriented programming) - Wikipedia
Applied Category Theory. Chapter 1, lecture 1 (Spivak) - YouTube
youtube
Build Your Own WebAssembly Compiler - YouTube
youtube
Types of Data: Nominal, Ordinal, Interval/Ratio - Statistics Help - YouTube
youtube
Deep Learning State of the Art (2020) - YouTube
youtube
'Experimenting with Primes' - Dr Holly Krieger - YouTube
youtube
Number Theory - YouTube
youtube
Type punning in modern C++ - Timur Doumler - CppCon 2019 - YouTube
youtube
Calculus - YouTube
youtube
Information, Evolution, and intelligent Design - With Daniel Dennett - YouTube
youtube
https://www.youtube.com/feed/history
- YouTube
youtube
Concepts - Evolution or Revolution - Rainer Grimm - Meeting C++ 2019 - YouTube
youtube
C++Now 2018: Lisa Lippincott βOpening Keynote: The Shape of a Programβ - YouTube
youtube
Why Monads? β Luca Belli - YouTube
youtube
Compositionality β First Issue | Azimuth
MIT 18.S097: Programming with Categories
CQL
http://brendanfong.com/programmingcats_files/flyer.pdf
pdf
C++Now 2019: Michael Caisse βEmbedded Domain Specific Languages for Embedded Bare Metal Projectsβ - YouTube
youtube
F-Algebras | Bartosz Milewski's Programming Cafe
CppCon 2015: Michael Caisse βUsing Spirit X3 to Write Parsersβ - YouTube
youtube
What is Category Theory Anyway?
Simple Algebraic Data Types | Bartosz Milewski's Programming Cafe
https://blog.statebox.org/abstraction-is-the-new-gold-40cb343f156e
Simple C++11 metaprogramming, part 2
Monadic Warsaw - YouTube
youtube
Type Erasure for Unopinionated Interfaces in C++ β Peter Goldsborough
FastFilter Β· GitHub
[1912.08258] Xor Filters: Faster and Smaller Than Bloom and Cuckoo Filters
arxiv
Cuckoo filter - Wikipedia
Daniel Lemire's blog β Daniel Lemire is a software performance expert. He ranks among the top 2% of scientists globally (Stanford/Elsevier 2024) and is one of GitHub's top 1000 most followed developers.
CppCon 2014: Michael Caisse "The Canonical Class" - YouTube
youtube
C++Now 2017: Michael Caisse βModern C++β - YouTube
youtube
The 2020 Arnold Pro Strongman USA Qualifier - Full Day Live Stream - YouTube
youtube
- YouTube
youtube
Comparing C to machine language - YouTube
youtube
Michael Caisse: Solving World Problems with Fusion - YouTube
youtube
Boost.Hana: User Manual
Ben Eater - YouTube
youtube
Chapter 1. Boost.Bimap
3.3.7-Linear Algebra: Vector and Matrix Norms - YouTube
youtube
CppCon 2016: Tim Haines βImproving Performance Through Compiler Switches..." - YouTube
youtube
Mod-01 Lec-08 GENERATED Ξ£-ALGEBRA, BOREL SETS - YouTube
youtube
Topos Institute - YouTube
youtube
The Royal Institution - YouTube
youtube
MIT Technology Review - YouTube
youtube
'Become a GDB Power User' - Greg Law [ ACCU 2016 ] - YouTube
youtube
An Introduction to the James Webb Space Telescope Mission - YouTube
youtube
Lebesgue Integral Example - YouTube
youtube
- YouTube
youtube
"Model Citizen" | Dystopian Animated Short Film (2020) - YouTube
youtube
Gabriel Lebec - YouTube
youtube
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II - YouTube
youtube
CppNuts - YouTube
youtube
Reactive Systems β’ Dave Farley β’ GOTO 2019 - YouTube
youtube
Reddit - The heart of the internet
reddit
Rateβdistortion theory - Wikipedia
[1912.12693] A Gentle Introduction to Deep Learning for Graphs
arxiv
Procedural Generation: Programming The Universe - YouTube
youtube
Measure Theory 1 | Sigma Algebras - YouTube
youtube
[1310.7930] Differential cohomology in a cohesive infinity-topos
arxiv
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.3071
http://math.ucr.edu/home/baez/continuum.pdf
pdf
Computation and Thermodyamics
The Mathematics of Networks
Mathematics of Lattices - YouTube
youtube
The Mathematics of Networks - YouTube
youtube
Compositionality in Network Theory
http://compositionality-journal.org/
Azimuth
John Baez's Stuff
Google Search
https://www.youtube.com/results?search_query=bernie+sanders+documentary
Michael Caisse: Solving World Problems with Fusion - YouTube
youtube
SHOCKING Revelations from John Bolton's New Book - YouTube
youtube
Mike Pompeo ATTACKS NPR Reporter - YouTube
youtube
DNC Caught Attempting To Sabotage Bernie Sanders - YouTube
youtube
NY Mag Attempts To Gaslight Sanders Supporters - YouTube
youtube
Borel isomorphism - Wikipedia
The Young Turks - YouTube
youtube
http://www.cplusplus.com/reference/set/set/count/
Algorithms for Lattice Problems - YouTube
youtube
Measurable function - Wikipedia
Motivation for a Definition of a Topos - YouTube
youtube
http://www.cplusplus.com/reference/set/set/insert/
http://athenasc.com/Prob-2nd-Ch1.pdf
pdf
The Little Typer
Radon measure - Wikipedia
Probability measure - Wikipedia
Integrated information theory - Wikipedia
Partial Type Constructors - Or, Making Ad Hoc Datatypes Less Ad Hoc - YouTube
youtube
[noise filtered] Optimizing Generic Algorithms - Denis Yaroshevskiy - Meeting C++ 2019 - YouTube
youtube
Neural Network Architectures & Deep Learning - YouTube
youtube
Homotopy Type Theory Discussed - Computerphile - YouTube
youtube
- YouTube
youtube
A Role for Dependent Types in Haskell - YouTube
youtube
- YouTube
youtube
Leonard Susskind: Quantum Mechanics, String Theory and Black Holes | Lex Fridman Podcast #41 - YouTube
youtube
Peter Norvig: Artificial Intelligence: A Modern Approach | Lex Fridman Podcast #42 - YouTube
youtube
Michio Kaku: Future of Humans, Aliens, Space Travel & Physics | Lex Fridman Podcast #45 - YouTube
youtube
Bjarne Stroustrup: C++ | Lex Fridman Podcast #48 - YouTube
youtube
Noam Chomsky: Language, Cognition, and Deep Learning | Lex Fridman Podcast #53 - YouTube
youtube
https://arxiv.org/pdf/1801.04016.pdf
pdf
Judea Pearl: Causal Reasoning, Counterfactuals, and the Path to AGI | Lex Fridman Podcast #56 - YouTube
youtube
Jim Gates: Supersymmetry, String Theory and Proving Einstein Right | Lex Fridman Podcast #60 - YouTube
youtube
The Jim Keller Interview - YouTube
youtube
Jim Keller: Mooreβs Law is Not Dead - YouTube
youtube
Meeting Cpp - YouTube
youtube
Introduction to Computer Graphics - YouTube
youtube
Complete Statistical Theory of Learning (Vladimir Vapnik) | MIT Deep Learning Series - YouTube
youtube
High Performance Computing Conference - Forrest Norrod - YouTube
youtube
3 Ways We Build 3D NAND Skyscrapers - Western Digital Corporate Blog
Category Theory Foundations, Lecture 2 - YouTube
youtube
Realization (probability) - Wikipedia
Wavelet transform - Wikipedia
Locality-sensitive hashing - Wikipedia
Probabilistic Turing machine - Wikipedia
Quantum information science - Wikipedia
Quantum logic gate - Wikipedia
Quantum logic gate - Wikipedia
Fast WalshβHadamard transform - Wikipedia
Hadamard matrix - Wikipedia
Haar wavelet - Wikipedia
Panel - Can Quantum Theory Consistently Describe Itself? - YouTube
youtube
CryptoVerif - Wikipedia
BLAKE (hash function) - Wikipedia
Poly1305 - Wikipedia
SipHash - Wikipedia
Curve25519 - Wikipedia
Salsa20 - Wikipedia
- YouTube
youtube
CppCon 2019: Marc Gregoire βC++20: What's in it for you?" - YouTube
youtube
It all comes down to respecting levels of abstraction - Fluent C++
Considering Rust - YouTube
youtube
Don't Make Your Interfaces *Deceptively* Simple - Fluent C++
The SoA Vector - Part 2: Implementation in C++ - Fluent C++
Typed lambda calculus - Wikipedia
How to Combine Functions with Logical Operators in C++ - Fluent C++
Extensionality - Wikipedia
Virtual, final and override in C++ - Fluent C++
C++ Regex 101 - Fluent C++
Fluent C++ - Page 3 of 45 - Jonathan Boccara's blog
Monads in C++ | Bartosz Milewski's Programming Cafe
Covariance and Contravariance in C++ Standard Library
[2001.09977] Towards a Human-like Open-Domain Chatbot
arxiv
- YouTube
youtube
Monolith Decomposition Patterns β’ Sam Newman β’ GOTO 2019 - YouTube
youtube
Cubical β Agda 2.6.0.1 documentation
Homotopy Type Theory
Lee Smolin: Quantum Gravity and Einstein's Unfinished Revolution | Lex Fridman Podcast #79 - YouTube
youtube
The Language of the System - Rich Hickey - YouTube
youtube
Poisson distribution - Wikipedia
Predicate (logic) - Wikipedia
Binomial distribution - Wikipedia
Bjarne Stroustrup - Object Oriented Programming without Inheritance - ECOOP 2015 - YouTube
youtube
Indicator function (convex analysis) - Wikipedia
Indicator function - Wikipedia
Restriction (mathematics) - Wikipedia
https://arxiv.org/pdf/1905.08359.pdf
pdf
Boolean function - Wikipedia
Metric space - Wikipedia
Discrete space - Wikipedia
Conditional expectation - Wikipedia
Counting measure - Wikipedia
Probability mass function - Wikipedia
Conditional entropy - Wikipedia
Lambda calculus - Wikipedia
Surprisal analysis - Wikipedia
Entropy - Wikipedia
Information content - Wikipedia
Actor model - Wikipedia
AlphaGo - The Movie | Full award-winning documentary - YouTube
youtube
Parallel RAM - Wikipedia
Theory of computation - Wikipedia
Execution model - Wikipedia
(How to Write a (Lisp) Interpreter (in Python))
Mechanism (philosophy) - Wikipedia
Digital physics - Wikipedia
Hilary Putnam - Wikipedia
Digital physics - Wikipedia
Efficient Programming with Components: Lecture 5 Part 2 - YouTube
youtube
Digital physics - Wikipedia
Programming Conversations Lecture 3 part 2 - YouTube
youtube
Homoiconicity - Wikipedia
Natural computing - Wikipedia
Hal Abelson - Wikipedia
Scheme (programming language) - Wikipedia
Bekenstein bound - Wikipedia
Lecture 5A: Assignment, State, and Side-effects - YouTube
youtube
Finitism - Wikipedia
Temporal finitism - Wikipedia
Primitive recursive arithmetic - Wikipedia
Ultrafinitism - Wikipedia
Structure and Interpretation of Computer Programs - Wikipedia
Brute-force search - Wikipedia
Turing machine examples - Wikipedia
Finite-state machine - Wikipedia
Wolfram's 2-state 3-symbol Turing machine - Wikipedia
REST - Wikipedia
Alphabet (formal languages) - Wikipedia
Gerald Jay Sussman - Wikipedia
Logo (programming language) - Wikipedia
"An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke - YouTube
youtube
Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones - YouTube
youtube
Essentials of Programming Languages - Wikipedia
John Hopfield: Physics View of the Mind and Neurobiology | Lex Fridman Podcast #76 - YouTube
youtube
gRPC - Wikipedia
Lecture - 25 Rule Based Expart System - YouTube
youtube
- YouTube
youtube
1. Introduction to Statistics - YouTube
youtube
Partial function - Wikipedia
Kubernetes - Wikipedia
John von Neumann - Wikipedia
What Exists? | Episode 1710 | Closer To Truth - YouTube
youtube
How to Do 90% of What Plugins Do (With Just Vim) - YouTube
youtube
Pipeline (Unix) - Wikipedia
Stored-program computer - Wikipedia
HyperLogLog - Wikipedia
Universal Turing machine - Rosetta Code
pandas.Series.rolling β pandas 2.3.3 documentation
Unix philosophy - Wikipedia
Writing an LLVM Backend β LLVM 22.0.0git documentation
NYU Login
pdf
http://theory.cs.princeton.edu/complexity/book.pdf
pdf
http://morphett.info/turing/#LoadMenu
10.2.5 Models of Computation - YouTube
youtube
Docker (software) - Wikipedia
Google Search
- YouTube
youtube
Resource-oriented computing - Wikipedia
Fauci says Cuomo needs 30,000 ventilators for New Yorkers
Discussion: Making Programming Language Parsers, etc (Q&A is in separate video). - YouTube
youtube
Lecture 7: Debugging and Profiling (2020) - YouTube
youtube
MIT 6.002 Circuits and Electronics, Spring 2007 - YouTube
youtube
MIT Calculus Revisited: Calculus of Complex Variables - YouTube
youtube
MIT 16.842 Fundamentals of Systems Engineering, Fall 2015 - YouTube
youtube
AlphaStar HUMILIATOR - YouTube
youtube
Lecture 2: Entropy and Data Compression (I): Introduction to Compression, Inf.Theory and Entropy - YouTube
youtube
MIT 8.06 Quantum Physics III, Spring 2018 - YouTube
youtube
MIT 5.61 Physical Chemistry, Fall 2017 - YouTube
youtube
An Interview with Gilbert Strang on Teaching Linear Algebra - YouTube
youtube
Part 1: The Column Space of a Matrix - YouTube
youtube
Lecture 1: Introduction and Lumped Abstraction | Circuits and Electronics | Electrical Engineering and Computer Science | MIT OpenCourseWare
Electric Charge and Electric Field Part 1 - YouTube
youtube
Live CEOing Ep 348: Language Design in Wolfram Language [Echo, TuringMachine & Association] - YouTube
youtube
What is electricity? - Electricity Explained - (1) - YouTube
youtube
Lecture 3: Superposition, ThΓ©venin and Norton | Circuits and Electronics | Electrical Engineering and Computer Science | MIT OpenCourseWare
Beginner Electronics - 1 - Introduction (updated) - YouTube
youtube
Is Death Final? | Episode 1306 | Closer To Truth - YouTube
youtube
undefined - YouTube
youtube
Lec 2 | MIT 6.002 Circuits and Electronics, Spring 2007 - YouTube
youtube
How Electromotive Force Works - YouTube
youtube
MIT 3.021J Introduction to Modeling and Simulation, Spring 2012 - YouTube
youtube
MIT 6.003 Signals and Systems, Fall 2011 - YouTube
youtube
MIT 2.087 Engineering Mathematics: Linear Algebra and ODEs, Fall 2014 - YouTube
youtube
MIT 6.890 Algorithmic Lower Bounds, Fall 2014 - YouTube
youtube
MIT Learn Differential Equations - YouTube
youtube
MIT 6.034 Artificial Intelligence, Fall 2010 - YouTube
youtube
MIT 8.333 Statistical Mechanics I: Statistical Mechanics of Particles, Fall 2013 - YouTube
youtube
MIT 10.34 Numerical Methods Applied to Chemical Engineering, Fall 2015 - YouTube
youtube
MIT 6.0002 Introduction to Computational Thinking and Data Science, Fall 2016 - YouTube
youtube
MIT 16.412J Cognitive Robotics, Spring 2016 - YouTube
youtube
MIT MAS.S62 Cryptocurrency Engineering and Design, Spring 2018 - YouTube
youtube
6.0001 Introduction to Computer Science and Programming in Python. Fall 2016 - YouTube
youtube
MIT 18.065 Matrix Methods in Data Analysis, Signal Processing, and Machine Learning, Spring 2018 - YouTube
youtube
10. The Four Fundamental Subspaces - YouTube
youtube
Part 2: The Big Picture of Linear Algebra - YouTube
youtube
Search | MIT OpenCourseWare | Free Online Course Materials
Electric Circuits - YouTube
youtube
Invited Talk - Guy Steele - YouTube
youtube
Simply Electronics - YouTube
youtube
Khan Academy
Khan Academy
Category Theory For Beginners: Functors And The Category Of Categories - YouTube
youtube
Physics in Clojure - Colin Smith - YouTube
youtube
Turning Magnetism Into Electricity (Electrodynamics) - YouTube
youtube
Lecture 3: Entropy and Data Compression (II): Shannon's Source Coding Theorem, The Bent Coin Lottery - YouTube
youtube
Operational Amplifier: Non-Inverting Op-Amp and Op-Amp as Buffer (Op-Amp as Voltage Follower) - YouTube
youtube
Lec 3 | MIT 6.002 Circuits and Electronics, Spring 2007 - YouTube
youtube
Power For Your Electronics Projects - Voltage Regulators and Converters - YouTube
youtube
Living Stars & Conscious Stellar Objects - YouTube
youtube
Michael Betancourt: Scalable Bayesian Inference with Hamiltonian Monte Carlo - YouTube
youtube
NUVIA: The Tesla of Silicon? - YouTube
youtube
Khan Academy
Digital signal processing (DSP) consulting
Universal algebra - Wikipedia
Left Inverse for All is Right Inverse - ProofWiki
Relating Fourier series and Fourier Transforms
Ordered vector space - Wikipedia
The problem of extending partial functions | SpringerLink
Production system (computer science) - Wikipedia
Sum of normally distributed random variables - Wikipedia
Distribution of the product of two random variables - Wikipedia
Relationships among probability distributions - Wikipedia
Cauchy distribution - Wikipedia
Evaluation β’ Chapter 7 β’ Build Your Own Lisp
Probability space - Wikipedia
Transformation language - Wikipedia
Algorithmic state machine - Wikipedia
Lattice (group) - Wikipedia
Moore machine - Wikipedia
Mealy machine - Wikipedia
Expert system - Wikipedia
Sequential logic - Wikipedia
Forward chaining - Wikipedia
Von Neumann universal constructor - Wikipedia
Differentiable neural computer - Wikipedia
Geometric distribution - Wikipedia
Associative property - Wikipedia
Operational amplifier - Wikipedia
Agent57: Outperforming the human Atari benchmark - Google DeepMind
Program transformation - Wikipedia
State-transition table - Wikipedia
Binary operation - Wikipedia
https://homepages.cwi.nl/~paulk/publications/TOSEM03.pdf
pdf
Operation (mathematics) - Wikipedia
STL Algorithms on Tuples - Fluent C++
Involution (mathematics) - Wikipedia
Algebraic logic - Wikipedia
Converse relation - Wikipedia
Multivalued function - Wikipedia
http://elementsofprogramming.com/eop.pdf
pdf
c++ - Force compiler to not optimize side-effect-less statements - Stack Overflow
Steiner system - Wikipedia
Pythagorean triple - Wikipedia
Definition:Group Product/Group Law - ProofWiki
Definition:Group Product - ProofWiki
number theory - $k^{2}+(k+1)^{2}$ being a perfect square for infinitely many $k$ - Mathematics Stack Exchange
Binary function - Wikipedia
Binary relation - Wikipedia
Partial algebra - Wikipedia
logic - Interesting properties of ternary relations? - Mathematics Stack Exchange
Groups: Semigroups With a Left Identity and Left Inverses are Groups - YouTube
youtube
MIT OpenCourseWare - YouTube
youtube
Part II: Vector Calculus, Lec 3 | MIT Calculus Revisited: Multivariable Calculus - YouTube
youtube
Lecture 9: Max-Min and Least Squares | Multivariable Calculus | Mathematics | MIT OpenCourseWare
Lec 1 | MIT 18.03 Differential Equations, Spring 2006 - YouTube
youtube
MIT 6.851 Advanced Data Structures, Spring 2012 - YouTube
youtube
MIT 18.650 Statistics for Applications, Fall 2016 - YouTube
youtube
MIT 6.046J Design and Analysis of Algorithms, Spring 2015 - YouTube
youtube
Lec 10: Second derivative test; boundaries & infinity | MIT 18.02 Multivariable Calculus, Fall 2007 - YouTube
youtube
MIT 6.858 Computer Systems Security, Fall 2014 - YouTube
youtube
MIT 18.086 Mathematical Methods for Engineers II, Spring '06 - YouTube
youtube
Solution for Any Input - YouTube
youtube
21. Probabilistic Inference I - YouTube
youtube
MIT 18.217 Graph Theory and Additive Combinatorics, Fall 2019 - YouTube
youtube
Week 1 - Tuple Arithmetic - YouTube
youtube
Lecture 8: Partial Derivatives | Multivariable Calculus | Mathematics | MIT OpenCourseWare
Normal Subgroups and Quotient Groups (aka Factor Groups) - Abstract Algebra - YouTube
youtube
A Vision of Linear Algebra - YouTube
youtube
MIT 18.06SC Linear Algebra, Fall 2011 - YouTube
youtube
MIT 6.004 Computation Structures, Spring 2017 - YouTube
youtube
MIT 6.001 Structure and Interpretation, 1986 - YouTube
youtube
MIT 6.042J Mathematics for Computer Science, Spring 2015 - YouTube
youtube
MIT RES.6-012 Introduction to Probability, Spring 2018 - YouTube
youtube
MIT 8.03SC Physics III: Vibrations and Waves, Fall 2016 - YouTube
youtube
MIT 8.01SC Classical Mechanics, Fall 2016 - YouTube
youtube
MIT 18.03 Differential Equations, Spring 2006 - YouTube
youtube
Part II: Vector Calculus, Lec 1 | MIT Calculus Revisited: Multivariable Calculus - YouTube
youtube
Multiple dispatch over covariant functions - Simplify C++!
Alfredo Correa / boost-covariant Β· GitLab
gitlab
Differentiable manifold - Wikipedia
Homomorphic encryption
Logical conjunction - Wikipedia
injective function - Google Search
Identity element - Wikipedia
Birthday problem - Wikipedia
Boolean ring - Wikipedia
Homomorphic encryption - Wikipedia
Gibbs' inequality - Wikipedia
The Lost Art Of The Storage Mapping Function
Differential geometry - Wikipedia
Bhargava factorial - Wikipedia
Entropy (information theory) - Wikipedia
Manifold - Wikipedia
Tensor field - Wikipedia
Multilinear map - Wikipedia
Linear form - Wikipedia
Overload: Build a Variant Visitor on the Fly - Simplify C++!
Tensor - Wikipedia
Noetherian ring - Wikipedia
Ideal theory - Wikipedia
Lie algebra - Wikipedia
Group (mathematics) - Wikipedia
Cayley table - Wikipedia
Category theory - Wikipedia
GF(2) - Wikipedia
Homomorphism - Wikipedia
Elementary function - Wikipedia
ProPublica β Investigative Journalism and News in the Public Interest
Lie group - Wikipedia
Composition (combinatorics) - Wikipedia
Pointwise product of functions - Calculus
Taylor series - Wikipedia
Geometric mean - Wikipedia
cephes
Idempotent (ring theory) - Wikipedia
Barnes G-function - Wikipedia
Error function - Wikipedia
Generalizations of the factorial - OeisWiki
Extended precision special functions library
Divisor function - Wikipedia
Electrical load - Wikipedia
http://www.cplusplus.com/reference/cmath/log/
Negative binomial distribution - Wikipedia
Functors | Bartosz Milewski's Programming Cafe
Google Search
Symmetric difference - Wikipedia
Symmetric difference - Wikipedia
Injective, Surjective and Bijective
Variable-length encoding - Wikipedia
Parametric polymorphism - Wikipedia
Twelvefold way - Wikipedia
Watterson estimator - Wikipedia
Homomorphic Encryption-Based LSB Substitution for High Capacity Data Hiding in the Encrypted Domain | IEEE Journals & Magazine | IEEE Xplore
A very casual introduction to Fully Homomorphic Encryption β A Few Thoughts on Cryptographic Engineering
Algebraic normal form - Wikipedia
Binomial distribution - Wikipedia
https://www.cs.utexas.edu/users/wcook/papers/OOPvsADT/CookOOPvsADT90.pdf
pdf
e (mathematical constant) - Wikipedia
Object-oriented programming in C - Florian octo Forster's Homepage
Introduction β Homomorphic Encryption Standardization
Opaque data type - Wikipedia
Substitution cipher - Wikipedia
Stop reimplementing the virtual table and start using double dispatch β Andy G's Blog
Launching SageMath - Installation Guide
How To Use std::visit With Multiple Variants and Parameters - C++ Stories
Coupon collector's problem - Wikipedia
https://www.cs.colby.edu/maxwell/courses/tutorials/maketutor/
GitHub - google/benchmark: A microbenchmark support library
github
ELS - On the {lambda way} - YouTube
youtube
CppCon 2017: Charles Bailey βEnough x86 Assembly to Be Dangerousβ - YouTube
youtube
Some Of My Favorite YouTube Channels from Engineering to Woodworking; #079 - YouTube
youtube
Turning Magnetism Into Electricity (Electrodynamics) - YouTube
youtube
The Ego is the Source of Fear - Steven Pressfield | AI Podcast Clips - YouTube
youtube
CppCon 2017: John Regehr βUndefined Behavior in 2017 (part 1 of 2)β - YouTube
youtube
CppCon 2017: Chandler Carruth βGoing Nowhere Fasterβ - YouTube
youtube
Laura Fredrickson: The ends of the Hitchin moduli space - YouTube
youtube
CppCon 2018: JF Bastien βSigned integers are two's complementβ - YouTube
youtube
C++ Weekly - Ep 225 - Understanding Operator Overloading - YouTube
youtube
CppCon 2018: Alan Talbot βMoving Faster: Everyday efficiency in modern C++β - YouTube
youtube
How Does the Power Grid Work? - YouTube
youtube
6. Monte Carlo Simulation - YouTube
youtube
Let's talk about being armed and black.... - YouTube
youtube
EM Waves - YouTube
youtube
The Story of Electricity Full Episode - YouTube
youtube
CppCon 2017: Matt Godbolt βWhat Has My Compiler Done for Me Lately? Unbolting the Compiler's Lidβ - YouTube
youtube
What the HECK is a Tensor?!? - YouTube
youtube
Abstract Algebra - YouTube
youtube
Category Theory 7.1: Functoriality, bifunctors - YouTube
youtube
David Patterson: Computer Architecture and Data Storage | Lex Fridman Podcast #104 - YouTube
youtube
CppCon 2018: Fedor Pikus βDesign for Performanceβ - YouTube
youtube
CppCon 2019: Matt Godbolt βPath Tracing Three Ways: A Study of C++ Styleβ - YouTube
youtube
CppCon 2018: Stoyan Nikolov βOOP Is Dead, Long Live Data-oriented Designβ - YouTube
youtube
MIT 6.S191 (2020): Introduction to Deep Learning - YouTube
youtube
CppCon 2018: Timur Doumler βCan I has grammar?β - YouTube
youtube
CppCon 2017: John D. Woolverton βC Pointersβ - YouTube
youtube
CppCon 2018: Simon Brand βHow C++ Debuggers Workβ - YouTube
youtube
Physics is still in crisis - YouTube
youtube
CppCon 2018: Matt Godbolt βThe Bits Between the Bits: How We Get to main()β - YouTube
youtube
How Interstellar Created A Movie Inside A Movie - YouTube
youtube
KEYNOTE: What Everyone Should Know About How Amazing Compilers Are - Matt Godbolt [C++ on Sea 2019] - YouTube
youtube
CppCon 2018: Greg Law βDebugging Linux C++β - YouTube
youtube
CppCon 2018: Kostya Serebryany βMemory Tagging and how it improves C/C++ memory safetyβ - YouTube
youtube
THE MOUNTAIN TRAINS TO BECOME ICELANDS STRONGEST MAN FOR THE TENTH TIME! - YouTube
youtube
the C language (part 1 of 5) - YouTube
youtube
Coronavirus IX: Evictions: Last Week Tonight with John Oliver (HBO) - YouTube
youtube
New Alternative to Kardashev Scale Explains Fermi Paradox - YouTube
youtube
Standard C++
std::experimental::ostream_joiner - cppreference.com
More Powerful Lambdas with C++20 β MC++ BLOG
Fredkin gate - Wikipedia
CppCast
Data differencing - Wikipedia
Einstein notation - Wikipedia
How Do You Interpret the Magnitude of the Covariance Between Two Variables?
Index notation - Wikipedia
Run-time type information - Wikipedia
Bar chart - Wikipedia
Reversible computing - Wikipedia
Continuous or discrete variable - Wikipedia
c++ - Unique class type Id that is safe and holds across library boundaries - Stack Overflow
Seven basic tools of quality - Wikipedia
Adam Steele
pdf
Histogram - Wikipedia
Wasserstein metric - Wikipedia
Ancilla bit - Wikipedia
Total variation - Wikipedia
Multivariable calculus - Wikipedia
Amazon.com
Refal - Wikipedia
http://xahlee.info/math/i/category_theory_brendan_fong_david_spivak_2018-03.pdf
pdf
Lambda the Ultimate | Programming Languages Weblog
Rete algorithm - Wikipedia
Combinatory logic - Wikipedia
Abstract rewriting system - Wikipedia
Slice sampling - Wikipedia
Binomial theorem - Wikipedia
Rejection sampling - Wikipedia
Randomized algorithm - Wikipedia
Gibbs sampling - Wikipedia
Uncomputation - Wikipedia
Hashing the C++ way
Making Strong Types Hashable - Fluent C++
Billiard-ball computer - Wikipedia
Toffoli gate - Wikipedia
Cumulative distribution function - Wikipedia
Total variation distance of probability measures - Wikipedia
Pseudometric space - Wikipedia
Multi-index notation - Wikipedia
RΓ©nyi entropy - Wikipedia
Glossary of calculus - Wikipedia
Multinomial theorem - Wikipedia
Run-time type information - Wikipedia
Type inference - Wikipedia
Google Search
Hellinger distance - Wikipedia
Compiler Explorer
Google Search
Are We There Yet - Rich Hickey - YouTube
youtube
The Language of the System - Rich Hickey - YouTube
youtube
The Value of Values with Rich Hickey - YouTube
youtube
Rich Hickey: Deconstructing the Database - YouTube
youtube
"Transducers" by Rich Hickey - YouTube
youtube
PolyConf 15: The Promise of Relational Programming / William Byrd - YouTube
youtube
Introduction to Cryptography by Christof Paar - YouTube
youtube
The Stunning link between Entropy, time & information | Science behind Tenet - YouTube
youtube
Correct by Construction: APIs That Are Easy to Use and Hard to Misuse - Matt Godbolt [ C++ on Sea ] - YouTube
youtube
Mechanical Computing devices, Computer Science Lecture | Sabaq.pk - YouTube
youtube
Mathematical Physics 02 - Carl Bender - YouTube
youtube
Why Isn't Functional Programming the Norm? β Richard Feldman - YouTube
youtube
Against the Noise β Functional Scala 2020 - YouTube
youtube
Goldsmiths, University of London - YouTube
youtube
Donald Knuth: "The Art of Computer Programming: Satisfiability and Combinatorics" - YouTube
youtube
Lecture 1A | MIT 6.001 Structure and Interpretation, 1986 - YouTube
youtube
Richard Feynman Computer Science Lecture - Hardware, Software and Heuristics - YouTube
youtube
Stanford Lecture - Don Knuth: The Analysis of Algorithms (2015, recreating 1969) - YouTube
youtube
A Last Lecture by Dartmouth Professor Thomas Cormen - YouTube
youtube
We Could Exploit Black Holes For Infinite Energy, Experiment Proves - YouTube
youtube
Sam Knutson - YouTube
youtube
Bjarne Stroustrup - The Essence of C++ - YouTube
youtube
EVERYONE Needs to Learn a Little Bit of AWK! - YouTube
youtube
LambdaConf - YouTube
youtube
Computing Limit - Computerphile - YouTube
youtube
Tips for cleaner code: Cleaning up IF statements - YouTube
youtube
The next big Thing - Andrei Alexandrescu - Meeting C++ 2018 Opening Keynote - YouTube
youtube
Why Isn't Functional Programming the Norm? β Richard Feldman - YouTube
youtube
Making Architecture Matter - Martin Fowler Keynote - YouTube
youtube
The Scribe's Oath β’ Robert "Uncle Bob" Martin β’ GOTO 2017 - YouTube
youtube
ITkonekt 2019 | Robert C. Martin (Uncle Bob), Clean Architecture and Design - YouTube
youtube
Martin Fowler β Microservices - YouTube
youtube
Monad (functional programming) - Wikipedia
miniKanren.org
Recursive descent parser - Wikipedia
William E. Byrd
Generic function - Wikipedia
https://scholarworks.iu.edu/dspace/bitstream/handle/2022/8777/Byrd_indiana_0093A_10344.pdf
pdf
Duck typing - Wikipedia
Haskell/The Functor class - Wikibooks, open books for an open world
http://www.math.wm.edu/~leemis/chart/UDR/PDFs/GeometricM.pdf
pdf
ΞΌ operator - Wikipedia
Reddit - The heart of the internet
reddit
Fluent C++ - Jonathan Boccara's blog
https://arxiv.org/pdf/1712.09710.pdf
pdf
Boost Libraries
Essentials of Programming Languages Language
C++ and Lisp
Execution (computing) - Wikipedia
miniKanren - Wikipedia
https://arxiv.org/pdf/1904.08555.pdf
pdf
http://open-std.org/JTC1/SC22/WG21/docs/papers/2020/p1112r3.pdf
pdf
P1609R3: C++ Should Support Just-in-Time Compilation
http://open-std.org/JTC1/SC22/WG21/docs/papers/2020/p1371r2.pdf
pdf
Late binding - Wikipedia
Automatically Generate More Operators
Write your Own Virtual Machine
Boost Libraries
Thunk - Wikipedia
C++ named requirements: Hash (since C++11) - cppreference.com
Introduction
Conjunctive grammar - Wikipedia
Comparison of parser generators - Wikipedia
https://arxiv.org/ftp/arxiv/papers/1601/1601.00529.pdf
pdf
axe/docs/AXE-Reference-v2.1.pdf at master Β· gbresearch/axe Β· GitHub
pdf
Concept (generic programming) - Wikipedia
https://www.kdd.org/exploration_files/DeRaedt.pdf?searchterm=Inductive+Logic
pdf
LightJason β Theoretical Introduction: Logic Programming
lambda calculus - How logic programming (especially ASP) is related to the reasoning in (first-order) logic? - Computer Science Stack Exchange
Probabilistic programming - Wikipedia
http://open-std.org/JTC1/SC22/WG21/docs/papers/2020/p1068r3.pdf
pdf
Dynamic dispatch - Wikipedia
Primitive recursive function - Wikipedia
Clojure - Learn Clojure - Syntax
Context-free grammar - Wikipedia
Augmented BackusβNaur form - Wikipedia
Functional logic programming - Wikipedia
Markov algorithm - Wikipedia
Symbolic artificial intelligence - Wikipedia
Program synthesis - Wikipedia
C++17: I See a Monad in Your Future! | Bartosz Milewski's Programming Cafe
Automatic programming - Wikipedia
Extreme value theory - Wikipedia
Unification (computer science) - Wikipedia
normal distribution - Minimum of a set of random variables that are normally distributed - Cross Validated
Normal distribution - Wikipedia
Generalized extreme value distribution - Wikipedia
Generalized extreme value distribution - Wikipedia
Probability distribution - Wikipedia
Boolean grammar - Wikipedia
Ring theory - Wikipedia
Primitive data type - Wikipedia
Data type - Wikipedia
Type safety - Wikipedia
When Is a Proof Actually Not? | USENIX
Free algebra - Wikipedia
A Basic Course in Real Analysis - YouTube
youtube
Sigma Algebra generated by a Class - YouTube
youtube
- YouTube
youtube
CppCon 2015: Juan Pedro BolΓvar Puente βTransducers: from Clojure to C++" - YouTube
youtube
LPC 2020 - Kernel Dependability & Assurance MC - YouTube
youtube
Andy Keep - Writing a Nanopass Compiler - YouTube
youtube
dotGo 2015 - Rob Pike - Simplicity is Complicated - YouTube
youtube
Algorithmic and microarchitecture optimizations of C++ applications - Alexander Maslennikov C++onSea - YouTube
youtube
Web of Stories - Life Stories of Remarkable People - YouTube
youtube
"Shen: A Sufficiently Advanced Lisp" by Aditya Siram - YouTube
youtube
"Literate interactive coding: Devcards" by Bruce Hauman - YouTube
youtube
- YouTube
youtube
How to Build a Virtual Machine - YouTube
youtube
How to Create a New JVM Language in Under an Hour by Oleg Ε elajev - YouTube
youtube
"Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge - YouTube
youtube
William E Byrd - Relational Interpreters, Program Synthesis, and Barliman - Code Mesh 2017 - YouTube
youtube
A Vision for Relational Programming in miniKanren - William E. Byrd - YouTube
youtube
- YouTube
youtube
https://www.youtube.com/results?search_query=william+byrd+scheme&sp=eAE%253D
PolyConf 15: The Promise of Relational Programming / William Byrd - YouTube
youtube
Socratica - YouTube
youtube
Object-Oriented Program: Best Practices - Jon Kalb [ C++ on Sea 2020 ] - YouTube
youtube
The Soul of Erlang and Elixir β’ Sasa Juric β’ GOTO 2019 - YouTube
youtube
Lecture 2: Models of Computation, Document Distance - YouTube
youtube
2. Preferences and Utility Functions - YouTube
youtube
6. Monte Carlo Simulation - YouTube
youtube
Gradient Boost Part 1 (of 4): Regression Main Ideas - YouTube
youtube
Writing an LLVM Optimization - YouTube
youtube
Map of Computer Science - YouTube
youtube
Lecture Notes | Probability and Statistics in Engineering | Civil and Environmental Engineering | MIT OpenCourseWare
pdf
The Map of Mathematics - YouTube
youtube
Lecture 2: Models of Computation, Document Distance | Introduction to Algorithms | Electrical Engineering and Computer Science | MIT OpenCourseWare
Structure and Interpretation of Computer Programs | Electrical Engineering and Computer Science | MIT OpenCourseWare
Lecture 2: Entropy and Data Compression (I): Introduction to Compression, Inf.Theory and Entropy - YouTube
youtube
Lecture 8A: Logic Programming, Part 1 - YouTube
youtube
Google Search
Google Search
Downloads β Lubuntu
WhatSoftware β’ Unbiased Software Reviews for You
4 Tips to Reset Windows Vista Password When You Forgot It
How to upgrade Windows Vista to Windows 10 | Windows Central
Software Download
NiceHash - Leading Cryptocurrency Platform for Mining
Log in to Overleaf - Overleaf, Online LaTeX Editor
How do you write class templates?
Microtype - Thesis in LaTeX
makefile - How to properly 'make' a latex project? - TeX - LaTeX Stack Exchange
Object - cppreference.com
Introducing vcperf /timetrace for C++ build time analysis - C++ Team Blog
Most vexing parse - Wikipedia
We already have uniform initialization, stop proposing braced initialization as a solution for everything Β· Fekir's Blog
C++ Core Guidelines
Another polymorphism | Andrzej's C++ blog
Reddit - The heart of the internet
reddit
Variant Visitation V2 β Michael Park
Procedural Programming: Itβs Back? It Never Went Away - Kevlin Henney [ACCU 2018] - YouTube
youtube
CppCon 2018: Mateusz Pusz βEffective replacement of dynamic polymorphism with std::variantβ - YouTube
youtube
https://wandbox.org/permlink/YXLR8D0i12mi0dlF
Everything You Need to Know About std::variant from C++17 - C++ Stories
Lambda Week: Going Generic - C++ Stories
Friendly reminder to mark your move constructors noexcept β Andy G's Blog
Why I like C++ attributes
C++20 books
A Buffers Library for C++20: Part 1
Why Keras is the Best Deep Learning API | Built In
Mathematics and Computation | Every proof assistant: MMT
Rackspace takes a look at the ERLANG programming language for distributed computing - YouTube
youtube
Rackspace takes a look at the ERLANG programming language for distributed computing - YouTube
youtube
The Bright Side of Mathematics - YouTube
youtube
Erlang Solutions - YouTube
youtube
Working With Images in Julia | Week 1, lecture 3 | 18.S191 MIT Fall 2020 | Grant Sanderson - YouTube
youtube
Quick install - TeX Live - TeX Users Group
https://www.tug.org/texlive/doc/texlive-en/texlive-en.pdf
pdf
Windows - TeX Live - TeX Users Group
Google Search
HardyβWeinberg principle - Wikipedia
What is the normal approximation of the multinomial distribution? - Cross Validated
The Racket Guide
2 Rosette Essentials
Rosette: Papers
GitHub - jamesbornholt/quivela: Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
github
Ocelot
GitHub - emina/rosette: The Rosette solver-aided host language, sample solver-aided DSLs, and demos
github
GitHub - HDembinski/histogram: Fast multi-dimensional histogram with convenient interface for C++14
github
Probability density function - Wikipedia
Signal processing - Wikipedia
Infinite impulse response - Wikipedia
Zeros and poles - Wikipedia
Elements of Distribution Theory - Thomas A. Severini - Google Books
http://www.stat.umn.edu/geyer/5102/notes/brand.pdf
pdf
Ed231C: Multinomial Logistic Regression Models
Centering matrix - Wikipedia
Negative multinomial distribution - Wikipedia
Polynomial - Wikipedia
Multinomial distribution - Wikipedia
Lag operator - Wikipedia
White noise - Wikipedia
Stationary process - Wikipedia
Time series - Wikipedia
Stochastic process - Wikipedia
Autoregressive model - Wikipedia
Time Series Talk : Moving Average Model - YouTube
youtube
- YouTube
youtube
Lec - 01 Normed Linear Space || Definition and Concepts || Functional Analysis - YouTube
youtube
Asymptotic distribution of multinomial - Cross Validated
Maths with Ganesh Sir - YouTube
youtube
An introduction to Reinforcement Learning - YouTube
youtube
Geek's Lesson - YouTube
youtube
ROOT: analyzing petabytes of data, scientifically. - ROOT
GSL - GNU Scientific Library - GNU Project - Free Software Foundation
Overview
Reddit - The heart of the internet
reddit
LambdaConf - YouTube
youtube
Every Alan Kay Video - YouTube
youtube
NorfolkDevelopers - YouTube
youtube
CppCon - YouTube
youtube
CppCon - YouTube
youtube
Variational Autoencoders - EXPLAINED! - YouTube
youtube
Variational Autoencoders - YouTube
youtube
Game Playing 1 - Minimax, Alpha-beta Pruning | Stanford CS221: AI (Autumn 2019) - YouTube
youtube
The Mathematics of our Universe - YouTube
youtube
Tensor Calculus For Physics Majors #1| Preliminary Vector Stuff part 1 - YouTube
youtube
Yevgeniy Vorobeychik | WashU McKelvey School of Engineering
OO Considered Harmful - Phil Nash - CppCon 2020 - YouTube
youtube
Stirling numbers of the first kind - Wikipedia
Chebyshev polynomials - Wikipedia
Bessel function - Wikipedia
Binomial coefficient - Wikipedia
Gamma function - Wikipedia
Partition function (number theory) - Wikipedia
List of types of functions - Wikipedia
Group representation - Wikipedia
Function space - Wikipedia
Special functions - Wikipedia
List of mathematical functions - Wikipedia
Guy Steele: Dan Friedman--Cool Ideas (Dan Friedman's 60th Birthday) - YouTube
youtube
Richard Feynman: Can Machines Think? - YouTube
youtube
Big Picture: Integrals | Highlights of Calculus | Mathematics | MIT OpenCourseWare
The Matrix Exponential - YouTube
youtube
Roger Penrose | Gravity, Hawking Points and Twistor Theory - YouTube
youtube
Beta-binomial distribution - Wikipedia
Beta function - Wikipedia
Singleton (mathematics) - Wikipedia
Cartesian product - Wikipedia
Falling and rising factorials - Wikipedia
KΕnig's theorem (set theory) - Wikipedia
Stirling number - Wikipedia
Empty product - Wikipedia
probability - How to get the value of 'scaled' binomial distribution? - Mathematics Stack Exchange
Precision and recall - Wikipedia
Abelian group - Wikipedia
Groupoid - Wikipedia
Category (mathematics) - Wikipedia
Free object - Wikipedia
Free monoid - Wikipedia
Google Search
https://www.applyweb.com/cgi-bin/app?s=WUSTL
Bloom filter - Wikipedia
Diffbot - Wikipedia
On vector<bool>
HowardHinnant.github.io
C++ Coding Guidelines
C++ class declarations
Combinations and Permutations
http://howardhinnant.github.io/TypeHiearchy.pdf
pdf
GitHub & BitBucket HTML Preview
github
Google Search
Jason Rohrer - Wikipedia
GPT-3 - Wikipedia
Google Search
Thoughts about GPT-3 | Chris Lattner and Lex Fridman - YouTube
youtube
GPT 3 in under 4 minutes! - YouTube
youtube
GPT-3 is only the beginning of AGI - YouTube
youtube
GPT-3 bottleneck is training data | FranΓ§ois Chollet and Lex Fridman - YouTube
youtube
Covariance matrix - Wikipedia
Lecture 5: Entropy and Data Compression (IV): Shannon's Source Coding Theorem, Symbol Codes - YouTube
youtube
Definite matrix - Wikipedia
https://www.youtube.com/results?search_query=gpt+4
Embracing Simplicity - Guilherme Ferreira - YouTube
youtube
Fun with the Lambda Calculus β’ Corey Haines β’ GOTO 2015 - YouTube
youtube
Jonathan Boccaras opening keynote: meta-polymorphism
Geometric distribution - Wikipedia
Ch7Pr26a: Kernel and Nullity of a 4x3 matrix - YouTube
youtube
overview for Kirtaner-420chan
https://www.marketwatch.com/story/founder-of-hacker-group-anonymous-reveals-his-ultimate-endgame-11604336926
Christopher Poole - Wikipedia
Clearnet (networking) - Wikipedia
Transpose - Wikipedia
Euclidean space - Wikipedia
Vector space - Wikipedia
Inner product space - Wikipedia
Householder transformation - Wikipedia
Outer product - Wikipedia
Enumerative combinatorics - Wikipedia
Combinatorics - Wikipedia
Stars and bars (combinatorics) - Wikipedia
Probability-generating function - Wikipedia
3. Orthonormal Columns in Q Give Q'Q = I - YouTube
youtube
Matrix splitting - Wikipedia
Singular value decomposition - Wikipedia
Triangular matrix - Wikipedia
Gaussian elimination - Wikipedia
Row echelon form - Wikipedia
Rank (linear algebra) - Wikipedia
RRQR factorization - Wikipedia
Stirling's approximation - Wikipedia
Time Series Talk : Autocorrelation and Partial Autocorrelation - YouTube
youtube
Reddit - The heart of the internet
reddit
Reddit - The heart of the internet
reddit
Geometric distribution - Wikipedia
A look at next weeks Meeting C++ 2020 online conference!
Runtime Polymorphism with std::variant and std::visit - C++ Stories
Simple random sample - Wikipedia
Stratified sampling - Wikipedia
Lecture 5: Entropy and Data Compression (IV): Shannon's Source Coding Theorem, Symbol Codes - YouTube
youtube
The First Internet Worm (Morris Worm) - Computerphile - YouTube
youtube
Green's Function - YouTube
youtube
David Jaz Myers: Homotopy type theory for doing category theory - YouTube
youtube
LU decomposition - Wikipedia
Let's talk about pardoning President Trump.... - YouTube
youtube
Matrix decomposition - Wikipedia
LU decomposition - Wikipedia
Characterizations of the exponential function - Wikipedia
How Biden Can Staff the Executive Branch in the Face of Republican Obstruction | Constitutional Accountability Center
Permutation matrix - Wikipedia
Numerical methods for engineering students
LU decomposition - Wikipedia
https://www.iacr.org/archive/eurocrypt2000/1807/18070451-new.pdf
pdf
Richard Hopkins, USPS Staffer at Center of GOP Voter Fraud Push, Reportedly Recants His Claim, Then Denies It
Trap Bar Questions - Christian Thibaudeau Coaching - T NATION
The Hidden Secrets About The Carry Over Of Trap Bar Deadlifts
A Unified Proposal for Composable Hashing
404 Error
Latest The Vital Whole Human topics - T NATION
Support for C++17 Β· Issue #33 Β· ybainier/Hypodermic Β· GitHub
github
Trap Bar Deadlifts are Underrated β’ Stronger by Science
GitHub - google/hashing-demo at N0029R0
github
Reference
Hashing User-Defined Types in C++1y
Types Don't Know #
std::hash - cppreference.com
Reference
implementation - Composing hash functions - Cryptography Stack Exchange
Google Search
Reddit - The heart of the internet
reddit
Tucker Carlson Says Thereβs Not Enough Fraud to Change Election Results: βWe Should Be Honestβ - Newsweek
Reddit - The heart of the internet
reddit
Reddit - The heart of the internet
reddit
Ohio Man Died From Coronavirus After Saying He Refused to Buy a Mask - Business Insider
Did an Ohio Man Die of COVID-19 After Vowing Not To Wear a Face Mask? | Snopes.com
Reddit - The heart of the internet
reddit
Reddit - The heart of the internet
reddit
Reddit - The heart of the internet
reddit
Tens of Thousands of Pennsylvania Ballots Returned Earlier Than Sent Date: Researcher | The Epoch Times
Reddit - The heart of the internet
reddit
Reddit - The heart of the internet
Hacker OPSEC
Writing Custom Shellcode Encoders and Decoders | Red Team Notes
There is No Algorithm for Truth - with Tom Scott - YouTube
youtube
Bill Swearingen - HAKC THE POLICE - DEF CON 27 Conference - YouTube
youtube
Ochko123 - How the Feds Caught Russian Mega-Carder Roman Seleznev - YouTube
youtube
Hack In The Box Security Conference - YouTube
youtube
#HITB2012KUL D1T3 - The Grugq - OPSEC: Because Jail is for wuftpd - YouTube
youtube
opsec
Lisp (programming language) - Wikipedia
Apply - Wikipedia
Function application - Wikipedia
Readβevalβprint loop - Wikipedia
Interpreter (computing) - Wikipedia
Code injection - Wikipedia
Meta-circular evaluator - Wikipedia
Statement (computer science) - Wikipedia
Return statement - Wikipedia
Return type - Wikipedia
Greenspun's tenth rule - Wikipedia
Model of computation - Wikipedia
Conjugate transpose - Wikipedia
Unitary matrix - Wikipedia
SchrΓΆdinger's cat - Wikipedia
EinsteinβPodolskyβRosen paradox - Wikipedia
Google Search
Multiverse - Wikipedia
Interpretations of quantum mechanics - Wikipedia
Many-worlds interpretation - Wikipedia
Why the Many-Worlds Interpretation Has Many Problems | Quanta Magazine
Lambda calculus - Wikipedia
Semantics of logic - Wikipedia
Abstract syntax tree - Wikipedia
eval - Wikipedia
Structure and Interpretation of Computer Programs - Wikipedia
Simply typed lambda calculus - Wikipedia
Cartesian closed category - Wikipedia
Closed monoidal category - Wikipedia
Currying - Wikipedia
c++11 - C++ - Why is boost::hash_combine the best way to combine hash-values? - Stack Overflow
A Hash Function for Hash Table Lookup
Adjoint functors - Wikipedia
Reference
Homotopy theory - Wikipedia
Scott continuity - Wikipedia
Struct template hash
Complete partial order - Wikipedia
Apply - Wikipedia
std::byte - cppreference.com
Spectrum of a matrix - Wikipedia
Nilpotent matrix - Wikipedia
Canonical form - Wikipedia
Eigendecomposition of a matrix - Wikipedia
Orthogonal matrix - Wikipedia
Eigenvalues and eigenvectors - Wikipedia
Augmented matrix - Wikipedia
Affine transformation - Wikipedia
Homography - Wikipedia
Row and column vectors - Wikipedia
Jacobian matrix and determinant - Wikipedia
Building a Parser from scratch. Lecture [1/18]: Tokenizer | Parser - YouTube
youtube
4. Eigenvalues and Eigenvectors - YouTube
youtube
New Study Suggests 36 Alien Civilizations In The Milky Way, But... - YouTube
youtube
21. Eigenvalues and Eigenvectors - YouTube
youtube
Basics of PCA (Principal Component Analysis) : Data Science Concepts - YouTube
youtube
So ... What Actually is a Matrix ? : Data Science Basics - YouTube
youtube
Eigenvalues & Eigenvectors : Data Science Basics - YouTube
youtube
General recursive function - Wikipedia
miniKanren 2020 - YouTube
youtube
Visser - Keynote - Executing Declarative Language Definitions - YouTube
youtube
Models and Programs: Better Together - YouTube
youtube
Type erasure β Part I | Andrzej's C++ blog
Dmitry Soshnikov - YouTube
youtube
26. Structure of Neural Nets for Deep Learning - YouTube
youtube
Code Project
Serialization
Collision attack - Wikipedia
Birthday attack - Wikipedia
MD5CRK - Wikipedia
https://www.blake2.net/blake2x.pdf
pdf
https://raw.githubusercontent.com/BLAKE2/BLAKE2/master/ref/blake2b-ref.c
Comparison of cryptographic hash functions - Wikipedia
One-way compression function - Wikipedia
List of hash functions - Wikipedia
Atabey Kaygun β Entropy of truncated MD5 hashing
ritvikmath - YouTube
youtube
[PDF] Analysis of the Random Number Generator Using MD5 PRNG in Linux Kernel | Semantic Scholar
pdf
Security and Cryptography Mistakes You Are Probably Doing All The Time | Towards Data Science
Hash Entropy
md5 - many iterations on a hash: doesn't it reduces entropy? - Stack Overflow
MD5 - Wikipedia
dlib C++ Library
freeCodeCamp.org - YouTube
Chapter 29. Boost.Process
Boost.Mp11: A C++11 metaprogramming library
14. SSL and HTTPS - YouTube
youtube
Chapter 5. Statistical Distributions and Functions
Boost Interval Arithmetic Library
Chapter 18. Boost.Interprocess
Chapter 1. Boost.Icl
Chapter 1. Boost.Histogram
Boost.Hana: User Manual
Chapter 1. Fusion 2.2
Chapter 12. Boost.CRC 1.5
Compilers: Principles, Techniques, and Tools - Wikipedia
Shunting yard algorithm - Wikipedia
Double dispatch - Wikipedia
Openβclosed principle - Wikipedia
Value (computer science) - Wikipedia
https://www.microsoft.com/en-us/research/wp-content/uploads/1992/01/student.pdf
pdf
C++ Core Guidelines
http://homepage.divms.uiowa.edu/~slonnegr/plf/Book/Chapter1.pdf
pdf
http://www.tutorialdost.com/Cpp-Programming-Tutorial/56-CPP-Polymorphism-Static-Dynamic.aspx
Malcom Stilson Archives | The Evergreen State College
Overview
Chapter 1. Boost.Beast
Peano number and lambda calculus in MiniKanren - YouTube
youtube
miniKanren Intro Series #1 - YouTube
youtube
William E Byrd - Relational Interpreters, Program Synthesis, and Barliman - Code Mesh 2017 - YouTube
youtube
PolyConf - YouTube
youtube
PolyConf 15: The Promise of Relational Programming / William Byrd - YouTube
youtube
ClojureTV - YouTube
youtube
Malcom Stilson Archives | The Evergreen State College
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt - YouTube
youtube
C++ Core Guidelines: Type Erasure with Templates β MC++ BLOG
Lambda Lounge Utah - YouTube
youtube
Relational Programming in miniKanren by William Byrd, Part 1/2 - YouTube
youtube
miniKanren Philosophy - William Byrd & Daniel Friedman - YouTube
youtube
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] - YouTube
youtube
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] - YouTube
youtube
Template Metaprogramming: Type Traits (part 1 of 2) - Jody Hagins - CppCon 2020 - YouTube
youtube
Lecture 2: Shell Tools and Scripting (2020) - YouTube
youtube
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C/C++ frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
[1311.2540] Asymmetric numeral systems: entropy coding combining speed of Huffman coding with compression rate of arithmetic coding
arxiv
Entropy coding - Wikipedia
GitHub - Cyan4973/FiniteStateEntropy: New generation entropy codecs : Finite State Entropy and Huff0
github
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
github
Pieter Spronck's Neverwinter Nights Modules
Pieter Spronck's Research
https://arxiv.org/ftp/arxiv/papers/1405/1405.3795.pdf
pdf
https://arxiv.org/pdf/1006.4442.pdf
pdf
https://drops.dagstuhl.de/opus/volltexte/2018/8453/pdf/OASIcs-ICLP-2017-10.pdf
pdf
Home | Prof. Dr. Zeki Bayram
http://webyrd.net/alphamk/alphamk.pdf
pdf
http://www.schemeworkshop.org/2011/papers/Alvis2011.pdf
pdf
ProQuest | Better research, better learning, better insights.
k-Optimal: a novel approximate inference algorithm for ProbLog | Machine Learning
SWI-Prolog -- Overview of the Interface
The Art of Code - Dylan Beattie - YouTube
youtube
https://www.youtube.com/results?search_query=gerald+sussman
Numerical semigroup - Wikipedia
Chris Lattner: The Future of Computing and Programming Languages | Lex Fridman Podcast #131 - YouTube
youtube
Lecture 2: Shell Tools and Scripting (2020) - YouTube
youtube
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0201r2.pdf
pdf
GitHub - jbcoe/polymorphic_value: A polymorphic value-type for C++
github
SICP Collections
VUG - [SICP 2] The Course and what came after it
https://www.jonathanmueller.dev/talk/cpp20-three-way-comparison/
C++ Special Member Function Guidelines
GitHub - standardese/standardese: A (work-in-progress) nextgen Doxygen for C++
github
semigroups - The set of natural number is semi group? - Mathematics Stack Exchange
Implementation Challenge: Revisiting the visitor pattern
std::polymorphic_value + Duck Typing = Type Erasure
foonathan::βblog()
Why MIT switched from Scheme to Python β Wisdom And Wonder
Books written in a style similar to SICP | Lobsters
Metaprogramming Β· Missing Semester
A Mathematical Theory of Communication - Wikipedia
Algebra Of Programming (Bird, De Moor) | Lambda the Ultimate
Probability that a number passing the Fermat test is prime - Mathematics Stack Exchange
https://ttic.uchicago.edu/~dreyer/course/papers/barendregt.pdf
pdf
PLT by steshaw
Online Course Catalog and Directory | Coursera
St. Louis Metropolitan Area Traveler Information
http://j-paine.org/prolog/eden/plog/bugs/warplan.pl
Faculty | Division of Computational & Data Sciences | Washington University in St. Louis
Bill Siever | WashU McKelvey School of Engineering
Todd Sproull | WashU McKelvey School of Engineering
Jonathan Turner | WashU McKelvey School of Engineering
https://cybersecurity.seas.wustl.edu/opening.html
Kunal Agrawal | WashU McKelvey School of Engineering
Sanjoy Baruah | WashU McKelvey School of Engineering
Jeremy Buhler | WashU McKelvey School of Engineering
Michael Brent | WashU McKelvey School of Engineering
Roger Chamberlain | WashU McKelvey School of Engineering
Yixin Chen | WashU McKelvey School of Engineering
Dennis Cosgrove | WashU McKelvey School of Engineering
Roman Garnett | WashU McKelvey School of Engineering
Christopher Gill | WashU McKelvey School of Engineering
Roch GuΓ©rin | WashU McKelvey School of Engineering
Chien-Ju Ho | WashU McKelvey School of Engineering
Brendan Juba | WashU McKelvey School of Engineering
Raj Jain | WashU McKelvey School of Engineering
I-Ting Angelina Lee | WashU McKelvey School of Engineering
Ning Zhang | WashU McKelvey School of Engineering
Estimating How Confidential Encrypted Searches Are Using Moving Average Bootstrap Method | IEEE Conference Publication | IEEE Xplore
https://ieeexplore.ieee.org/xpl/conhome/7823365/proceeding
Total functional programming - Wikipedia
Idris (programming language) - Wikipedia
Why Haskell II: Sum Types β Monday Morning Haskell
Numeric.Interval
fixed-length: Lists with statically known length based on non-empty package.
A Gentle Introduction to Haskell: Arrays
How to work on lists - HaskellWiki
Bell number - Wikipedia
C++ named requirements: RandomNumberDistribution (since C++11) - cppreference.com
Inverse Laplace transform - Wikipedia
Fourier transform - Wikipedia
Convolution - Wikipedia
Laplace transform - Wikipedia
Riemann zeta function - Wikipedia
Riemann zeta function - Wikipedia
calculus - Laplace transformation for floor(exp(x)) - Mathematics Stack Exchange
Pascal Poupart - YouTube
youtube
https://arxiv.org/pdf/1911.11423.pdf
pdf
The Rise of the Transformers: Explaining the Tech Underlying GPT-3
The Computational Theory of Mind (Stanford Encyclopedia of Philosophy)
neural networks - Where can I find the proof of the universal approximation theorem? - Artificial Intelligence Stack Exchange
http://binds.cs.umass.edu/papers/1992_Siegelmann_COLT.pdf
pdf
Turing completeness - Wikipedia
ChurchβTuring thesis - Wikipedia
Turing machine - Wikipedia
Computable function - Wikipedia
references - Meaning (and proof) of "RNN can approximate any algorithm" - Cross Validated
http://cogprints.org/5358/1/06-CIdef.pdf
pdf
A Tree functor
The Maybe functor
Continuous function - Wikipedia
Random variable - Wikipedia
Topological space - Wikipedia
Ο-algebra - Wikipedia
Binomial proportion confidence interval - Wikipedia
Google Search
Covariance matrix - Wikipedia
Asynchronous functors
The Lazy functor
Full binary tree catamorphism
Arg max - Wikipedia
List catamorphism
Church-encoded Boolean values
Church-encoded natural numbers
Semigroups accumulate
From design patterns to category theory
Category Theory | Bartosz Milewski's Programming Cafe
Peano axioms - Wikipedia
Scrap Your Constructors: Church Encoding Algebraic Types - Programmable Computer
Power of mathematics: Reasoning about functional types - Tomas Petricek
Church-encoded Maybe
Boolean catamorphism
Reddit - The heart of the internet
reddit
CS 242: Algebraic data types
Algebraic Data Types in four languages | by Marcin Baraniecki | SoftwareMill Tech Blog
https://www.cl.cam.ac.uk/teaching/1415/L28/lambda.pdf
pdf
https://arxiv.org/pdf/1710.09756.pdf
pdf
Homomorphism - Wikipedia
Injective function - Wikipedia
Duality (mathematics) - Wikipedia
Standard Borel space - Wikipedia
https://www.math.uchicago.edu/~lawler/probnotes.pdf
pdf
Outcome (probability) - Wikipedia
Open set - Wikipedia
Metric space - Wikipedia
Borel set - Wikipedia
Consistent estimator - Wikipedia
Random variable - Wikipedia
Probability space - Wikipedia
Measure (mathematics) - Wikipedia
Expected value - Wikipedia
Measure space - Wikipedia
Measurable space - Wikipedia
Tagged union - Wikipedia
Why does marginalization of a joint probability distribution use sums? - Mathematics Stack Exchange
Marginal distribution - Wikipedia
Google Search
Cholesky decomposition - Rosetta Code
Cholesky decomposition - Wikipedia
Square root of a matrix - Wikipedia
Definite matrix - Wikipedia
Cloud Computing Services | Google Cloud
Software design pattern - Wikipedia
Visitor pattern - Wikipedia
Generic Acyclic Visitor - Hands-On Design Patterns with C++ [Book]
design patterns - Acyclic Visitor C++ - Stack Overflow
c++ - Acyclic Visitor pattern - Code Review Stack Exchange
The Acyclic Visitor Pattern
Odds and ends: the Visitor pattern β Implementing QuantLib
https://condor.depaul.edu/dmumaugh/OOT/Design-Principles/acv.pdf
pdf
Google Search
What is Type Erasure? β Arthur O'Dwyer β Stuff mostly about C++
c++14 - C++ Double dispatch with runtime polymorphism? - Stack Overflow
Google Search
Calling convention - Wikipedia
Name mangling - Wikipedia
PostgreSQL: Linux downloads (Ubuntu)
PostgreSQL: Documentation: 12: 1.3. Creating a Database
Getting Started β Ecto v3.13.3
elixir - Why does Phoenix (ecto/Postgresx) fail to Connect in dev - Stack Overflow
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019 - YouTube
youtube
Home Β· inotify-tools/inotify-tools Wiki Β· GitHub
github
Storage class specifiers - cppreference.com
Eduardo Madrid - "Type-Erasing the Pains of Runtime Polymorphism: The Practical Part" - C++ London - YouTube
youtube
Elixir (programming language) - Wikipedia
http://erlang.org/download/getting_started-5.4.pdf
pdf
Google Search
https://elixir-lang.org/getting-started/introduction.html
The Elixir programming language
How to include FontAwesome in Phoenix app? - #2 by hauleth - Questions / Help - Elixir Programming Language Forum
Installing Bootstrap + Font Awesome from NPM in Phoenix Framework using sass Β· GitHub
github
Elixir vs Erlang | 5 Most Useful Comparisons Between Elixir vs Erlang
node.js - Error "npm WARN package.json: No repository field" - Stack Overflow
javascript - npm WARN enoent ENOENT: no such file or directory, open 'C:\Users\Nuwanst\package.json' - Stack Overflow
Using a Package Manager | Font Awesome Docs
miniKanren Philosophy - William Byrd & Daniel Friedman - YouTube
youtube
https://laracasts.com/discuss/channels/elixir/how-do-you-include-files-from-node-modules-in-elixir
Build a real-time Twitter clone in 15 minutes with LiveView and Phoenix 1.5 - Phoenix Blog
Programming with Contracts in C++20 - BjΓΆrn Fahller [C++ on Sea 2019] - YouTube
youtube
Using C++ from elixir with nifs - Tech Dominator
Carlos Baquero - INESC TEC
pdf
Erlang/Elixir Syntax: A Crash Course - The Elixir programming language
PostgreSQL - Community Help Wiki
Bayesian β
Econometrics course problem sets and data β
Maximum Likelihood: Bernoulli random variables estimator variance part 2 - YouTube
youtube
Bernoulli distribution - Wikipedia
Coding theory - Wikipedia
Decoding methods - Wikipedia
Closest pair of points problem - Wikipedia
Bregman divergence - Wikipedia
Statistical distance - Wikipedia
Metric space - Wikipedia
Optimization problem - Wikipedia
Nearest neighbor search - Wikipedia
Nearest centroid classifier - Wikipedia
http://www.statslab.cam.ac.uk/Dept/People/djsteaching/S1B-15-03-sufficiency-4.pdf
pdf
Sufficient statistic - Wikipedia
Rocchio algorithm - Wikipedia
Normalization (statistics) - Wikipedia
k-nearest neighbors algorithm - Wikipedia, the free encyclopedia
Toeplitz matrix - Wikipedia
Quadratic form - Wikipedia
Jordan normal form - Wikipedia
https://web.stanford.edu/~montanar/RESEARCH/BOOK/partE.pdf
pdf
Commutative property - Wikipedia
Concepts library (since C++20) - cppreference.com
Requires-expression | Andrzej's C++ blog
std::is_same - cppreference.com
Constraints and concepts (since C++20) - cppreference.com
Bilinear form - Wikipedia
Definite matrix - Wikipedia
Mixture model - Wikipedia
Expectationβmaximization algorithm - Wikipedia, the free encyclopedia
Weber problem - Wikipedia
Voronoi diagram - Wikipedia
k-means clustering - Wikipedia
Central limit theorem - Wikipedia
Covariance matrix - Wikipedia
Abstract algebra - Wikipedia
Bialgebra - Wikipedia
Composition algebra - Wikipedia
Propagation of uncertainty - Wikipedia
Real number - Wikipedia
Lattice (order) - Wikipedia
Commutative ring - Wikipedia
Axiom - Wikipedia
Field (mathematics) - Wikipedia
Ordered field - Wikipedia
Total order - Wikipedia
Field extension - Wikipedia
Complex number - Wikipedia
Algebraic number - Wikipedia
*-algebra - Wikipedia
Self-adjoint - Wikipedia
http://people.math.harvard.edu/~htyau/RM-Aug-2016.pdf
pdf
scipy.stats.lomax β SciPy v0.14.0 Reference Guide
Hyperexponential distribution - Wikipedia
Lomax distribution - Wikipedia
Pareto distribution - Wikipedia
http://www.math.wm.edu/~leemis/chart/UDR/PDFs/ParetoM.pdf
pdf
Google Search
[2005.03392] Maximum of Exponential Random Variables, Hurwitz's Zeta Function, and the Partition Function
arxiv
https://arxiv.org/pdf/1307.3945.pdf
pdf
Getting Help - Tutorial
Stan (software) - Wikipedia, the free encyclopedia
Adept (C++ library) - Wikipedia
Infinitesimal - Wikipedia
Smooth infinitesimal analysis - Wikipedia
Quotient ring - Wikipedia
Dual number - Wikipedia
https://www.cs.toronto.edu/~rgrosse/courses/csc321_2018/slides/lec10.pdf
pdf
Approximation - Wikipedia
False precision - Wikipedia
Order of approximation - Wikipedia
Statistical dispersion - Wikipedia
Observational error - Wikipedia
Rand index - Wikipedia
Confusion matrix - Wikipedia
Evaluation of binary classifiers - Wikipedia
Accuracy and precision - Wikipedia
Floating-point arithmetic - Wikipedia
Numerical error - Wikipedia
Delta-sigma modulation - Wikipedia
Kahan summation algorithm - Wikipedia
Yamartino method - Wikipedia
Algorithms for calculating variance - Wikipedia
Summation - Wikipedia
Statistical parameter - Wikipedia
Covariance - Wikipedia
Mean squared error - Wikipedia
Bessel's correction - Wikipedia
Degrees of freedom (statistics) - Wikipedia
Consistent estimator - Wikipedia
Observation - Wikipedia
Estimation theory - Wikipedia
Monoid - Wikipedia
Module (mathematics) - Wikipedia
Unbiased estimation of standard deviation - Wikipedia
Algebra over a field - Wikipedia
http://www.math.ntu.edu.tw/~hchen/teaching/StatInference/notes/lecture37.pdf
pdf
Ordered Sampling With Replacement | Samples | Experiments
Density estimation - Wikipedia
Sample maximum and minimum - Wikipedia
Selection algorithm - Wikipedia
Empirical probability - Wikipedia
Nonparametric statistics - Wikipedia
Empirical measure - Wikipedia
GlivenkoβCantelli theorem - Wikipedia
Law of large numbers - Wikipedia
Convergence of random variables - Wikipedia
Sampling (statistics) - Wikipedia
Statistical inference - Wikipedia
"Propositions as Types" by Philip Wadler - YouTube
youtube
Philip Wadler - Everything old is new again: Quoted domain specific languages - Curry On - YouTube
youtube
David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On - YouTube
youtube
Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language - YouTube
youtube
Bjarne Stroustrup - What β if anything β have we learned from C++? - Curry On/PLE'15 Keynote - YouTube
youtube
Chris Laffra - Little Languages - YouTube
youtube
Adelbert Chang - Microservice Architecture, a programming languages perspective - YouTube
youtube
CPPP Conference - YouTube
youtube
Strange Loop 2019 - YouTube
youtube
Erlang Solutions - YouTube
youtube
Meta Polymorphism - Jonathan Boccara - Meeting C++ 2020 Opening Keynote - YouTube
youtube
Challenges for Logic Programming - Steve Miner - YouTube
youtube
The State of the Art in Microservices by Adrian Cockcroft - YouTube
youtube
From Rails to Elm and Haskell - Richard Feldman - YouTube
youtube
C++20: Concepts - Learn Modern C++ - YouTube
youtube
Dan Kokotov: Speech Recognition with AI and Humans | Lex Fridman Podcast #151 - YouTube
youtube
The Majority Report w/ Sam Seder - YouTube
youtube
Rebel HQ - YouTube
youtube
The Humanist Report - YouTube
youtube
LIVE: 2020 Georgia Senate Election Results - YouTube
youtube
Contract use: Past, Present, and Future - Joshua Berne - CppCon 2019 - YouTube
youtube
Generalized extreme value distribution - Wikipedia
Gumbel distribution - Wikipedia
Order statistic - Wikipedia
Convergence of random variables - Wikipedia
FisherβTippettβGnedenko theorem - Wikipedia
Independent and identically distributed random variables - Wikipedia
Large deviations theory - Wikipedia
Extreme value theory - Wikipedia
Google Search
Global catastrophic risk - Wikipedia
Cyberterrorism - Wikipedia
Future of Humanity Institute - Wikipedia
Nick Bostrom - Wikipedia
Global catastrophic risk - Wikipedia
The Master Algorithm - Wikipedia
Anthropic principle - Wikipedia
Foundational Questions Institute - Wikipedia
Reversal test - Wikipedia
Anthropic Bias - Wikipedia
Superintelligence: Paths, Dangers, Strategies - Wikipedia
Superintelligence - Wikipedia
Global Catastrophic Risks (book) - Wikipedia
Fermi paradox - Wikipedia
Selection bias - Wikipedia
Likelihood function - Wikipedia
Maximum likelihood estimation - Wikipedia
Overconfidence effect - Wikipedia
Nick Bostrom - Wikipedia
https://www.applyweb.com/forms/wustl
Graduate Admissions | WashU McKelvey School of Engineering
Confirmation bias - Wikipedia
Global catastrophic risk - Wikipedia
Confidence Interval for the Mean
Differential technological development - Wikipedia
Machine Intelligence Research Institute - Wikipedia
James Lovelock - Wikipedia
Hail Mary pass - Wikipedia
Friendly artificial intelligence - Wikipedia
https://www.lesswrong.com/posts/5nH5Qtax9ae8CQjZ9/no-it-s-not-the-incentives-it-s-you
Friendly AI: Aligning Goals - Future of Life Institute
Baruch Plan - Wikipedia
Friendly artificial intelligence - Wikipedia
Centre for the Study of Existential Risk - Wikipedia
Existential risk from artificial intelligence - Wikipedia
Cholesky decomposition - Wikipedia
Multivariate normal distribution - Wikipedia
Sampling from a Multivariate Normal Distribution - Dr. Juan Camilo Orduz
https://docs.sympy.org/latest/tutorial/printing.html
Google Search
https://docs.sympy.org/latest/tutorial/basic_operations.html
Matrix Expressions - SymPy 1.14.0 documentation
Matrices (linear algebra) - SymPy 1.14.0 documentation
Symbolic dense matrices - Matrices and Spaces of Matrices
Linear Algebra - Tutorial
Symbolic Expressions - Symbolic Calculus
Symbolic Computation - Symbolic Calculus
Basic Algebra and Calculus - Tutorial
Core - SymPy 1.14.0 documentation
Kronecker product - Wikipedia
Ordinary least squares - Wikipedia
Householder transformation - Wikipedia
Scatter matrix - Wikipedia
Hadamard product (matrices) - Wikipedia
An Introduction to Hypothesis Testing - YouTube
youtube
Misuse of p-values - Wikipedia
blog_code/scurve_animation.py at master Β· constancecrozier/blog_code Β· GitHub
github
Explained sum of squares - Wikipedia
Logistic function - Wikipedia
Total sum of squares - Wikipedia
R Programming Tutorial - Learn the Basics of Statistical Computing - YouTube
youtube
Kernels! - YouTube
youtube
Optimality criterion - Wikipedia
Central moment - Wikipedia
Variance - Wikipedia
Cochran's theorem - Wikipedia
Analysis of variance - Wikipedia
p-value - Wikipedia
Tukey lambda distribution - Wikipedia
FermiβDirac statistics - Wikipedia
Metascience - Wikipedia
Ben Lambert - YouTube
youtube
F-distribution - Wikipedia
Vectorization (mathematics) - Wikipedia
Matrix multiplication - Wikipedia
Kernel regression - Wikipedia
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Machine Learning Online Courses | Coursera
Best Deep Learning Courses & Certificates [2025] | Coursera Learn Online
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Introduction to Git and GitHub | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera
Time Series Introduction: part 1 - YouTube
youtube
Odds ratio - Wikipedia
Biasβvariance tradeoff - Wikipedia
An R Markdown Template for Academic Manuscripts | Steven V. Miller
3.3 Residual diagnostics | Forecasting: Principles and Practice (2nd ed)
8.3 Autoregressive models | Forecasting: Principles and Practice (2nd ed)
5 1 Introduction to Dynamic Regression - YouTube
youtube
3 2 Holt's linear trend method - YouTube
youtube
Linear least squares - Wikipedia
3 4 TS ETS models - YouTube
youtube
Time Series Intro part 3: transformations - YouTube
youtube
2.2 Time plots | Forecasting: Principles and Practice (2nd ed)
8.7 ARIMA modelling in R | Forecasting: Principles and Practice (2nd ed)
Appendix: Using R | Forecasting: Principles and Practice (2nd ed)
9.1 Estimation | Forecasting: Principles and Practice (2nd ed)
How to choose initial values for nonlinear least squares fit - Cross Validated
r - Trouble in fitting data to a curve (NLS) - Cross Validated
forecast with object, xreg, and arima xreg model fails Β· Issue #682 Β· robjhyndman/forecast Β· GitHub
github
DurbinβWatson statistic - Wikipedia
Hottest 'simulations' Answers - Quantitative Finance Stack Exchange
How to remove cyclical trend in residuals for time series regression? - Cross Validated
Portmanteau test - Wikipedia
5.1 The linear model | Forecasting: Principles and Practice (2nd ed)
Constants and ARIMA models in R β Rob J Hyndman
Autoregressive integrated moving average - Wikipedia
3.5 Prediction intervals | Forecasting: Principles and Practice (2nd ed)
forecasting - How do the forecast intervals from an AR model behave when the time series is inherently stationary? - Cross Validated
8.9 Seasonal ARIMA models | Forecasting: Principles and Practice (2nd ed)
Autoregressive Integrated Moving Average ARIMA(p, d, q) Models for Time Series Analysis | QuantStart
8.4 Moving average models | Forecasting: Principles and Practice (2nd ed)
Tutorial: Simulating and Estimating ARMA models
Unit root test - Wikipedia
Unit root - Wikipedia
8.1 Stationarity and differencing | Forecasting: Principles and Practice (2nd ed)
R - Cochran's Q test - YouTube
youtube
DickeyβFuller test - Wikipedia
Autocorrelation - Wikipedia
Augmented DickeyβFuller test - Wikipedia
CochraneβOrcutt estimation - Wikipedia
LjungβBox test - Wikipedia
Writing R Extensions
Cleaner Generic Functions with RCPP_RETURN Macros
Get started with roxygen2
R Package Integration with Modern Reusable C++ Code Using Rcpp - Part 2 Β· R Views
Paul Romer
nbconvert: Convert Notebooks to other formats β nbconvert 7.16.6 documentation
CppCon 2014: Walter E. Brown "Modern Template Metaprogramming: A Compendium, Part II" - YouTube
youtube
CppCon 2015: Fedor Pikus βC++ Metaprogramming: Journey from simple to insanity and back" - YouTube
youtube
CppCon 2017: Vinnie Falco βMake Classes Great Again! (Using Concepts for Customization Points)β - YouTube
youtube
C++ Template Metaprogramming - YouTube
youtube
CppCon 2015: Joel Falcou PART 1 βExpression Templates - Past, Present, Futureβ - YouTube
youtube
CppCon 2016: Arthur O'Dwyer βTemplate Normal Programming (part 1 of 2)β - YouTube
youtube
Back to Basics: Function and Class Templates - Dan Saks - CppCon 2019 - YouTube
youtube
How to Implement Your First Compiler Feature:The Story of Concepts in Clang - Saar Raz - CppCon 2019 - YouTube
youtube
C++Now 2017: Zach Laine βExpression Templates Everywhere with C++14 and Yap" - YouTube
youtube
Back to Basics: Lambdas from Scratch - Arthur O'Dwyer - CppCon 2019 - YouTube
youtube
Expression Templates for Efficient, Generic Finance Code - Bowie Owens - CppCon 2019 - YouTube
youtube
std variant and the power of pattern matching - Nikolai Wuttke - Meeting C++ 2018 - YouTube
youtube
Lecture 1: Introduction to Power and Politics in Todayβs World - YouTube
youtube
Object-oriented programming - Wikipedia
Production for use - Wikipedia
Means of production - Wikipedia
Use value - Wikipedia
Opaque data type - Wikipedia
Capitalist mode of production (Marxist theory) - Wikipedia
Mode of production - Wikipedia
md5 - Why aren't hash values for "nothing" (empty) defined as all zeros? - Cryptography Stack Exchange
First-class citizen - Wikipedia
Argument-dependent lookup - cppreference.com
Marxist philosophy - Wikipedia
sha1 - Can a SHA-1 hash be all-zeroes? - Stack Overflow
Object (computer science) - Wikipedia
Marxism - Wikipedia
C++ Core Guidelines
The Roots of Lisp
http://www-formal.stanford.edu/jmc/recursive.pdf
pdf
http://stepanovpapers.com/genprog.pdf
pdf
https://www.cs.tufts.edu/~nr/cs257/archive/jon-bentley/correct-programs.pdf
pdf
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3351.pdf
pdf
https://www.stroustrup.com/oopsla06.pdf
pdf
http://stepanovpapers.com/DeSt98.pdf
pdf
https://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf
pdf
From Rails to Elm and Haskell - Richard Feldman - YouTube
youtube
Computer Science - Brian Kernighan on successful language design - YouTube
youtube
Efficient Programming with Components: Introduction Part 1 - YouTube
youtube
Elements of Programming - YouTube
youtube
http://stepanovpapers.com/history%20of%20STL.pdf
pdf
Collected Papers of Alexander A. Stepanov
GitHub - bodil/im-rs: Assorted immutable collection datatypes for Rust
github
Sock puppet account - Wikipedia
Twitter bot - Wikipedia
Should You Use A Twitter Bot To Increase Your Followers? | SEO Services New York
How to Create Twitter Bots - YouTube
youtube
How to Write a Twitter Bot in 5 Minutes
Build A Twitter Bot With Python That Gets You Followers - YouTube
youtube
Introduction | discord.js Guide
http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf
pdf
16.2.1 Syntax Objects
15.1 eval
racket Tutorial => The `apply` function
Chapter 28. Boost.PFR 2.0
Expression templates - Wikipedia
Chapter 33. Boost.Proto
Boost.Hana: User Manual
GitHub - tensorflow/tensorflow: An Open Source Machine Learning Framework for Everyone
github
Resolution (logic) - Wikipedia
Automated theorem proving - Wikipedia
Computation - Wikipedia
Computational logic - Wikipedia
Algebraic data type - Wikipedia
2016 - On The Shoulders Of Giants - Damian Conway - YouTube
youtube
Reddit - The heart of the internet
reddit
https://www.info.ucl.ac.be/~pvr/Thesis/ThesisMain.pdf
pdf
CurryβHoward correspondence - Wikipedia
MPprogramming.com
MPprogramming.com
https://cs.uwaterloo.ca/research/tr/1984/CS-84-47.pdf
pdf
mlpack - Home
shogun | A Large Scale Machine Learning Toolbox
PyTorch
CNL: User Manual
NGraph: a simple Netowrk Graph Library in C++
GitHub - ceres-solver/ceres-solver: A large scale non-linear optimization library
github
Armadillo: C++ library for linear algebra & scientific computing
GitHub - kthohr/stats: A C++ header-only library of statistical distribution functions.
github
http://statsxx.com/
GitHub - hosseinmoein/Tiger: C++ Matrix -- High performance and accurate (e.g. edge cases) matrix math library with expression template arithmetic operators
github
GitHub - Limeoats/BigNumber: C++ class for creating and computing arbitrary-length integers
github
ArrayFire: Overview
GraphIt- A High-Performance Domain Specific Language for Graph Analytics
BuildIt: A Type-based Multi-Stage Programming Framework for Code Generation in C++ - YouTube
youtube
BuildIt: A Type-Based Multi-stage Programming Framework for Code Generation in C++ | IEEE Conference Publication | IEEE Xplore
https://intimeand.space/docs/buildit.pdf
pdf
Logic programming - Wikipedia, the free encyclopedia
R++: Rules in C++
Rule of inference - Wikipedia
Backward chaining - Wikipedia
Structure and Interpretation of Classical Mechanics - Wikipedia
ALGLIB - C++/C#/Java numerical analysis library
GitHub - halide/Halide: a language for fast, portable data-parallel computation
github
GitHub - anholt/libepoxy: Epoxy is a library for handling OpenGL function pointer management for you
github
GitHub - alandefreitas/matplotplusplus: Matplot++: A C++ Graphics Library for Data Visualization ππΎ
github
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0267r10.pdf
pdf
GitHub - cpp-io2d/P0267_RefImpl: Reference Implementations of P0267, the proposed 2D graphics API for ISO C++
github
GitHub - AmokHuginnsson/yaal: Yet another abstraction layer - a general purpose C++ library.
github
Loki download | SourceForge.net
C-plus-plus-library-bit-fields/Bitfield.pdf at master Β· wkaras/C-plus-plus-library-bit-fields Β· GitHub
pdf
abseil / `absl::Hash`
AngelScript - AngelCode.com
Botan: Crypto and TLS for C++11 β Botan
A list of open-source C++ libraries - cppreference.com
freeglut download | SourceForge.net
Overview of AIMA Code
https://gist.githubusercontent.com/ofan/721464/raw/e57ac330a90922d994d992c1160c711eccdde3ef/lisp.cpp
PWLConf 2017 | Kenichi Asai
Nada Amin / William Byrd - From Greek to Clojure! - YouTube
youtube
Nada Amin - Collapsing Towers of Interpreters - Code Mesh 2017 - YouTube
youtube
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] - YouTube
youtube
(seventh RacketCon): Keynote -- Dan Friedman & Will Byrd -- The Reasoned Racketeers - YouTube
youtube
Lambda lifting - Wikipedia
Free variables and bound variables - Wikipedia
Closure (computer programming) - Wikipedia
When Should You Give Two Things the Same Name? - Arthur O'Dwyer - [CppNow 2021] - YouTube
youtube
How to: Colony - Matthew Bentley - [CppNow 2021] - YouTube
youtube
Lists (Guile Reference Manual)
Pairs (Guile Reference Manual)
"Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony Arcieri - YouTube
youtube
Strange Loop Language Panel - Hickey, Sussman, Wirfs-Brock, Pamer, Alexandrescu, Ashkenas (2011) - YouTube
youtube
Chez Scheme Version 9 User's Guide
The Scheme Programming Language, 4th Edition
GitHub - cisco/ChezScheme: Chez Scheme
Operations on Objects
Map (higher-order function) - Wikipedia
Reduction operator - Wikipedia
Coinduction - Wikipedia
Fold (higher-order function) - Wikipedia
Lazy evaluation - Wikipedia
Data structure - Wikipedia
Programming model - Wikipedia
Corecursion - Wikipedia
Empty string - Wikipedia
Clad -- Automatic Differentiation for C++ Using Clang (Vassil Vassilev, Princeton University) - YouTube
youtube
The C++20 Synchronization Library - Bryce Adelstein Lelbach - CppCon 2019 - YouTube
youtube
Installation of VNC server on Ubuntu | HackerNoon
Google Search
Access a remote desktop | Ubuntu
Types and Functions β Idris 1.3.3 documentation
Add a new physical hard drive to Proxmox VE 4x 5x β HostFav Blog
https://www.cs.uoregon.edu/Reports/MS-201806-Sullivan.pdf
pdf
Carlos Rodrigues - Corecursion, Codata, and Just a Little Combinatorial Game Theory - Ξ»C 2017 - YouTube
youtube
The CUDA C++ Standard Library by Bryce Adelstein Lelbach - YouTube
youtube
On vector<bool> -- Howard Hinnant : Standard C++
Power set - Wikipedia
Lattice (order) - Wikipedia
Distributivity (order theory) - Wikipedia
Distributive lattice - Wikipedia
De Morgan algebra - Wikipedia
Installation Instructions - Bodhi Linux
List of order theory topics - Wikipedia
Andrzej's C++ blog | Guidelines and thoughts about C++
Algebraic structure - Wikipedia
Boolean algebra - Wikipedia
Decent concepts | Andrzej's C++ blog
CPP / C++ - Template Metaprogramming - Generic Programming
https://www.stroustrup.com/good_concepts.pdf
pdf
Tag dispatch versus concept overloading β Arthur O'Dwyer β Stuff mostly about C++
C++ Core Guidelines: A Short Detour to Contracts in C++20 β MC++ BLOG
MAKE YOUR OWN LANGUAGE | Make a Lisp in C++ (mal) | Step 0 - YouTube
youtube
Compiler Research (4 Mar 2021) - Clingβs CUDA Backend: Interactive GPU development with CUDA C++ - YouTube
youtube
Just-in-Time Compilation - JF Bastien - CppCon 2020 - YouTube
youtube
Ruby Redo Statement | C++ | Compiler Hacking - YouTube
youtube
ADD VECTOR AND HASH MAP TYPES | Make a Lisp in C++ (mal) | Step 1b - YouTube
youtube
Common Lisp Tutorial 6a: Macros Part 1 - YouTube
youtube
MAKE YOUR OWN LANGUAGE | Make a Lisp in C++ (mal) | Step 0 - YouTube
youtube
Rcpp
MetropolisβHastings algorithm - Wikipedia, the free encyclopedia
One Long Run
Gamma distribution - Wikipedia
Exponential distribution - Wikipedia
Mixture distribution - Wikipedia
Computational Statistics, by G. H. Givens and J. A. Hoeting
Geof Givens
Home weatherization and energy efficiency assistance | USAGov
Get help with energy bills | USAGov
How to Apply for Weatherization Assistance | Department of Energy
https://www.sc.egov.usda.gov/
LLC | Internal Revenue Service
Earned Income Tax Credit (EITC) | Internal Revenue Service
Student/Internship Programs | U.S. Department of the Treasury
Student/Internship Programs | U.S. Department of the Treasury
Graduate Assistance in Areas of National Need | U.S. Department of Education
Find government benefits and financial help | USAGov
Illinois.gov - IL Application for Benefits Eligibility (ABE) Account Information
Illinois Healthcare and Family Services
Illinois Healthcare and Family Services
Method (computer programming) - Wikipedia
Function (computer programming) - Wikipedia
Function (mathematics) - Wikipedia
Rewriting - Wikipedia
Expression (computer science) - Wikipedia
Beautiful Racket by Matthew Butterick
Pollen: the book is a program
Converting From LaTeX to Other Formats Β« PhilTeX
Learn Latex, markdown and html with doconce - if curious: then learn
DocOnce Tutorial: Document Once, Include Anywhere β DocOnce Tutorial: Document Once, Include Anywhere
A Brief Guide to LaTeX{} Tools for Web Publishing
Putting TeX/LaTeX on the Web | Computing
Google Search
How to make a website from scratch: A beginnerβs guide
Hostinger - Bring Your Idea Online With a Website
How to buy a domain name in 5 steps
Shared Hosting vs VPS: Which One Should You Choose?
HOW-TO: Setup the OpenVPN server on a TP-Link AX1500 (Archer AX10) - YouTube
youtube
The Homelab Show Episode 23: Syncthing - YouTube
youtube
The Homelab Show Episode 25: Using Git - YouTube
youtube
The Homelab Show Episode 27: TrueNAS Scale - YouTube
youtube
The Homelab Show Episode 29:Bastion Server - YouTube
youtube
The Homelab Show β Catch Up on the Vlog and Podcast
The Homelab Show Episode 28:Own Your Domain - YouTube
youtube
The Homelab Show - YouTube
youtube
Cluster Manager - Proxmox VE
Building a Proxmox VE Lab Part 1 Planning - ServeTheHome
TrueNAS SCALE Beta vs TrueNAS CORE Performance Comparison - YouTube
youtube
TrueNAS SCALE: The voyage begins with version 20.10 | TrueNAS Community
Download TrueNAS Community Edition - Data Storage Software
TrueNAS Scale's KVM instead of Proxmox - Seeking Hands-on Experiences | TrueNAS Community
How to run TrueNAS on Proxmox? - YouTube
youtube
TrueNAS native vs TrueNAS under Proxmox | ServeTheHome Forums
Virtualization (Obsolete) | TrueNAS Documentation Hub
Analyses as Packages
Tools for Working with Categorical Variables (Factors) β’ forcats
GitHub - jennybc/foofactors: Make Factors Less Aggravating
github
Objects - Objects to manipulate options, patterns and hooks - Yihui Xie | θ°’ηθΎ
Home | Bookdown
2.2 Markdown extensions by bookdown | bookdown: Authoring Books and Technical Documents with R Markdown
Basic Syntax | Markdown Guide
Extended Syntax | Markdown Guide
Markdown Cheat Sheet | Markdown Guide
12.3 Markdown extensions | R Markdown: The Definitive Guide
Formats
Pandoc - Pandoc Userβs Guide
12.2 Project structure | R Markdown: The Definitive Guide
RStudio v1.4 Preview: Visual Markdown Editing - Posit
Data Visualization with D3.js - Full Tutorial Course - YouTube
youtube
Watch β INTERREFLECTIONS
15.5 Visualization with D3 | R Markdown Cookbook
Hugo Blox Docs
Hugo Blox Docs
Hugo Blox Docs
Hugo sections tutorial: How to customise section pages
Grid system Β· Bootstrap v4.5
Introduction to templating
Sections
Shortcodes
What Are Shortcodes in WordPress? Explained for Beginners
What is Encrypted Search? | IronCore Labs
Reddit - The heart of the internet
reddit
https://ctan.math.utah.edu/ctan/tex-archive/macros/unicodetex/latex/unicode-math/unimath-example.pdf
pdf
Shapecatcher: Draw the Unicode character you want!
GitHub - lucaslorentz/caddy-docker-proxy: Caddy as a reverse proxy for Docker
github
Reddit - The heart of the internet
reddit
GitHub - janeczku/calibre-web: :books: Web app for browsing, reading and downloading eBooks stored in a Calibre database
github
LabGopher :: Great server deals on eBay
https://certbot.eff.org/instructions?ws=nginx&os=ubuntu-20
Getting Started - Let's Encrypt
Automatic HTTPS β Caddy Documentation
TryHackMe | Zeno Room Walkthrough - YouTube
youtube
API β Caddy Documentation
Caddyfile Quick-start β Caddy Documentation
TabCloud
Andres' Blog
JSON Config Structure - Caddy Documentation
145 - Get Used to Being Unhappy - YouTube
youtube
latex - How to make a PDF using bookdown including SVG images - Stack Overflow
R markdown: can I insert a pdf to the r markdown file as an image? - Stack Overflow
Estimation of component reliability in repairable series systems with masked cause of failure by means of latent variables | DeepAI
Some recent developments on failure processes with masked failure data - Kent Academic Repository
2.4 Figures | bookdown: Authoring Books and Technical Documents with R Markdown
Google Search
IEEE Xplore Full-Text PDF:
Longitudinal study - Wikipedia
Statistical unit - Wikipedia
One-Way ANOVA vs. Two-Way ANOVA - YouTube
youtube
How to Calculate a Two Way ANOVA (factorial analysis) - YouTube
youtube
Anaconda
https://www.spyder-ide.org/
Fixed effects model - Wikipedia
https://courses.edx.org/assets/courseware/v1/012c07134e9c72d33d8fa67a18a7150d/asset-v1:UTAustinX+UT.7.20x+1T2016+type@asset+block/Chapter_11.pdf
pdf
edX Courses | View all online courses on edX.org
Random effects model - Wikipedia
Conjugate prior - Wikipedia
https://www.stat.berkeley.edu/~stark/Preprints/constraintsPriors15.pdf
pdf
Latent variable - Wikipedia, the free encyclopedia
Latent and observable variables - Wikipedia
ReliaWiki
Sign in γ» Cloudflare Access
pdf
Typed Scheme: Scheme with Static Types
Loss function - Wikipedia
22 Releasing to CRAN β R Packages (2e)
Writing an R package from scratch β Hilary Parker
https://cran.r-project.org/web/packages/mle.tools/mle.tools.pdf
pdf
Accuracy and precision - Wikipedia
the multivariate bias-variance decomposition |
https://www.ntnu.edu/documents/624876/1277590549/chapt03-structure.pdf/ce525e3b-3f22-43c8-9ed3-d1dcba174742
Google Search
Likelihood-ratio test - Wikipedia
R hash table: A quick benchmark of hashtable implementations | Domino
Multivariate normal distribution - hypothesis testing MLE - Cross Validated
SFAPS: an R package for structure/function analysis of protein sequences based on informational spectrum method. | Read by QxMD
ReliabilityTheory package - RDocumentation
Estimation of covariance matrices - Wikipedia
Ad hoc polymorphism - Wikipedia
Introduction to dplyr
Abstraction (computer science) - Wikipedia
Dealing with S3 methods in R with a simple example | R-bloggers
klik: Kernel log likelihood in MKLE: Maximum Kernel Likelihood Estimation
Redirectingβ¦
Bias of an estimator - Wikipedia
Construct Modeling Packages β’ hardhat
tidymodels
Test Coverage for Packages β’ covr
Writing R Extensions
Computing the pseudo inverse of a matrix in R - Stack Overflow
Left inverse and right matrix inverses - YouTube
youtube
https://wiki.math.ntnu.no/_media/tma4180/2016v/note2.pdf
pdf
Gradient - Wikipedia
Inverse-variance weighting - Wikipedia
https://www.ms.uky.edu/~mai/sta321/MLEexample.pdf
pdf
R: Maximum Likelihood Estimation
Maximum Likelihood Estimation in R: A Step-by-Step Guide
Introduction | Advanced R
OO field guide Β· Advanced R.
Statistical model - Wikipedia
How to Make Beautiful Tables in R
https://r-pkgs.org/package-structure-state.html
Likelihood-ratio test - Wikipedia
Coverage probability - Wikipedia
Interval estimation - Wikipedia
Statistical model specification - Wikipedia
Model selection - Wikipedia
Likelihood function - Wikipedia
An Introduction to the printr Package
Introduction to readr β’ readr
R Programming Tidyverse: readr package to import data (csv, tab-separated, fixed-width) (tidy-02) - YouTube
youtube
Reproducibility - Wikipedia
anova.gnm: Analysis of Deviance for Generalized Nonlinear Models in gnm: Generalized Nonlinear Models
Statistical significance - Wikipedia
Chi-squared distribution - Wikipedia
Sampling error - Wikipedia
Estimator - Wikipedia
Indicator function | Indicator random variable
Categorical distribution - Wikipedia
S3 Β· Advanced R.
Leibniz integral rule - Wikipedia
Google Search
https://cran.r-project.org/web/packages/numDeriv/numDeriv.pdf
pdf
https://arxiv.org/pdf/1602.04915.pdf
pdf
Joint probability distribution - Wikipedia, the free encyclopedia
Multinomial distribution - Wikipedia
Back to Basics: Designing Classes (part 2 of 2) - Klaus Iglberger - CppCon 2021 - YouTube
youtube
Penalty method - Wikipedia
Barrier function - Wikipedia
GaussβNewton algorithm - Wikipedia
Nonlinear conjugate gradient method - Wikipedia
NelderβMead method - Wikipedia
Secant method - Wikipedia
Hyperparameter optimization - Wikipedia
Wolfe conditions - Wikipedia
Norm (mathematics) - Wikipedia
Conjugate gradient method - Wikipedia
Quasi-Newton method - Wikipedia
Golden-section search - Wikipedia
R: Golden Section Search
golden.section.search function - RDocumentation
golden.section.search: Golden section search in deconstructSigs: Identifies Signatures Present in a Tumor Sample
Emscripten - Wikipedia
Phoenix Framework
JavaScript - Wikipedia
WebAssembly - Wikipedia
Tips and tricks for working with images and figures in R Markdown documents | Technical Tidbits From Spatial Analysis & Data Science
GitHub - t4t5/Tweether: A decentralized, uncensorable Twitter-clone built on Ethereum. β¦οΈ
github
TypeScript: The starting point for learning TypeScript
Index | Node.js v24.9.0 Documentation
dblp: Zhibin Tan
Weibull distribution - Wikipedia
Build a real-time Twitter clone in 15 minutes with LiveView and Phoenix 1.5 - YouTube
youtube
WebAssembly
Lecture 22: Gradient Descent: Downhill to a Minimum | Matrix Methods in Data Analysis, Signal Processing, and Machine Learning | Mathematics | MIT OpenCourseWare
https://www.scottaaronson.com/papers/pnp.pdf
pdf
Code - Wikipedia
Strassen algorithm - Wikipedia
Computational complexity of matrix multiplication - Wikipedia
Boolean satisfiability problem - Wikipedia
P versus NP problem - Wikipedia
Millennium Prize Problems - Wikipedia
Branch and cut - Wikipedia
Set estimation - Wikipedia
Interval contractor - Wikipedia
Interval arithmetic - Wikipedia
Simulated annealing - Wikipedia
Building a website with pkgdown: a short guide | R-bloggers
GitHub - r-lib/pkgdown: Generate static html documentation for an R package
github
https://r-pkgs.org/git.html?
Google Search
Rtools42 for Windows
https://web.mit.edu/insong/www/pdf/rpackage_instructions.pdf
pdf
Writing R packages in Rstudio
Create Elegant Data Visualisations Using the Grammar of Graphics β’ ggplot2
Tidyverse
GitHub - tidyverse/dplyr: dplyr: A grammar of data manipulation
github
Tidy data
Simple, Consistent Wrappers for Common String Operations β’ stringr
Functional Programming Tools β’ purrr
Stan
Interface to Python β’ reticulate
2.7 Other language engines | R Markdown: The Definitive Guide
R Markdown Gallery
tidymodels
An API Generator for R β’ plumber
CRAN: Package roxygen2
Newton's method - Wikipedia
Introduction to pkgdown β’ pkgdown
Get started with cpp11 β’ cpp11
GitHub - r-lib/lintr: Static Code Analysis for R
github
GitHub - jasdumas/gramr: RStudio Addin, function, & shiny app for the write-good linter :pencil:
github
Tools for Spell Checking in R β’ spelling
Get started with cpp11
Authoring Books and Technical Documents with R Markdown β’ bookdown
https://www.stat.purdue.edu/~fmliang/STAT611/st611lect9.pdf
pdf
GitHub - yixuan/prettydoc: Creating Pretty HTML From R Markdown
github
Create a Package or Research Compendium Structure β’ rcompendium
R: Goodness-of-Fit Test
Statistical rethinking with brms, ggplot2, and the tidyverse: Second edition
https://xcelab.net/rm/statistical-rethinking/
Statistical inference for data⦠by Brian Caffo [PDF/iPad/Kindle]
Model Estimation by Example
Home | LOST
ISLR tidymodels labs
Introduction to Modern Statistics (2e)
Department of Mathematics and Statistics : SLU - Saint Louis University
Bayes Rules! An Introduction to Applied Bayesian Modeling
An Introduction to Statistical Learning
What They Forgot to Teach You About R
The R Language
Modern R with the tidyverse
Functional Programming
Efficient R programming
Book of R | No Starch Press
Best Coding Practices for R
Welcome Β· Advanced R.
YaRrr! The Pirateβs Guide to R
R Graphics Cookbook, 2nd edition
R Markdown: The Definitive Guide
R Packages (2e)
The Tidyverse Cookbook
The Grammar of Experimental Designs
Rcpp for everyone
ggplot2: Elegant Graphics for Data Analysis (3e)
data.table in R - The Complete Beginners Guide - Machine Learning Plus
Tidy Modeling with R
The caret Package
Applied Machine Learning Using mlr3 in R
Hands-On Machine Learning with R
A Minimal rTorch Book
A ggplot2 Tutorial for Beautiful Plotting in R - CΓ©dric Scherer
R Programming for Data Science
Welcome | R for Data Science
Modern Statistics with R
Modern Data Science with R
An Introduction to Data Analysis
Writing R extensions
Survival analysis - Wikipedia
Goodness of fit - Wikipedia
Likelihood ratio test
Maximum a posteriori estimation - Wikipedia
Principle of maximum entropy - Wikipedia
M-estimator - Wikipedia
Statistical model - Wikipedia
Relative likelihood - Wikipedia
All models are wrong - Wikipedia
Cross-validation (statistics) - Wikipedia
Bias (statistics) - Wikipedia
Errors and residuals - Wikipedia
KullbackβLeibler divergence - Wikipedia
NeymanβPearson lemma - Wikipedia
Maximum likelihood estimation - Wikipedia
Weibull distribution - Wikipedia
Steve Brunton - YouTube
youtube
A Timeline of Programming Languages
GitHub - mxgmn/MarkovJunior: Probabilistic language based on pattern matching and constraint propagation, 153 examples
github
https://theprogrammershangout.com/faq
A ggplot2 Tutorial for Beautiful Plotting in R - CΓ©dric Scherer
1 The Whole Game β R Packages (2e)
Fundamentals of Data Visualization
Reliability engineering - Wikipedia
KaplanβMeier estimator - Wikipedia
https://www.math.arizona.edu/~jwatkins/O_mle.pdf
pdf
Side-by-Side plots with ggplot2 | R-bloggers
Survival function - Wikipedia
Chapter 8 reveal.js Presentations | R Markdown: The Definitive Guide
Survival function - Wikipedia
LaTeX/Presentations - Wikibooks, open books for an open world
CramΓ©rβvon Mises criterion - Wikipedia
Survival function - Wikipedia
Failure rate - Wikipedia
Data Visualization
Welcome | Data Science at the Command Line, 2e
Introduction | Advanced R
Mean squared error - Wikipedia
7 Efficient optimisation | Efficient R programming
Statistical Inference via Data Science
Chapter 11 Data visualization principles | Introduction to Data Science
The Comprehensive R Archive Network
Sponge function - Wikipedia
Boolean algebra (structure) - Wikipedia
Ring (mathematics) - Wikipedia
Chapter 12 Books | R Markdown: The Definitive Guide
The Business Value of a Good API - Bob Steagall - CppCon 2019 - YouTube
youtube
25 Rewriting R code in C++ | Advanced R
Dr. Dobb's Journal Interview with Alex Stepanov
https://r-pkgs.org/src.html
Docstring Alternatives and Reviews
Fusen Alternatives and Reviews
Build websites for R packages β’ pkgdown
Implementing static_vector: How Hard Could it Be? - David Stone - CppCon 2021 - YouTube
youtube
Extending and Simplifying C++: Thoughts on Pattern Matching using `is` and `as` - Herb Sutter - YouTube
youtube
Combining Co-Routines and Functions into a Job System - Helmut Hlavacs - CppCon 2021 - YouTube
youtube
Keynote: A Future of Value Semantics and Generic Programming Part 1 - Dave Abrahams - CppNow 2022 - YouTube
youtube
Deducing this Patterns - Ben Deane - CppCon 2021 - YouTube
youtube
Implementing C++ Modules: Lessons Learned, Lessons Abandoned - Cameron DaCamara & Gabriel Dos Reis - YouTube
youtube
Discovering a User-Facing Concept - Christopher Di Bella - CppCon 2021 - YouTube
youtube
Parent & Wolczko: Fragmentation of machine architectures - YouTube
youtube
CppCast Episode 310: STLab with Sean Parent and Dave Abrahams - YouTube
youtube
Exceptions the Other Way Round - Sean Parent - CppNow 2022 - YouTube
youtube
programming-resources/ideas.md at master Β· the-programmers-hangout/programming-resources Β· GitHub
github
Four Solutions to a Trivial Problem - Guy Steele Jr. - YouTube
youtube
Invited Talk - Guy Steele - YouTube
youtube
How to Become Accomplished β’ Chad Fowler β’ GOTO 2013 - YouTube
youtube
"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010) - YouTube
youtube
Complex Analysis 2 | Complex Differentiability - YouTube
youtube
Riemann Integral vs. Lebesgue Integral - YouTube
youtube
clang-tidy in Visual Studio Code - YouTube
youtube
GitHub - ocornut/imgui: Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
github
Keynote: On the Aesthetics of Code - Sy Brand - CPPP 2021 - YouTube
youtube
Write your own compiler in 24 hours by Phil Trelford - YouTube
youtube
Creating a Zelda style game in Python [with some Dark Souls elements] - YouTube
youtube
Typescripten: Generating type-safe JavaScript bindings for emscripten - Sebastian Theophil CppNow 22 - YouTube
youtube
Branchless Programming in C++ - Fedor Pikus - CppCon 2021 - YouTube
youtube
Branchless Programming: Why "If" is Sloowww... and what we can do about it! - YouTube
youtube
Branchless programming. Does it really matter? - DEV Community
TypeScript Generics Explained - Creating Reusable Components with TS Generics Examples - YouTube
youtube
TypeScript: Documentation - TypeScript for Functional Programmers
Theory of descriptions - Wikipedia
Prediction interval - Wikipedia
Scoring algorithm - Wikipedia, the free encyclopedia
Informant (statistics) - Wikipedia
Uniformly most powerful test - Wikipedia
Hadamard derivative - Wikipedia
Confidence interval - Wikipedia
Score test - Wikipedia
Likelihood-ratio test - Wikipedia
Wald test - Wikipedia
Fisher information - Wikipedia
Loss function - Wikipedia
CramΓ©rβRao bound - Wikipedia
Sampling distribution - Wikipedia
Prediction - Wikipedia
Chapter 6 Parameter Transformations | bookdown-demo.knit
Efficiency (statistics) - Wikipedia
Fisher consistency - Wikipedia
Statistical hypothesis test - Wikipedia
Distribution of the product of two random variables - Wikipedia
List of convolutions of probability distributions - Wikipedia
Ratio distribution - Wikipedia
Algebra of random variables - Wikipedia
Gamma distribution - Wikipedia
R: Test matrix for negative semi definiteness
Exponential family - Wikipedia
Logarithmically concave function - Wikipedia
Google Search
UserBenchmark: Nvidia GTX 1080-Ti vs RTX 3070
Single Leg Bounds - YouTube
youtube
Transformers, explained: Understand the model behind GPT, BERT, and T5 - YouTube
youtube
DevOps for Data Science (do4ds01) - YouTube
youtube
An introduction to multithreading in C++20 - Anthony Williams - Meeting C++ 2022 - YouTube
youtube
THE SIGHTS OF SPACE: A Voyage to Spectacular Alien Worlds - YouTube
youtube
A totally constexpr standard library - Paul Keir, Joel Falcou et al - Meeting C++ 2022 - YouTube
youtube
5 Best Drills For Explosive Sprint Speed - YouTube
youtube
IEEE Standard for Floating-Point Arithmetic (IEEE 754) - YouTube
youtube
Discord
GitHub - f/awesome-chatgpt-prompts: This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.
github
https://www.bybit.com/en-US/
GitHub - benbusby/whoogle-search: A self-hosted, ad-free, privacy-respecting metasearch engine
github
The Best of NeurIPS 2022 - YouTube
youtube
Sign in - Google Accounts
https://www.lesswrong.com/posts/pNcFYZnPdXyL2RfgA/using-gpt-eliezer-against-chatgpt-jailbreaking
https://www.lesswrong.com/posts/BzYmJYECAc3xyCTt6/the-plan-2022-update
https://www.lesswrong.com/posts/Cvr723R7DmKcLiAzQ/revisiting-algorithmic-progress
https://www.lesswrong.com/posts/qy5dF7bQcFjSKaW58/bad-at-arithmetic-promising-at-math
https://www.lesswrong.com/posts/qRtD4WqKRYEtT5pi3/the-next-decades-might-be-wild
Revisiting algorithmic progress | Epoch AI
https://www.lesswrong.com/posts/htrZrxduciZ5QaCjw/language-models-seem-to-be-much-better-than-humans-at-next
Hans Moravec - Wikipedia
The Scaling Hypothesis Β· Gwern.net
Prior probability - Wikipedia
Evolution as Backstop for Reinforcement Learning Β· Gwern.net
The Scaling Hypothesis Β· Gwern.net
https://www.gwern.net/docs/www/arxiv.org/2f90212754aa5c9487dcc3552e5d807f87063eca.pdf#google
pdf
https://www.gwern.net/docs/www/arxiv.org/5f3ef8ce619f3af4f40dc1e235b3492d3c2685e3.pdf#deepmind
pdf
https://www.gwern.net/docs/ai/scaling/2020-hasson.pdf
pdf
https://www.gwern.net/docs/www/arxiv.org/98ad3320bdb3cbab2681220ed6b4dc44c455f14d.pdf#google
pdf
https://www.gwern.net/docs/www/arxiv.org/aea56633ef88d71aadfb45b62bb1a218cda38102.pdf
pdf
https://www.gwern.net/docs/www/arxiv.org/ce54be912a7192483c027c22c5fa8ff05e01ec77.pdf#page=13
pdf
https://www.gwern.net/docs/ai/scaling/2009-halevy.pdf
pdf
Can a Machine Learn to Write for The New Yorker? | The New Yorker
OpenAI has created bots that can play Dota 2 as a team β Quartz
https://www.lesswrong.com/tag/aixi
1502.05336.pdf
pdf
https://www.lesswrong.com/posts/9Yc7Pp7szcjPgPsjf/the-brain-as-a-universal-learning-machine
https://www.jhuapl.edu/Content/techdigest/pdf/V28-N03/28-03-Spall.pdf
pdf
Mean signed deviation - Wikipedia
Discrete uniform distribution - Wikipedia
Google Search
Inverse-gamma distribution - Wikipedia
Normal distribution - Wikipedia
Covariance: Definition, Formula, Types, and Examples
Mean squared error - Wikipedia
Minimum-variance unbiased estimator - Wikipedia
3d surface plots in R
Plotting Surfaces with R Β· R Views
2D contours of a 3D surface β geom_contour β’ ggplot2
Customise your site β’ pkgdown
Build websites for R packages β’ pkgdown
Inverse distribution - Wikipedia
Google Search
Really large numbers in R | R-bloggers
https://cran.r-project.org/web/packages/Rmpfr/vignettes/Rmpfr-pkg.pdf
pdf
Normal distribution - Maximum likelihood estimation
https://dawenl.github.io/files/mle_biased.pdf
pdf
Asymptotic Normality of MLE
Bias of an estimator - Wikipedia
7 Data β R Packages (2e)
Building a nice legend with R and ggplot2 β the R Graph Gallery
Maximum likelihood estimation - Wikipedia
http://lagrange.math.siu.edu/Olive/simle.pdf
pdf
Maximum likelihood estimation - Wikipedia
Maximum likelihood estimation - Wikipedia
Gamma distribution - Wikipedia
Exponential distribution - Wikipedia
[PDF] Statistics 580 Maximum Likelihood Estimation Introduction - Free Download PDF
https://arxiv.org/pdf/2210.05050.pdf
pdf
Variance-stabilizing transformation - Wikipedia
Taylor expansions for the moments of functions of random variables - Wikipedia
Delta method - Wikipedia
Standard deviation - Wikipedia
How To Calculate Variance From Standard Error
https://www.stat.berkeley.edu/~nolan/stat135/HO/AsyVar.pdf
pdf
maximum likelihood - Variance of residuals vs. MLE of the variance of the error term - Cross Validated
Google Search
maximum likelihood - Basic question about Fisher Information matrix and relationship to Hessian and standard errors - Cross Validated
Life Data Analysis Part I - Estimation of Failure Probabilities
Gradient descent - Wikipedia
Covariance matrix - Wikipedia
Understanding Positive Definite Matrices
How to Apply a Function to Each Element of a Matrix in R (2 Examples)
Positive definite matrix
Definite matrix - Wikipedia
A Grammar of Data Manipulation β’ dplyr
Coerce lists, matrices, and more to data frames β as_tibble β’ tibble
Akaike information criterion - Wikipedia
GGPlot Title, Subtitle and Caption : The Ultimate Guide - Datanovia
Easily Create Presentation-Ready Display Tables β’ gt
ggplot2 histogram plot : Quick start guide - R software and data visualization - Easy Guides - Wiki - STHDA
Likelihood principle - Wikipedia
Wilks' theorem - Wikipedia
Fisher information - Wikipedia
Fisher information - Wikipedia
Fisher information - Wikipedia
https://arxiv.org/pdf/1705.01064.pdf
pdf
Weibull distribution - Wikipedia
When is the bootstrap estimate of bias valid? - Cross Validated
Mean squared error - Wikipedia
Bias & bootstrap bias correction | basic statistics
Chapter 7 Estimation of The GWN Model | Introduction to Computational Finance and Financial Econometrics with R
8.6 The Nonparametric Bootstrap | Introduction to Computational Finance and Financial Econometrics with R
Google Search
Variance - Wikipedia
A Biased (but still good) Estimate for Variance of a Normal Distribution - YouTube
youtube
Biasβvariance tradeoff - Wikipedia
Find Matrix Inverse: Special Cases
Google Search
Bias of an estimator - Wikipedia
Hessian matrix - Wikipedia
R: Kernel Density Estimation
density function - Empirical PDF from Empirical CDF - Cross Validated
Empirical distribution function - Wikipedia
https://pure.manchester.ac.uk/ws/portalfiles/portal/85606937/MEPDFR.pdf
pdf
Algorithms for computing multivariate Empirical distribution function (ECDF)? - Cross Validated
https://arxiv.org/pdf/2005.03246.pdf
pdf
https://math.okstate.edu/people/lebl/osu4013-f19/hessian.pdf
pdf
Bias of an estimator - Wikipedia
https://web.stanford.edu/class/archive/stats/stats200/stats200.1172/Lecture17.pdf
pdf
6 Functions | Advanced R
CRAN: Package madness
mxinv: Numerical and Symbolic Matrix Inverse in eguidotti/calculus: High Dimensional Numerical and Symbolic Calculus
inv: Matrix Inverse (Matlab Style) in pracma: Practical Numerical Math Functions
www.Autodiff.org - Community Portal for Automatic Differentiation
Redirect
Stan Userβs Guide
β This repository is deprecated and no longer updated | r-packages
19 Website β R Packages (2e)
17 Vignettes β R Packages (2e)
11 S3 | Advanced R Solutions
OO field guide Β· Advanced R.
13 S3 | Advanced R
R: Methods for Non-Generic Functions in Other Packages
Automatic differentiation in R with Stan Math | R-bloggers
Custom Print Methods
stan-book/maximum-likelihood.Rmd at master Β· malcolmbarrett/stan-book Β· GitHub
github
Run Stan's MCMC algorithms β model-method-sample β’ cmdstanr
Getting started with CmdStanR β’ cmdstanr
Redirectingβ¦
https://cran.r-project.org/web/packages/Deriv/Deriv.pdf
pdf
https://cran.r-project.org/web/packages/madness/vignettes/introducing_madness.pdf
pdf
Redirectingβ¦
Redirectingβ¦
E1206013842.pdf
pdf
R: Weibull Regression
https://web.math.ku.dk/~richard/courses/regression2015/week3wed.pdf
pdf
ReliaWiki
Google Search
Automatic differentiation in R with Stan Math | A Random Walk
CRAN: Package symengine
MOSAIC Calculus
Beginnersβ Guide to Calculus with R
Conditional independence - Wikipedia
Cross-entropy - Wikipedia
Maximum likelihood estimation - Wikipedia
https://proceedings.neurips.cc/paper/2020/file/322f62469c5e3c7dc3e58f5a4d1ea399-Paper.pdf
pdf
[2001.10995] The Case for Bayesian Deep Learning
arxiv
A Comprehensive Introduction to Bayesian Deep Learning - Joris Baan
Let's try some Bayesian data analysis | R
Lecture - 1 Introduction - YouTube
youtube
Refactoring Is Not Just Clickbait - Kevlin Henney - NDC Oslo 2022 - YouTube
youtube
01L β Gradient descent and the backpropagation algorithm - YouTube
youtube
DEEP LEARNING Β· Deep Learning
06 β Classification, an energy perspective β Backprop and contrastive learning - YouTube
youtube
Artificial general intelligence - Wikipedia
Artificial intelligence - Wikipedia
Stream (computing) - Wikipedia
Formal grammar - Wikipedia
Algebraic closure - Wikipedia
Richardson's theorem - Wikipedia
Mathematical logic - Wikipedia
Programming language theory - Wikipedia
Formal system - Wikipedia
Functional (mathematics) - Wikipedia
Domain of a function - Wikipedia
Function (mathematics) - Wikipedia
Relational algebra - Wikipedia
LLVM - YouTube
youtube
COMPILER FUN - YouTube
youtube
Recursive Descent Parser Hacking Series - YouTube
youtube
Rewrite Your Scripts In LISP - with Roswell - YouTube
youtube
Why You Should Learn Lisp In 2025 - YouTube
youtube
https://www.cs.auckland.ac.nz/~cristian/tcspi/ch2.pdf
pdf
(How to Write a (Lisp) Interpreter (in Python))
WRITE A LEXER AND PARSER | Make a Lisp in C++ (mal) | Step 1a - YouTube
youtube
https://arxiv.org/pdf/nlin/0112022.pdf
pdf
Algorithm - Wikipedia
Computable number - Wikipedia
Algorithmically random sequence - Wikipedia
Algorithmic information theory - Wikipedia
Arithmetical hierarchy - Wikipedia
Oracle machine - Wikipedia
Computably enumerable set - Wikipedia
Chaitin's constant - Wikipedia
Julia (programming language) - Wikipedia
http://www.econ.uiuc.edu/~roger/research/conopt/coptr.pdf
pdf
https://www.princeton.edu/~aaa/Public/Teaching/ORF523/S16/ORF523_S16_Lec7_gh.pdf
pdf
Back to Basics: Standard Library Containers in Cpp - Rainer Grimm - CppCon 2022 - YouTube
youtube
GPU Accelerated Computing & Optimizations on Cross-Vendor Graphics Cards with Vulkan & Kompute - YouTube
youtube
Optimizing Binary Search - Sergey Slotin - CppCon 2022 - YouTube
youtube
The road to AGI - YouTube
youtube
Dataslice - YouTube
youtube
GPT - Explained! - YouTube
youtube
27. EM Algorithm for Latent Variable Models - YouTube
youtube
The Weightlifting Iceberg - YouTube
youtube
CppCon - YouTube
youtube
https://arxiv.org/pdf/2205.10893.pdf
pdf
Evaluating Large Language Models Trained on Code
pdf
[2204.02311] PaLM: Scaling Language Modeling with Pathways
arxiv
Statistical model validation - Wikipedia
2204.02311.pdf
pdf
Tensor Processing Units (TPUs) | Google Cloud
1706.03762.pdf
pdf
Best HFY Reddit Stories: The Demons - YouTube
youtube
The Imperatives Must Go! - Victor Ciura - Meeting C++ 2022 - YouTube
youtube
A deep dive into dispatching techniques - Jonathan MΓΌller - Meeting C++ 2022 - YouTube
youtube
YouTube
https://www.lesswrong.com/posts/sGnPTfjE5JthAStqg/things-that-can-kill-you-quickly-what-everyone-should-know
https://www.lesswrong.com/posts/6frs5xTkeLc9vZSRN/iron-deficiencies-are-very-bad-and-you-should-treat-them
https://www.lesswrong.com/posts/XAS5FKyvScLb7jqaF/cross-post-is-the-fermi-paradox-due-to-the-flaw-of-averages
https://www.lesswrong.com/posts/vzfz4AS6wbooaTeQk/staring-into-the-abyss-as-a-core-life-skill
https://www.lesswrong.com/posts/BfN88BfZQ4XGeZkda/concrete-reasons-for-hope-about-ai
https://www.lesswrong.com/posts/ejEgaYSaefCevapPa/critique-of-some-recent-philosophy-of-llms-minds
https://www.lesswrong.com/posts/fovfuFdpuEwQzJu2w/neural-networks-generalize-because-of-this-one-weird-trick
https://www.lesswrong.com/posts/9kQFure4hdDmRBNdH/how-it-feels-to-have-your-mind-hacked-by-an-ai
(PDF) ChatGPT intimates a tantalizing future; its core LLM is organized on multiple levels; and it has broken the idea of thinking. Version 3
[2210.13382] Emergent World Representations: Exploring a Sequence Model Trained on a Synthetic Task
arxiv
https://hbr.github.io/Lambda-Calculus/cc-tex/cc.pdf
pdf
CycL - Wikipedia
Semantic reasoner - Wikipedia
Tacit knowledge - Wikipedia
Ontology (information science) - Wikipedia
Knowledge base - Wikipedia
Home - Cyc
Cyc - Wikipedia
https://hagan.okstate.edu/NNDesign.pdf
pdf
https://www.deeplearningbook.org/contents/linear_algebra.html
https://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf
pdf
(PDF) RLL-1: A Representation Language Language. Supplement. Details of RLL-1
https://www.aaai.org/Papers/AAAI/1983/AAAI83-059.pdf
pdf
Meta - Wikipedia
Metaprogramming - Wikipedia
Self-modifying code - Wikipedia
JΓΌrgen Schmidhuber - Wikipedia
https://arxiv.org/ftp/arxiv/papers/2211/2211.01678.pdf
pdf
Reddit - The heart of the internet
reddit
Help keep this book alive | Butterickβs Practical Typography
http://jmc.stanford.edu/articles/lisp/lisp.pdf
pdf
Reddit - The heart of the internet
reddit
LISP β Mecrisp Stellaris Unofficial 1.0 documentation
YOKAISLOT : Tempat Bermain Game Terbaik Sepanjang Sejarah yang Membentuk Industri Hiburan Digital
Laurence Tratt: Distinguishing an Interpreter from a Compiler
KHyperLogLog
Doing Maths Symbolically: R as a Computer Algebra System (CAS) β Learning Machines
βWhy is symbolic AI being overshadowed by statistical AI?β by Dr. Bas van der Raadt - YouTube
youtube
How to create superintelligent AI | Demis Hassabis and Lex Fridman - YouTube
youtube
Machine Learning Street Talk - YouTube
youtube
8. Neuro Symbolic AI - YouTube
youtube
What is Symbolic Artificial Intelligence? Prediction: ChatGPT + Symbolic AI = Mind Blowing - YouTube
youtube
Huge Language Models and Neuro-Symbolic AI - Prof. Yoav Shoham - YouTube
youtube
Logical Neural Networks: Towards Unifying Statistical and Symbolic AI - YouTube
youtube
Challenges in Deep Learning (Dr Razvan Pascanu - DeepMind) - YouTube
youtube
Research talk: Numerical weak AI and symbolic strong AI - YouTube
youtube
Copula (statistics) - Wikipedia
Google Search
Proportional hazards model - Wikipedia
Open Assistant Live Coding (Open-Source ChatGPT Replication) - YouTube
youtube
ChatGPT will make you better - YouTube
youtube
ChatGPT for Software Developers - Learn in 20 Minutes - YouTube
youtube
How I Coded An Entire Website Using ChatGPT - YouTube
youtube
Lena (standard prompt) | Kevin Liu
Reaching 80% zero-shot accuracy with OpenCLIP: ViT-G/14 trained on LAION-2B | LAION
ruder.io
https://arxiv.org/pdf/2301.04589.pdf
pdf
Developer-Y/cs-video-courses: List of Computer Science courses with video lectures.
github
AGI Debate - YouTube
youtube
Write the perfect ChatGPT prompts in 5 easy steps! - neuroflash
https://web.stanford.edu/~lutian/coursepdf/unit1.pdf
pdf
Top 10 Deep Learning Algorithms You Should Know in 2025
GitHub - facebookresearch/ReAgent: A platform for Reasoning systems (Reinforcement Learning, Contextual Bandits, etc.)
github
GitHub - facebookresearch/fbpcs: FBPCS (Facebook Private Computation Solutions) leverages secure multi-party computation (MPC) to output aggregated data without making unencrypted, readable data available to the other party or any third parties. Facebook provides impression & opportunity data, and the advertiser provides conversion / outcome data.
github
facebookresearch/Cupcake: A Rust library for lattice-based additive homomorphic encryption.
github
2108.07258.pdf
pdf
#97 SREEJAN KUMAR - Human Inductive Biases in Machines from Language - YouTube
youtube
GitHub - alignedai/chatgpt-prompt-evaluator: This shows the results from using a second, filter LLM that analyses prompts before sending them to GPT-Chat
github
fka/awesome-chatgpt-prompts Β· Datasets at Hugging Face
Lecture 5B: Computational Objects - YouTube
youtube
Emergence and reasoning in large language models - Jason Wei (Google) - YouTube
youtube
https://arxiv.org/pdf/2301.12579.pdf
pdf
hwchase17/langchain: β‘ Building applications with LLMs through composability β‘
github
https://langchain.readthedocs.io/en/latest/modules/llms.html
Welcome to LlamaIndex π¦ (GPT Index)! β LlamaIndex documentation
GitHub - run-llama/llama_index: LlamaIndex is the leading framework for building LLM-powered agents over your data.
github
AndersonβDarling test - Wikipedia
https://cran.r-project.org/web/packages/chatgpt/chatgpt.pdf
pdf
Regularization (mathematics) - Wikipedia
Types of Machine Learning Interviews and how to ace them | Towards Data Science
Webscale Blog: Insights on AI & Commerce | Webscale
Webscale Blog: Insights on AI & Commerce | Webscale
Webscale Blog: Insights on AI & Commerce | Webscale
Google Search
https://www.lesswrong.com/posts/Fjoy5SxgBmxfy7FNB/gradient-surfing-the-hidden-role-of-regularization
Overcoming Bias
https://myweb.uiowa.edu/pbreheny/7210/f19/notes/8-29.pdf
pdf
Hazard and Survival Functions - [Survival Analysis 5/8] - YouTube
youtube
probability - Intuition for cumulative hazard function (survival analysis) - Cross Validated
GraphPad Prism 10 Statistics Guide - Key concepts: Survival curves
Random Number Generation in C++ | hacking C++
Backtracking line search - Wikipedia
cppyy: Automatic Python-C++ bindings β cppyy 2.4.0 documentation
Let's build GPT: from scratch, in code, spelled out. - YouTube
youtube
http://www.econ.uiuc.edu/~roger/courses/574/lectures/L9.pdf
pdf
Getting Started with Bootstrap Model Validation | UVA Library
Mixture of experts - Wikipedia
Pareto front - Wikipedia
Stochastic gradient descent - Wikipedia
Google Research, 2022 & beyond: Algorithms for efficient deep learning
Collective Intelligence for Deep Learning: A Survey of Recent Developments | ε€§γγ
fastai A Layered API for Deep Learning β fast.ai
neural networks - Foundation models : Is it a new paradigm for statistics and machine learning? - Cross Validated
The Scaling Hypothesis Β· Gwern.net
What makes Gary Marcus angry?
TabFS
Type Network Logo
RIFE2 Framework : Full-stack, no-declaration, framework to quickly and effortlessly create web applications with modern Java.
https://arxiv.org/pdf/2302.06600.pdf
pdf
Extra Lecture - Meta-Learning - YouTube
youtube
Generating Datasets with Pretrained Language Models - ACL Anthology
https://proceedings.neurips.cc/paper/2020/file/1457c0d6bfcb4967418bfb8ac142f64a-Paper.pdf
pdf
https://arxiv.org/pdf/2302.04761.pdf
pdf
Jay Alammar - Large Language Models for Real-World Applications - A Gentle Intro - YouTube
youtube
https://arxiv.org/pdf/1706.03741.pdf
pdf
https://isaaceditor.com/editor/6da37579-2676-44c7-bfa1-6331c5348c14?#
Prompt injection attacks against GPT-3
[1706.03741] Deep reinforcement learning from human preferences
arxiv
[2201.08239] LaMDA: Language Models for Dialog Applications
arxiv
https://www.lesswrong.com/posts/eoHbneGvqDu25Hasc/rl-with-kl-penalties-is-better-seen-as-bayesian-inference
Table of contents | Better without AI
Getting Started β π¦π LangChain 0.0.100
Search | Elicit
Eliciting Latent Knowledge - Google Docs
Dr Paul Christiano on how OpenAI is developing real solutions to the 'AI alignment problem', and his vision of how humanity will progressively hand over decision-making to AI systems - 80,000 Hours
https://ai-alignment.com/an-unaligned-benchmark-b49ad992940b
Redwood Research
10 Leading Language Models For NLP In 2022
Summary of the models
ChatGPT - Wikipedia
Transformer (deep learning architecture) - Wikipedia
Transformer (deep learning architecture) - Wikipedia
BERT (language model) - Wikipedia
OpenAI - Wikipedia
DeepMindβs latest research at NeurIPS 2022 - Google DeepMind
What is ChatGPT doing...and why does it work? - YouTube
youtube
CS480/680 Lecture 1: Course Introduction - YouTube
youtube
Let's build GPT: from scratch, in code, spelled out. - YouTube
youtube
When AGI? - YouTube
youtube
DeepMind: Google's Secret AI Powerhouse - YouTube
youtube
Chatbot with INFINITE MEMORY using OpenAI & Pinecone - GPT-3, Embeddings, ADA, Vector DB, Semantic - YouTube
youtube
OpenAI GPT-4 Predictions and Rumors - YouTube
youtube
2302.09419.pdf
pdf
Large Language Model: world models or surface statistics?
[2106.01345] Decision Transformer: Reinforcement Learning via Sequence Modeling
arxiv
Just Ask for Generalization | Eric Jang
[2211.01910] Large Language Models Are Human-Level Prompt Engineers
arxiv
[2205.11916] Large Language Models are Zero-Shot Reasoners
arxiv
[2005.14165] Language Models are Few-Shot Learners
arxiv
Trending repositories on GitHub today
The latest in Machine Learning | Papers With Code
2.4 Six data-generating processes for simulating outcomes
10 Udemy Courses Every Developer SHOULD Own (NOT just coding) - YouTube
youtube
ChatGPT Tutorial for Developers - 38 Ways to 10x Your Productivity - YouTube
youtube
Generating Parsers in C++ with Maphoon - Part 1 of 2 - Hans de Nivelle - CppCon 2022 - YouTube
youtube
Let's build GPT: from scratch, in code, spelled out. - YouTube
youtube
7 Generic functions and methods β R Manuals :: Writing R Extensions ΒΆ
- YouTube
youtube
CourseKata - 3.3 The Data Generating Process
Statistical population - Wikipedia
Frequency (statistics) - Wikipedia
1. Overview - YouTube
youtube
3. Data Generation Processes - YouTube
youtube
DGP and Likelihood - YouTube
youtube
https://www.lesswrong.com/posts/REA49tL5jsh69X3aM/introduction-to-abstract-entropy
Principal component analysis - Wikipedia
MIT Introduction to Deep Learning (2022) | 6.S191 - YouTube
youtube