Viewing profile — harveywi

They missed an opportunity to call it Texas Fold 'Em.

Instead of giving people the bird, they take the bird away from people.

Also known as going to graduate school.

This is the result of Elon Musk playing too much Harvest Moon.

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…

Better yet, be a force multiplier who is willing to relocate. Then when times get tough you have your abelian group to lean on.

Maybe a dumb question: Shouldn't these be called immersions instead of embeddings?

LeCuna (noun): An empty space in a list of citations where the works of Jürgen Schmidhuber should appear.

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 combinat…

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…

Fortunately for OpenAI, they have no SLAs: https://help.openai.com/en/articles/5008641-is-there-an-sla-...

>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). T…

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 jus…

Instacartel

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://gi…

Not to be pedantic but there is nuance: A frictionless tunnel is better for getting shit done. Know the difference.

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

"A new era of facial computing."

DishBrain's elevator pitch: Neural networks meet fava beans and a nice Chianti.

Fortunately for OpenAI, they have no SLAs: https://help.openai.com/en/articles/5008641-is-there-an-sla-...

Sweat bullets? You may be confusing Tim Cook with Tim Gunn.

Ok - I bereave you!

All this time I thought that gravity creates heavy, not light.