harveywi

9 ms·

1.
by harveywi 3y ago
They missed an opportunity to call it Texas Fold 'Em.
2.
by harveywi 3y ago
Instead of giving people the bird, they take the bird away from people.
3.
by harveywi 3y ago
Also known as going to graduate school.
4.
by harveywi 3y ago
This is the result of Elon Musk playing too much Harvest Moon.
5.
by harveywi 3y ago
That is a bit overkill and lacking in energy efficiency and sustainability, though. A more environmentally conscious solution would be for western nations to bring back some French innovations from the centuries ago such as the bidet follow
6.
by harveywi 3y ago
Better yet, be a force multiplier who is willing to relocate. Then when times get tough you have your abelian group to lean on.
7.
by harveywi 3y ago
Maybe a dumb question: Shouldn't these be called immersions instead of embeddings?
8.
by harveywi 3y ago
LeCuna (noun): An empty space in a list of citations where the works of Jürgen Schmidhuber should appear.
9.
by harveywi 3y ago
1. Read this great "Surviving A Layoff" essay [1] and build a plan for yourself. 2. Take the time to level up on one or two foundational skills whose barriers to entry are combinations of tenacity and intelligence, or tech stacks
10.
by harveywi 3y ago
The real problem with previous efforts for finding extraterrestrial life wasn't the technology, it was the lack of competition plus the open ended and uncertain goal. A seed rounds of $50M should be given out to two groups of competing
11.
by harveywi 3y ago
Fortunately for OpenAI, they have no SLAs: https://help.openai.com/en/articles/5008641-is-there-an-sla-...
12.
by harveywi 3y ago
>Over the past year, we’ve meticulously scraped all Worldcat records. At first, we hit a lucky break. Worldcat was just rolling out their complete website redesign (in Aug 2022). This included a substantial overhaul of their backend syst
13.
by harveywi 3y ago
Awesome! Where did the "split_ifs" tactic come from though? Mathlib? In your opinion does it make sense to do program verification without using Mathlib, or would you recommend just using it pretty much all the time?
14.
by harveywi 3y ago
Instacartel
15.
by harveywi 3y ago
What ever happened to the effort [1] to rename Coq in order to make it less offensive? There were a number of excellent proposals [2] that seemed to die on the vine. [1] https://github.com/coq/coq/wiki/Alterna
16.
by harveywi 3y ago
Not to be pedantic but there is nuance: A frictionless tunnel is better for getting shit done. Know the difference.
17.
by harveywi 3y ago
Shameless plug for Scala programmers who are marooned in Python land and grasping for something to help dig them out: https://github.com/miiohio/ziopy
18.
by harveywi 3y ago
"A new era of facial computing."
19.
by harveywi 3y ago
DishBrain's elevator pitch: Neural networks meet fava beans and a nice Chianti.
20.
by harveywi 3y ago
Fortunately for OpenAI, they have no SLAs: https://help.openai.com/en/articles/5008641-is-there-an-sla-...
21.
by harveywi 3y ago
Sweat bullets? You may be confusing Tim Cook with Tim Gunn.
22.
by harveywi 3y ago
Ok - I bereave you!
23.
by harveywi 3y ago
All this time I thought that gravity creates heavy, not light.
24.
by harveywi 3y ago
It is as if "Crime and Punishment" were written for this exact purpose.
25.
by harveywi 3y ago
The fundamental question is whether the law distributes over addition.
26.
by harveywi 3y ago
Yes and no.
27.
by harveywi 4y ago
You might say that article is, in many ways, a puff piece.
28.
by harveywi 4y ago
Meta will probably soon release a competing technology. It will be called "DALL-E LLaMA".
29.
by harveywi 4y ago
Based on Conal Elliott's new formulation of two dual parsing implementations [1] using inductive regular expressions and coinductive tries, where the former corresponds to symbolic differentiation and the latter corresponds to automati
30.
by harveywi 4y ago
It may be helpful to give this vulnerability a name, contributing to public awareness of the issue. For example, The SHA-Shake Redemption.

More ›