548f8b381b
rename papers accordingly, and add descriptive info
...
remove dup maths papers
5 years ago
b8c17610a2
self-similarity by Tom Leinster
...
Again on the topic of renormalisation. Dr Leinster has a nice, simple picture of self-similarity.
5 years ago
1b687f0634
tropical geometry
...
Recently there have been some papers posted about tropical geometry of neural nets. Tropical is also said to be derived from CS. This is a good introduction.
5 years ago
ab8b9915ed
Create see.machine.learning
5 years ago
c6acfccde4
Cartan triality + Milnor fibre
...
This is a higher-level paper, but still a survey (so more readable). It ties together disparate areas like Platonic solids (A-D-E), Milnor’s exceptional fibre, and algebra.
It has pictures and you’ll get a better sense of what mathematics is like from skimming it.
5 years ago
f757a3bfa9
renormalisation
...
Here is a video of a master (https://press.princeton.edu/titles/5669.html ) talking about renormalisation. Which S Mallat has suggested is key to why deep learning works.
5 years ago
3a13fb0a2b
the torus trick, applied
...
In Simons Foundation’s interview by Michael Hartley Freedman of Robion Kirby, Freedman mentions this paper in which MHF applied RK’s “torus trick” to compression via wavelets.
5 years ago
365372f54d
renormalisation
...
Stéphane Mallat thinks renormalisation has something to do with why deep nets work.
5 years ago
56245321ac
Farey
...
Have another look at ye olde Int class.
5 years ago
5ea120b2e9
pretty robots
...
You’ll understand calculus better after looking at these pretty 75 pages.
5 years ago
1ebb932a41
On “On Invariants of Manifolds”
...
2 pages about how notation and algorithms are inferior to clarity and simplicity.
5 years ago
e472669b2b
female genius
5 years ago
68b238dac0
knitting
...
Get into knitting.
Learn a data structure that needs to be embedded in 3D to do its thing.
Break your mind a bit.
5 years ago
2847545616
distributed robots!!
...
Robots! And varying your dimensionality across a space. But also — distributed robots!
5 years ago
dfd386a12c
sorting
...
You do sorting all the time. Are there smart ways to organise sub-sorts?
5 years ago
04e7e72784
from dominoes to hexagons
...
why is this super-smart guy interested in such simple drawings?
5 years ago
85abdeaa03
graphs
...
Programmers work with graphs often (file system, greplin, trees, "graph isomorphism problem" (who cares) ). But have you ever tried to construct a simpler building-block (basis) with which graphs could be built? Or at least a different building block to build the same old things.
This <10-page paper also uses 𝔰𝔩₂(ℂ), a simple mathematical object you haven’t heard of, but which is a nice lead-in to an area of real mathematics—rep theory—that (1) contains actual insights (1a) that you aren’t using (2) is simple (3) isn’t pretentious.
5 years ago
1c02a827e4
good combinatorics
...
Programmers are used to counting boring things. Why not count something more interesting for a change?
5 years ago
c600919d72
surfaces ∑
...
I show this paper to college freshmen because
• it’s pictorial
• it’s about an object you mightn’t have considered mathematical
• no calculus, crypto, ML, or pretentious notation
• it’s short
• it’s a classification proof: “How can it be that you know something about _all possible_ X, even the xϵX you haven’t seen yet?’
5 years ago
282b0d3555
what has sphere packing to do with compression?
...
• role of E8 & Leech lattice in optimal codes
• mathematically best compression was never used
• ikosahedron
5 years ago
4c2bda91bc
added comentaries from commit messages. more consistent formatting.
5 years ago
3bcd979952
added new papers in Machine Learning dir. fixed-up references
...
Truncation of Wavelet Matrices
Understanding Deep Convolutional Networks
General self-similarity: an overview
cleanup url files (wrong repo format)
5 years ago
637ef4186c
self-similarity by Tom Leinster
...
Again on the topic of renormalisation. Dr Leinster has a nice, simple picture of self-similarity.
5 years ago
b571f8191e
Differtial privacy and de-anonymization papers ( #585 )
5 years ago
b86732b009
Add Buenos Aires to the list of chapters ( #584 )
...
Add Buenos Aires to the list of chapters
5 years ago
d2f57e26ba
Adding Object Identification for Computer Vision Using Image Segmentation and Computer Vision Based Detection and Localization of Potholes in Asphalt Pavement Images ( #583 )
...
* Adding Object Identification for Computer Vision Using Image Segmentation and Computer Vision Based Detection and Localization of Potholes in Asphalt Pavement Images
* Adding Object Identification for Computer Vision Using Image Segmentation and Computer Vision Based Detection and Localization of Potholes in Asphalt Pavement Images
5 years ago
ccd2941adc
Add kanonymity paper in privacy category ( #582 )
...
* Add kanonymity paper in privacy category
* Update README.md
5 years ago
d0964171d1
Game design elements link fix ( #579 )
...
[From Game Design Elements to Gamefulness: Defining “Gamification”](https://uwaterloo.ca/scholar/sites/ca.scholar/files/lnacke/files/From_game_design_elements_to_gamefulness-_defining_gamification.pdf )
Previous link was 404ing
5 years ago
38bda8dae5
Fix broken links ( #578 )
...
Fix broken links in operating_systems
Fix broken link in networks
Fix broken link in robotics (plus typo)
Fix Unikernel paper links
5 years ago
1624d6d39c
Fix 404 papers ( #577 )
...
* Update link to Interactive Horizon Mapping: Shadows for bump-mapped surfaces
* Update link to A Mathematical Theory of Cryptography (1945)
5 years ago
ec34be84a2
Corrected indentation ( #575 )
5 years ago
a03416af40
Adding Varian 2009 ( #574 )
5 years ago
ba4aac88ea
Fix links after rename plt to languages-theory ( #573 )
5 years ago
9481bf54ce
[FIX_BROKEN_LINKS_ROBERT_HARPER] fix broken link to Robert Harper's collections of research papers ( #572 )
5 years ago
7edb828c2d
Verification faults dirs ( #566 )
...
* consolidate program verificaiton and program fault detection listings.
* faults and validation gets header info
5 years ago
e98568b063
Fixed link ( #568 )
...
* Update README.md
* Fixed A Unified Theory of Garbage Collection link
5 years ago
7efd6bf8d7
consolidate org-sim and sw-eng dirs ( #567 )
...
* consolidate org-sim and sw-eng dirs
* typo and links
5 years ago
5a081a62c2
group pattern-* related papers ( #564 )
...
* combine clustering algo into pattern matching
* rename stringology with the pattern_ prefix
* improved the README header info for paper related to patterns
5 years ago
bbe18dc2c5
Rename "paradigm" and "plt" folders for findability ( #561 )
...
* rename "language-paradigm" folder for findability
lang para pluralize
* rename PLT => languages-theory
* fixed formatting
5 years ago
9e1ee27e9f
Add statecharts paper in a new systems modeling category ( #565 )
5 years ago
e09bdcda53
Update CODE_OF_CONDUCT.md
5 years ago
7782b3e21e
Add gitter for community.
5 years ago
5db7bda337
Fix two broken links ( #558 )
...
* Fix broken link: PODC queues
* Fix broken link: p457-consolvo.pdf
5 years ago
964a9294a5
adding beijing chapter to readme ( #556 )
5 years ago
2b5e076d89
Update SWIM Link ( #557 )
...
The URL for the SWIM PDF has changed on Cornell's site.
5 years ago
b184353984
Add some of my favourite papers on unikernels ( #554 )
5 years ago
2b32b53b3f
Update README.md ( #555 )
5 years ago
ca04e2da74
On the Expressive Power of Programming Languages ( #553 )
...
* Update README.md
5 years ago
27e3f28b9e
paper at PWL conf ( #552 )
...
* paper at PWL conf
paper at PWL conf https://pwlconf.org/2019/shriram-krishnamurthi
* scroll emoji removed
5 years ago
3dd27b0ba4
A structure paper I come by every now and then. Useful for competitive programming. ( #549 )
5 years ago
ZJ
i
Rajaram Gaunker
Federico Carrone
Lílian Honorio Teixeira
Rajaram Gaunker
Jody Alford
Sébastien Portebois
Michael Jalkio
Rachita Bhagchandani
Angela Ambroz
Juanito Fatas
Eugene Jen
NewAlexandria
keddad
Wiktor Czajkowski
Zeeshan Lakhani
Wally Jones
jiangplus
Paul Welch
Alexander Jung
Stephen De Gabrielle
Ianislav Vasilev