hardmath123

13 ms·

91.
by hardmath123 8y ago
The last few pages have a nice general history of communications. Gives some great perspective.
92.
by hardmath123 9y ago
Neat! It would be cool to port this to one of the node option-parsing libraries, perhaps launching a small Electron-ish webapp for the "gooey."
93.
by hardmath123 9y ago
I'm a big fan of Idyll, especially how easy it is to get started with. Here's a screenshot of something I made not more than 20 minutes after first seeing it [1]. Also, can I put in a plug for nearley [2], the parsing library that
94.
Kooplet is a search engine specialized in music scores(kooplet.com)
3 points by hardmath123 9y ago|0 comments
95.
Impaled on a Fencepost(mathenchant.wordpress.com)
2 points by hardmath123 9y ago|0 comments
96.
by hardmath123 9y ago
(To be clear, it shells out to an existing SAT solver. If I understand correctly, the 1500 lines of C implement the "modulo theory" part of "satisfiable modulo theory" — that is, they "compile" things like bi
97.
Sometimes the math is just gross(ryandoeng.es)
1 points by hardmath123 9y ago|0 comments
98.
by hardmath123 9y ago
Hah, I'm in the same but opposite situation: I, too, am working on a Coq-like proof assistant, but I understand the type theory far more than the topology needed for HoTT. Do you have any suggestions for simple introductions to HoTT, e
99.
Libre Barcode 39(fonts.google.com)
3 points by hardmath123 9y ago|0 comments
100.
Zeroing memory, compiler optimizations and memset_s(cryptologie.net)
3 points by hardmath123 9y ago|0 comments
101.
Games as storytelling partners(mkremins.github.io)
3 points by hardmath123 10y ago|0 comments
102.
Bekenstein bound(en.wikipedia.org)
1 points by hardmath123 10y ago|0 comments
103.
Sylvester's Problem, a Second Look(cut-the-knot.org)
1 points by hardmath123 10y ago|0 comments
104.
Infinite primes via Fibonacci numbers(johndcook.com)
2 points by hardmath123 10y ago|0 comments
105.
Nondegenerate regular polygons in the integer lattice(jdh.hamkins.org)
4 points by hardmath123 10y ago|0 comments
106.
Avoiding chazakah with the Prouhet-Thue-Morse sequence(mathenchant.wordpress.com)
2 points by hardmath123 10y ago|0 comments
107.
Queneau Sonnets(bevrowe.info)
1 points by hardmath123 10y ago|0 comments
108.
Interpreting Literature by Computer(betterlivingthroughbeowulf.com)
1 points by hardmath123 10y ago|0 comments
109.
Mobile Numbers: Products of Twin Primes(aperiodical.com)
3 points by hardmath123 10y ago|0 comments
110.
Numbers 0 to 11111 in terms of Increasing and Decreasing Orders of 1 to 9 (2014)(arxiv.org)
116 points by hardmath123 10y ago|56 comments
111.
The Strong Law of Small Numbers [pdf](maa.org)
11 points by hardmath123 10y ago|0 comments
112.
1.2 Trillion Ways to Play the Same Sudoku(mathwithbaddrawings.com)
2 points by hardmath123 10y ago|0 comments
113.
Other Ways to Carve Up the Math Curriculum(mathwithbaddrawings.com)
2 points by hardmath123 10y ago|0 comments
114.
Rabin Flips a Coin (2009)(rjlipton.wordpress.com)
3 points by hardmath123 10y ago|0 comments
115.
A more equitable statement of the jealous husbands puzzle(aperiodical.com)
3 points by hardmath123 10y ago|1 comments
116.
The Book Itself: Four Thoughts on the Enduring Value of the Printed Book(gadgetopia.com)
2 points by hardmath123 10y ago|0 comments
117.
How to teach Endian(blog.erratasec.com)
3 points by hardmath123 10y ago|0 comments
118.
Common IRC bot URL title vulnerabilities(irc-bot-science.clsr.net)
2 points by hardmath123 10y ago|0 comments
119.
A tale of love, betrayal, social engineering and Whatsapp(robertheaton.com)
4 points by hardmath123 10y ago|1 comments
120.
by hardmath123 10y ago
One attempt was Hummingbird. http://www.hummingbirdnotation.com

More ›