Hacker News new | past | comments | ask | show | jobs | submit | FakeComments's favorites login
   submissions | comments
1. Geometry, Algebra, and Intuition (2017) (shapeoperator.com)
244 points by sebg 11 months ago | 39 comments
2. String Diagrams for Linear Algebra (graphicallinearalgebra.net)
142 points by saroyas 11 months ago | 25 comments
3. Enoki: Structured vectorization and differentiation on modern processors (readthedocs.io)
108 points by ingve 11 months ago | 7 comments
4. Reddit was down for over two hours (statuspage.io)
232 points by bluedino on Sept 18, 2019 | 268 comments
5. Why doesn't mathematics collapse, though humans often make mistakes in proofs? (mathoverflow.net)
256 points by mathgenius on Aug 18, 2019 | 80 comments
6. How the Pentagon Comes Up with Code Words and Secret Project Nicknames (thedrive.com)
116 points by jonbaer on Aug 12, 2019 | 15 comments
7. Social exclusion fuels extremism in young men (neurosciencenews.com)
302 points by jseliger on Aug 12, 2019 | 326 comments
8. Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains (arend-lang.github.io)
309 points by adamnemecek on Aug 6, 2019 | 114 comments
9. The Mathematics of Text Structure (arxiv.org)
89 points by mathgenius on July 27, 2019 | 13 comments
10. A Differentiable Programming System to Bridge ML and Scientific Computing (arxiv.org)
381 points by ChrisRackauckas on July 19, 2019 | 71 comments
11. Knowledge Extraction from Unstructured Texts (2016) (heuritech.com)
272 points by homarp on May 26, 2019 | 32 comments
12. A Randomized Controlled Trial of Interleaved Mathematics Practice [pdf] (usf.edu)
111 points by mpweiher on May 19, 2019 | 32 comments
13. Modern SAT solvers: fast, neat and underused (codingnest.com)
465 points by kachnuv_ocasek on May 19, 2019 | 118 comments
14. Matrices as Tensor Network Diagrams (math3ma.com)
225 points by _Microft on May 17, 2019 | 33 comments
15. TLA+: design, model, document, and verify concurrent systems (lamport.azurewebsites.net)
148 points by lolptdr on May 3, 2019 | 32 comments
16. Applied Category Theory (ocw.mit.edu)
508 points by lelf on Apr 19, 2019 | 106 comments
17. A Gentle Introduction to Text Summarization in Machine Learning (floydhub.com)
325 points by ReDeiPirati on Apr 16, 2019 | 28 comments
18. What is GraphBLAS? (aldenmath.com)
54 points by espeed on Apr 7, 2019 | 11 comments
19. Scientists Discover Exotic New Patterns of Synchronization (quantamagazine.org)
83 points by headalgorithm on Apr 8, 2019 | 20 comments
20. AmpliGraph: A TensorFlow-Based Library for Knowledge Graph Embeddings (ampligraph.org)
112 points by mulletboy on Apr 3, 2019 | 12 comments
21. Principal component analysis: pictures, code and proofs (2018) (joellaity.com)
179 points by stuffypages on Mar 11, 2019 | 31 comments
22. Theory of self-reproducing automata (1966) (archive.org)
80 points by HNLurker2 on Mar 10, 2019 | 12 comments
23. Learning higher order programs through abstraction and invention [pdf] (ic.ac.uk)
37 points by YeGoblynQueenne on Mar 2, 2019
24. Open-sourcing homomorphic hashing to secure update propagation (fb.com)
85 points by ingve on Mar 2, 2019 | 12 comments
25. Topological methods for unsupervised learning problems [video] (slideslive.com)
57 points by lmcinnes on Feb 28, 2019 | 11 comments
26. What Is Differentiable Programming? (fluxml.ai)
133 points by one-more-minute on Feb 11, 2019 | 41 comments
27. Neural Networks, Manifolds, and Topology (2014) (colah.github.io)
129 points by flancian on Feb 11, 2019 | 25 comments
28. A Mini-Introduction to Information Theory (arxiv.org)
136 points by godelmachine on Feb 3, 2019 | 24 comments
29. Visual Quantum Physics (visualquantumphysics.org)
134 points by bindidwodtj on Feb 2, 2019 | 19 comments
30. Stealing the Enemy's Urban Advantage: The Battle of Sadr City (usma.edu)
246 points by jspencer508 on Jan 31, 2019 | 207 comments

Applications are open for YC Winter 2021

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: