espeed

41 ms·

421.
by espeed 8y ago
Here's part 1 of Prof Knuth's 2007 interview by the ACM in honor of his 1974 Turing Award (it's the interview that ended up going on for more than 7 hours over 2 days). It's in a conversational style on life topics that
422.
by espeed 8y ago
Stuttering is not the right word. I'm not a speech specialist, but stuttering and stammering are not the right words. It's something else.
423.
by espeed 8y ago
Have you ever noticed how some of the world's smartest people have a somewhat jerky stop-and-go speech pattern, sort-of like Google's autocomplete? It's not uncommon among smart people who are careful about what they say, str
424.
by espeed 8y ago
These videos were just released yesterday from the Stanford archives in honor of Prof Knuth's 81st birthday so there may not be higher resolution versions available. Maybe this is a subtle call to some aspiring hacker to re-res them wi
425.
Donald Knuth – The Joy of Asymptotics (2000) [video](youtube.com)
139 points by espeed 8y ago|18 comments
426.
by espeed 8y ago
For those closer to the hardware with insight into the emerging architectures and market dynamics, how far away is AMD/Intel/IBM/Google from catching NVIDIA from a technology perspective, and does NVIDIA have a defensible com
427.
Tensor2Tensor: Library for organizing deep learning models and datasets [video](youtube.com)
3 points by espeed 8y ago|0 comments
428.
CHR.js: Compile and Run Constraint Handling Rules (CHR) in JavaScript(chrjs.net)
2 points by espeed 8y ago|0 comments
429.
by espeed 8y ago
Yeah, and areas of that "wind belt" can get pretty violent at the extremes. It includes Tornado Alley [1], which we got to experience in full force in 2017. The house got hit by a mile-wide EF4 tornado. We were fortunate -- it onl
430.
by espeed 8y ago
Texas has $1.8 trillion economy [1], which is the 10th largest economy in the world . To put that in perspective, the Texas economy is ~$500 billion larger than the entire Russian economy [2]. Texas is called the energy capital of the worl
431.
by espeed 8y ago
Yes, the original title of the post included Nobel Minds 2018, but it was modified to emphasize the description. I discovered the Nobel Minds series a few years ago. I think last year's was better, but I agree, the episodes can be hit
432.
by espeed 8y ago
Here's the resulting visualization of the 11 maps and the relationships between the 187 unique mathematical structures, including a detailed 47-page catalog describing the properties of each... Map Map [pdf] http://www.mit.e
433.
Visually Representing the Landscape of Mathematical Structures [pdf](arxiv.org)
5 points by espeed 8y ago|1 comments
434.
by espeed 8y ago
...or GANFAM to better emphasize a more healthy spirit of competition and collaboration.
435.
by espeed 8y ago
No. Incorrect on all levels. You can do declarative with both, or take a procedural approach with both. You can use SQL or Datalog with both. You can create views with both, materialized or otherwise. Graphs have never been obsolete. Graphs
436.
by espeed 8y ago
GANMAF
437.
This year's Nobel Prize winners gather for a talk [video](youtube.com)
27 points by espeed 8y ago|6 comments
438.
by espeed 8y ago
Yes, a lot of innovation had to occur to make the GraphBLAS linear algebra model practical, which has been in the works for more than 10 years. It began with Jeremy Kepner and John Gilbert's work formalizing the linear algebra model ov
439.
by espeed 8y ago
IBM also has a GraphBLAS [1] implementation in the works [2], and this summer Jenna Wise [3], a PhD candidate at CMU, spent the summer at IBM working on a formal verification proof of the GraphBLAS code [4]. [1] http://graphbla
440.
by espeed 8y ago
Here's the Redis Day London Nov '18 launch video [1] of RedisStreams and RedisGraph 1.0 GA [2] -- their benchmarks show it to be up to 600X faster over previous-gen graph DBs [2] (and that's before the coming parallel/
441.
by espeed 8y ago
And it's not just graphs...as referenced in the linked comments above, there are now linear algebra models that encode Datalog and/or the entire typed-lambda calculus as linear algebra matrix operations (and as shown in the Datalo
442.
by espeed 8y ago
New graph DBs implemented with the GraphBLAS linear algebra model will be orders of magnitude more performant than previous gen DB models. RedisGraph 1.0 is the first public GraphBLAS database implementation. And things are about to get eve
443.
Computing with High-Dim 10K Vectors (Holographic Reduced Representation) [video](youtube.com)
1 points by espeed 8y ago|0 comments
444.
by espeed 8y ago
There's a new Datalog [1] implementation written in the language of linear algebra (similar in nature to the ideas behind GraphBLAS [2] "graph algorithms in the language of linear algebra"). Evidently the linear-algebra appro
445.
by espeed 8y ago
I'm interested to see how well Halide's approach would pair with the GPU optimizations being put into GraphBLAS [1]. [1] https://hn.algolia.com/?query=GraphBLAS&sort=byPopularity&pr...
446.
by espeed 8y ago
In addition to this video overview by Andrew Adams from the Stanford course [1], there's also an MSR talk given by Jonathan Kelley [2], and there may also be a Google TechTalk somewhere on YouTube (don't remember for sure so just
447.
by espeed 8y ago
Ron Pressler (the presenter) is an active contributor to HN [1], and he blogs at blogs at https://pron.github.io [2]. There he has a multi-part blog post under the same name as the presentation, and if he chimes in here, he may
448.
by espeed 8y ago
Among other optimizations and advancements, Halide provides compiler support for advanced latency-hiding scheduling/optimizations beyond the capabilities of generic compilers, which essentially enables you to generate highly-parallel o
449.
by espeed 8y ago
See Halide, a latency-hiding scheduler/compiler for GPUs and CPUs... Halide: a language for fast, portable computation on images and tensors http://halide-lang.org/
450.
Halide: a language for fast, portable computation on images and tensors(halide-lang.org)
146 points by espeed 8y ago|23 comments

More ›