poppingtonic

11 ms·

61.
RFS: Augmented Reality social proof to make charitable giving more effective(boingboing.net)
2 points by poppingtonic 10y ago|0 comments
62.
by poppingtonic 10y ago
This is true, but some are more complex, which is also due to the choice of tool. For example, [1], made by Chris King, using Adobe Premiere. This is a time-lapse of the process that he used to make parts of [2]. Notice the pattern that eme
63.
by poppingtonic 10y ago
This is amazing! I was thinking of this problem when I saw a friend making a stop-motion video. The steps are super repetitive and I asked him, "maybe an DeepMind Atari-style RL agent can learn how to do this?" But I didn't w
64.
Double Crux: A Strategy for Resolving Disagreement(lesswrong.com)
1 points by poppingtonic 10y ago|0 comments
65.
by poppingtonic 10y ago
Yes, I googled it during the talk.
66.
Tutorial: Metacompilers Part 1(bayfronttechnologies.com)
16 points by poppingtonic 10y ago|2 comments
67.
The Ethics of Artificial Intelligence [video](livestream.com)
1 points by poppingtonic 10y ago|0 comments
68.
by poppingtonic 10y ago
I watched Chad Rigetti's talk ( https://www.youtube.com/watch?v=GzMvG8UO6Eg ) this morning, which was really exciting.
69.
by poppingtonic 10y ago
By public transportation: 45 minutes each way ± 10 for vehicle delays, since the system I use is inefficient. Good time to read and listen to podcasts, though.
70.
Evaluation of some technology forecasts from “The Year 2000”(openphilanthropy.org)
1 points by poppingtonic 10y ago|0 comments
71.
The Definitive ANTLR4 Reference(pragprog.com)
2 points by poppingtonic 10y ago|0 comments
72.
A Guide to Caching with NGINX(nginx.com)
1 points by poppingtonic 10y ago|0 comments
73.
by poppingtonic 10y ago
Hi, dreeves! The Complice integration is the best thing yet! I'm wondering how many other kinds of such services can be added like this.
74.
by poppingtonic 10y ago
Push the responsibility one step away from yourself. Since the goal needs data from you, then you can connect the goal to something like github, RescueTime, TagTime, Complice, etc. Or design your own service for your own personal needs [ple
75.
by poppingtonic 10y ago
Use this perl project called TagTime < https://github.com/dreeves/TagTime> to track your own time. Description from GitHub: To determine how you spend your time, TagTime literally randomly samples you. At random t
76.
The fascinating 600-year history of the world’s oldest shareholding company(qz.com)
2 points by poppingtonic 10y ago|0 comments
77.
by poppingtonic 10y ago
There's a recursive sense in which "training" "System 1" involves assimilating more abstractions, through practice and spaced repetition, such as deferring to the equations of motion when thinking about what happens
78.
by poppingtonic 10y ago
Alan, Thank you for doing this AMA! I would love to hear your thoughts on how to "train" "System 1", in order to make "System 2" more powerful. Not necessarily here, due to the time factor, but if you find some
79.
by poppingtonic 10y ago
1. Spaced repetition can make the recalling - and thus the thinking and pondering - easier. It can certainly make one more consilient, given the right choice of "other things to study" e.g. biology or social psychology, as you&#x2
80.
Notes on 416 Days of Treadmill Desk Usage (2015)(nealstephenson.com)
1 points by poppingtonic 10y ago|0 comments
81.
by poppingtonic 10y ago
Hooray for proof search techniques. How much data would the Godel-numbering process generate, though? I'm assuming such a search would use this, unless I'm mistaken about my mathematical logic.
82.
by poppingtonic 10y ago
I'm surprised it's that simple. Then again, simplicity is usually surprising.
83.
by poppingtonic 10y ago
That's what he means. We need a formal system more powerful than ZFC, i.e. new mathematics. If a formal system can compute BB(7910), then it is more powerful than ZFC. I'm not sure anyone knows how to build that yet.
84.
Everything Old Is New Again: Quoted Domain Specific Languages [video](youtube.com)
49 points by poppingtonic 11y ago|1 comments
85.
DEFCON 17: Failure, by Adam Savage(youtube.com)
1 points by poppingtonic 11y ago|0 comments
86.
by poppingtonic 11y ago
One of the research organizations using CakeML is MIRI (Machine Intelligence Research Institute), which is doing research in machine self-reference. They recently used HOL, an automated theorem prover, to demonstrate a formal correspondence
87.
CakeML: A verified implementation of ML(github.com)
53 points by poppingtonic 11y ago|20 comments
88.
by poppingtonic 11y ago
Oh, what a hoopy frood.
89.
by poppingtonic 11y ago
There's an interesting angle to this phrase "intelligent species opening up a new way of looking at the world", which is that we (humans) designed go as a game - a subset of the real world we interact with. Go is "realit
90.
ShmooCon Keynote – Neil Gershenfeld [video](archive.org)
17 points by poppingtonic 11y ago|0 comments

More ›