espeed

40 ms·

481.
Edwin Brady – Idris 2: Type-Driven Development of Idris [video](youtube.com)
3 points by espeed 8y ago|0 comments
482.
by espeed 8y ago
Last week on the Idris mailing list Marimuthu posted a message announcing he has succeeded in compiling a new JVM backend, which means that Blowden (Idris 2) can now run on the JVM. The new code is now on GitHub... https://github
483.
Blodwen: A prototype successor to Idris(github.com)
2 points by espeed 8y ago|1 comments
484.
Breaking Down Memory Walls(blosc.org)
20 points by espeed 8y ago|2 comments
485.
MetaLift: Leveraging DSLs (Almost) for Free [video](youtube.com)
2 points by espeed 8y ago|0 comments
486.
Deep Generative Models for Imitation Learning and Fairness [video](microsoft.com)
2 points by espeed 8y ago|0 comments
487.
MIT Probabilistic Computing Project(probcomp.csail.mit.edu)
3 points by espeed 8y ago|0 comments
488.
by espeed 8y ago
While we're on the topic of curves and spheres... Does anyone here know of any theorems that relate the curve of a cycloid [1] to the curve of the horopter [2] (in particular, the empirical horopter)? In my continued quest to connect c
489.
by espeed 8y ago
He's still experimenting with different approaches, trying to find the optimal flow like any startup would. His approach as of late has been to collaborate more with other channels, like he did on the Feynman video and the interative q
490.
by espeed 8y ago
That was a temporary experiment to see if more people enabled Grant to produce more videos, but the Mythical Man-Month rang true again. It's just Grant now, like it was when it started. https://en.wikipedia.org/wiki&#x2
491.
Anglican: A Probabilistic Programming System(probprog.github.io)
78 points by espeed 8y ago|26 comments
492.
by espeed 8y ago
Now that Microsoft has acquired GitHub, no doubt they will be upgrading GitHub search with SOTA algos.
493.
But why is a sphere's surface area four times its shadow? [video](youtube.com)
141 points by espeed 8y ago|61 comments
494.
A Linear Algebraic Approach to Datalog Evaluation (2017) [pdf](arxiv.org)
4 points by espeed 8y ago|0 comments
495.
by espeed 8y ago
Here's a YouTube link of the presentation... https://youtu.be/iqlxsSrd-M4 NB: The slides aren't visible in the video, but here's the corresponding AI Memo by Gerald Jay Sussman and Jack Wisdom from November 2
496.
SnailTrail: Critical Paths for Online Analysis of Distributed Dataflows [video](youtube.com)
16 points by espeed 8y ago|2 comments
497.
Synthesis and Verification for All [video](youtube.com)
3 points by espeed 8y ago|0 comments
498.
NIST Digital Library of Mathematical Functions(dlmf.nist.gov)
63 points by espeed 8y ago|7 comments
499.
A Linear Algebraic Approach to Logic Programming [pdf](imperial.ac.uk)
2 points by espeed 8y ago|0 comments
500.
Rethinking Topology (or a Personal Topologodicy) – Chris Olah (2014)(christopherolah.wordpress.com)
1 points by espeed 8y ago|0 comments
501.
by espeed 8y ago
Interesting name choice. When I clicked on the link and saw the name and design, my first thought was, "Is this a Firebase knockoff...?" [1] ... and then I scrolled to the bottom to see the copyright and saw this project is by Am
502.
by espeed 8y ago
Does anyone here have insight into the different Prolog implementations and the key considerations that go into designing an optimal engine?
503.
The Principles Behind Differentiable Programming – Erik Meijer [video](youtube.com)
3 points by espeed 8y ago|0 comments
504.
Richard Feynman Computer Heuristics Lecture (1985) [video](youtube.com)
142 points by espeed 8y ago|13 comments
505.
Active inference and artificial curiosity (2017) [video](youtube.com)
22 points by espeed 8y ago|3 comments
506.
Formalizing 100 Theorems(cs.ru.nl)
91 points by espeed 8y ago|25 comments
507.
The Concept of Holonomy [video](youtube.com)
2 points by espeed 8y ago|0 comments
508.
RedisGraph Launch and Demo at Redis Day London [video](youtube.com)
2 points by espeed 8y ago|0 comments
509.
Eric Weinstein Explains Gauge Symmetry [video](youtube.com)
3 points by espeed 8y ago|0 comments
510.
by espeed 8y ago
This paper posted this week... SPIRAL: Extreme Performance Portability This paper provides an end-to-end discussion of the SPIRAL system, its domain-specific languages, and code generation techniques http://users.ece

More ›