overlords

7 ms·

1.
by overlords 2mo ago
have you ever bathed or changed diaper on old people?
2.
by overlords 5y ago
Focus on automating human labour as much as possible. Problems in the world all trace back to lack of resources. A rich man can afford to be 'nice to the environment', a poor man can't. The below all are easier machine learni
3.
by overlords 6y ago
1 rich person saving his money so his 3 children never have to work is bad for the economy. It's better the 1 rich person is forced to consume that in his lifetime. By doing so that money is redistributed back to the economy, and his 3
4.
by overlords 6y ago
Do they need to be typical houses? About 10 million cars are produced in the USA every year. An RV/Trailer type thing is like a car - so quite easily you could imagine producing that many of these 'tiny houses' every year wit
5.
by overlords 6y ago
Weighing the Justice : 'I like they way my lawn is and i don't like construction noises' vs 'I can't get a job because it's too expensive to rent or buy where the jobs are, so i live in poverty' (or i can&
6.
by overlords 6y ago
Something is wrong with that argument. Welfare + Taxation = Basic Income. Already we have it, by definition - it's an equation. So some part of your calculation is wrong. Likely you're over-inflating the amount paid out (it's
7.
by overlords 6y ago
Basic Income is the same thing as Welfare + Taxation, but done more efficiently. Prominent economist - Greg Mankiw https://www.youtube.com/watch?v=4cL8kM0fXQc Removing the needs assessment also removes the geographic locati
8.
by overlords 7y ago
Constraint programming is the new way, with Minizinc as the language. OR-tools from google is the best current solver. https://www.minizinc.org/
9.
by overlords 7y ago
SAT, SMT, constraint programming lie on a continuum. SMT is SAT plus machinery from constraint programming. I'm not an expert on this, just info from this video. According to him constraint programming will win in the long run because
10.
by overlords 7y ago
- hashing followed by dot product in transformer you said - you were doing dot products at each layer to introduce non-linearity in transformer (and neural nets in general). Polynomials are already non-linear, so you don't need that. T
11.
by overlords 7y ago
I'm going to write this out more clearly, because I'm still getting downvotes for my correct answer. Why neural networks? https://en.wikipedia.org/wiki/Universal_approximation_theore... Can polynomials do thi
12.
by overlords 7y ago
http://matpalm.com/resemblance/simhash/ Simhash algorithm, the LSH i knew about (which i mistakenly thought is LSH) works exactly like VW. It is ngrams + hash.
13.
by overlords 7y ago
Downvoters, please see http://matpalm.com/resemblance/simhash/ https://en.wikipedia.org/wiki/SimHash Simhash, a type of local sensitive hashing - using hash functions on ngrammed data. That i
14.
by overlords 7y ago
Let's think through this clearly. Locality sensitive hashing is a way to put similar vectors into the same buckets - by omission etc. It does this by hashing, but the intent is to approximate nearest neigbours. skipgram/ngrams tur
15.
by overlords 7y ago
They are doing the same thing - using less memory by hashing. The hashing trick in VW hashes multiple same words into one integer, not the same as reformer, but similar to how reformer puts similar vectors together. With VW's ngram&#x2
16.
by overlords 7y ago
Vowpal Wabbit has been doing this 'hashing trick' since the 200s. It also the feature interaction, which are the same thing as a layer in transformers (all against all matrix). So it seems like they are still catching up to where
17.
No. 10 Downing Street hiring data scientists, physicists, weirdos(dominiccummings.com)
84 points by overlords 7y ago|34 comments
18.
by overlords 7y ago
Domain randomization works well for robotics tasks.
19.
by overlords 7y ago
Random forests split the features This splits the outcomes. So each tree in RF only looks at a few features. In this, each model looks at all the features. RF can handle multiclass problems of tens to hundreds (maybe thousands). This MACH a
20.
by overlords 7y ago
Most prolog implementations have finite domain constraints and constraint handling rules, so you can work with constraints if that's more natural.
21.
by overlords 7y ago
The markets will sort it out though. That filtered out candidate has some inherent worth and companies can take advantage of that. Competent hirers will then always use multiple AI hirers and experiment with hiring to make sure they're
22.
20,000 Startup Ideas(unawaz.github.io)
461 points by overlords 7y ago|178 comments
23.
by overlords 8y ago
google or-tools minizinc prolog clpfd, chr eclipse prolog-like constraint system answer set programming
24.
Visual Model-Based Reinforcement Learning as a Path Towards Generalist Robots(bair.berkeley.edu)
55 points by overlords 8y ago|2 comments
25.
by overlords 8y ago
We have an example AGI - the human brain. We have an example superintelligence - humans working together in groups such as corporations are a superintellgence. So from that, the invention of a human-level AGI naturally leads to superintelli
26.
by overlords 8y ago
Not OP, but of course even 0.1% improvements are worth millions to search engines, social network feeds, financial forecasters, and self driving car companies. Also worth thousands or millions to manufacturing processes, and to small busine
27.
Nvidia create picking robot with only synthetic data(news.developer.nvidia.com)
2 points by overlords 8y ago|0 comments
28.
Google Cloud Robotics Platform(cloud.google.com)
1 points by overlords 8y ago|0 comments
29.
by overlords 8y ago
Rules engines are about forward chaining (fan-out of all implications) whereas prolog is backward chaining (querying an implication). CHR (constraint handling rules) is a forward chaining system built into most prologs that has prolog like
30.
by overlords 8y ago
There seems a like a simple fix to that. Charge more money for people to get off at certain places. Make it 10 dollars to stop off at a high income area to avoid undesirables from taking transit there. Use that extra money to subsidize even

More ›