30:55Search results
- Category: Mathematics & Theoretical CS
Results for “development”
13 videos
30:55
31:11immutable data in reactTalk
React.js Conf 2015 - Immutable Data and React
Meta Developers
5 HN recommenders
20:45
40:39dependently typed programmingTalk
Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
4 HN recommenders
27:42user interface algorithmsTalk
Mark DiMarco: User Interface Algorithms [JSConf2014]
JSConf
4 HN recommenders
43:23dependent typesTalk
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
0:51hyperbolic geometry gamesDemo
Hyperbolica: A Non-Euclidean Adventure [Old Trailer]
CodeParade
3 HN recommenders
4:01non-euclidean geometryExplainer
Spherical Geometry Is Stranger Than Hyperbolic - Hyperbolica Devlog #2
CodeParade
3 HN recommenders
0:40
46:36
31:00
3:32fourth dimension visualizationDemo
How to walk through walls using the 4th Dimension [Miegakure: a 4D game]
[mtbdesignworks {Miegakure, 4D Toys}]
Discussed on HN
33:26mathematical maturityLecture
On Mathematical Maturity (1) Thomas Garrity
IAS | PCMI Park City Mathematics Institute
Discussed on HN
Sources and selection
A good mathematical explanation makes the reasoning visible. This section collects videos on mathematics and theoretical computer science, including algorithms, complexity, probability and visual approaches to difficult ideas. It is for learners building foundations as well as programmers looking for the theory behind a familiar technique.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes