espeed

49 ms·

601.
Strange Loop 2018 Talks Online (80 videos)(youtube.com)
4 points by espeed 8y ago|0 comments
602.
by espeed 8y ago
> Good specifications are often written at a level that generating executable code from them is often undecidable and almost always intractable in practice. What about modern dependently-typed meta languages like Idris and program synthe
603.
Church-Turing Thesis Cannot Possibly Be True [video](microsoft.com)
174 points by espeed 8y ago|147 comments
604.
High-Dimensional Probability: An Introduction with Applications in Data Science [pdf](www-personal.umich.edu)
6 points by espeed 8y ago|0 comments
605.
Type-Driven Program Synthesis [video](youtube.com)
59 points by espeed 8y ago|5 comments
606.
MIT Comcom: Synquid program synthesizer, and more command-line tools for the web(comcom.csail.mit.edu)
1 points by espeed 8y ago|0 comments
607.
Mill vs. Spectre: Performance and Security [video](youtube.com)
6 points by espeed 8y ago|0 comments
608.
StrangeLoop: You Are a Program Synthesizer – By James Koppel, MIT [video](youtube.com)
5 points by espeed 8y ago|0 comments
609.
by espeed 8y ago
No hits??? Or no callbacks after first contact? Send me your resume, and I'll take a look (email in profile).
610.
by espeed 8y ago
Who are the founders? What is their background? What are they selling? Who are they selling to?
611.
Hey Google: 7 days – 7 years ago is the day the + operator went away
4 points by espeed 8y ago|0 comments
612.
by espeed 8y ago
No. That ship has sailed. The new runtime is in the browser. Learn about wasm and matrix-multiply-add.
613.
by espeed 8y ago
No, don't think like that. Concurrency is becoming more important, that's just the new reality on the other side of Moore's Law. Concurrency doesn't just happen. Someone has to design the AWS Lambda concurrency model and
614.
by espeed 8y ago
And that capabilities model is one of the big differences in Pony and was the key to achieving Pony's parallel lock-free provably correct concurrency model. Most lang/system capability models (including Go's) are open from
615.
by espeed 8y ago
Pony's new novel lock-free Actor model is of considerable note. Sylvan ( https://github.com/sylvanc ) has since joined MSR Cambridge and is working on the distributed model now... https://github.com/ponyl
616.
Math and Art: Strikingly Beautiful Images from the SuiteSparse Matrix Collection(faculty.cse.tamu.edu)
9 points by espeed 8y ago|0 comments
617.
Bruce Schneier: “Click Here to Kill Everybody” [video](youtube.com)
60 points by espeed 8y ago|3 comments
618.
Channels, Concurrency, Cores: A New Concurrent ML Implementation (2017) [video](youtube.com)
84 points by espeed 8y ago|23 comments
619.
by espeed 8y ago
You're referring to the distributed Actor model?
620.
by espeed 8y ago
What lang ecosystem with an interactive REPL do you see as the best fit for pairing with and driving Pony? I've been dreaming of ways to help bootstrap the Pony lang/lib interop story and build toward a numerical interactive progr
621.
Nobel Minds 2017 [video](youtube.com)
1 points by espeed 8y ago|0 comments
622.
by espeed 8y ago
One of the common traits is an inability to access higher-order cognitive functions such as empathy and being unaware of their inability to do so. This often means they're in a chronic state of anxiety and confusion because the intenti
623.
by espeed 8y ago
Yeah, succinct data structures aren't something taught in most intro to data structures courses, and the concept may even be unfamiliar to oldhats since SDSs are relatively new on the scene -- the public datasphere only started becomin
624.
(2 + 2)-Free Posets, Ascent Sequences and Pattern Avoiding Permutations [pdf](sciencedirect.com)
1 points by espeed 8y ago|0 comments
625.
by espeed 8y ago
Yep, often misdiagnosed as BPD or one of the Cluster B's, come to find out Asperger's is on the same spectrum. One of the most confounding situations I've ever experienced. https://en.wikipedia.org/wiki/C
626.
by espeed 8y ago
Well, if it's true, we finally have a real live answer to the age-old question in Iron Eagle: "Dad, will the Maverick fire if we're still on the ground?" [1] https://en.wikipedia.org/wiki/Iron_Eagle
627.
by espeed 8y ago
McLuhan's Understanding Media is a seminal work and one of the books that most shaped my thinking. "Electric Speed is synonymous with light and with the understanding of causes..." That line inspired the name for the Inter
628.
Tensors for Beginners [video](youtube.com)
4 points by espeed 8y ago|0 comments
629.
by espeed 8y ago
> Everything is a device! There Are No Things. [0] ... only actions and properties. Everything is an actor [1]. In his Turing lecture, Robin Milner wrote [2]: Now, the pure lambda-calculus is built with just two kinds of thing:
630.
by espeed 8y ago
To be precise, this is about the bitlevel SDS rank and select operation. https://en.wikipedia.org/wiki/Succinct_data_structure

More ›