Viewing profile — aaronlevin

Alice Coltrane rocks.

Something I’ve noticed that I didn’t expect is that people are able to guess a lot of albums in only one or two squares. Some of this is luck and image layout paradigms being surpr…

Author here. I was inspired to make this by thinking about how Wordle, a game where a word is slowly unraveled by guessing letters, could apply to images (and specifically album ar…

The main objection to computer-aided proofs is not that they are more difficult for humans to understand. The main objection is that most proof-assistants use a different logical f…

SoundCloud employee here. If you are hiring, please reach out to people from SoundCloud. The decisions of who to let go were not based on performance. A lot of amazing people, both…

It's a combination of: - getting dark around 4/5pm - extremely dry and cold - winter starts in October, lasts until late April - massive urban sprawl so the city core is dead durin…

University of Alberta has a very strong pure mathematics department (especially in Functional Analysis and Algebra). Pairing this with a strong Computer Science department could ev…

One of the people involved in the reproducible builds project is a NixOS committee. Fairly certain they're aware of nix/guix

SoundCloud | Senior Data Scientist, Machine Learning | Berlin, Germany | ONSITE, FULLTIME, RELOCATION OFFERED | https://soundcloud.com/jobs/2017-01-31-senior-data-scientist... We a…

I can't speak openly about the specifics, but we're definitely not in the latter category.

Backend Engineer (Scala) | SoundCloud (Discovery/Recommendations) | Berlin | Onsite | Full-time | Relocation I'm an engineer on SoundCloud's Recommendations team. We are looking fo…

If you're interested in making deep-jazz more discoverable, consider applying to our Search team! :) https://soundcloud.com/jobs/2016-02-19-search-engineer-berli...

For those struggling with this, the last three paragraphs sum up the author's thesis pretty well. It's actually more of a critique of current leftist ideas (from a Left perspective…

This sounds very similar to warp, the Haskell web server that is known for its high-performance on many-core machines. The Web Application Interface (WAI) is also coroutine based (…

> Also it's hard to take an article seriously when it cites Marx, whose theories obviously don't work in the real world, as humans are competitive to varying degrees by nature. Mar…

Armin Ronacher wrote about this back in 2013. [My Favorite Database is the Network]( http://lucumr.pocoo.org/2013/11/17/my-favorite-database/ )

"He is..."

I did not say it was impossible to write Haskell with bugs. I simply stated that you are not guaranteed that a particular implementation of a design pattern adheres to the patterns…