aaronlevin
Joined 12 years ago
Karma
215
Submissions
28
Member since
Apr 14
Recent submissions
Comment · 4 years ago
Alice Coltrane rocks.
Comment · 4 years ago
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 surprisingly consistent (titles at the top!), but we also may have better context-based image memory than we think. There’s an obscure setting to increase the difficulty, which makes the squares smaller (or larger) to combat this.
Interesting idea about the reveal! I’ll consider adding that (or some cheap version of placing the image in the success modal at least).
Comment · 4 years ago
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 art).
Perhaps clone is a poor word here and inspiration would be more accurate.
Comment · 5 years ago
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 foundation than modern mathematics. Modern mathematics is built on ZFC[0] whereas most proof assistants, such as Coq, Isabelle, Agda, etc use different logical foundations, such as the Calculus of Constructions[1].
Many important results in modern mathematics are not easily stated or proven in systems such as CoC[1]. For example, Brouwer's _Fixed Point Theorem_[2], a pretty bog standard result in Topology that is useful to proof many things in Functional Analysis, has a clear statement in ZFC, but does not, to my knowledge, have an equivalent in CoC (and if it does it will be stated radically different).
[0]: https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_t... [1]: https://en.wikipedia.org/wiki/Calculus_of_constructions [2]: https://en.wikipedia.org/wiki/Brouwer_fixed-point_theorem
Comment · 9 years ago
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 attitude and technically.
Comment · 9 years ago
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 during the winter, and therefore the city feels lifeless.
That's particularly bleak and definitely biased, but it's not far from the truth.
Comment · 9 years ago
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 eventually bring it to a level to compete with Waterloo.
On the other hand, as someone who grew up in edmonton, I don't ever want to live there again. It's a tough city to live in, though it has its beauty when you look hard enough.
Comment · 9 years ago
One of the people involved in the reproducible builds project is a NixOS committee. Fairly certain they're aware of nix/guix
Comment · 9 years ago
SoundCloud | Senior Data Scientist, Machine Learning | Berlin, Germany | ONSITE, FULLTIME, RELOCATION OFFERED | https://soundcloud.com/jobs/2017-01-31-senior-data-scientist...
We are looking for an impact-driven Senior Data Scientist to solve exciting problems in recommendations, search, and personalization using Machine Learning. As a Data Scientist at SoundCloud you will work closely with other data scientists and engineers to find opportunities and build, tune, instrument, and evaluate machine learning models.
Some projects you might work on include:
* a personalized playlist recommendation model to empower curation at SoundCloud
* offline evaluation to improve the search experience of our users
* prototyping deep neural networks and demonstrate their benefits in powering recommendations for our users
* iterating on our Spark-based locality sensitive hashing implementations to improve recall.
Comment · 10 years ago
I can't speak openly about the specifics, but we're definitely not in the latter category.
Comment · 10 years ago
Backend Engineer (Scala) | SoundCloud (Discovery/Recommendations) | Berlin | Onsite | Full-time | Relocation
I'm an engineer on SoundCloud's Recommendations team. We are looking for scala engineers to help users find lit tracks on the world's largest audio platform. You'll work alongside data scientists and engineers in a stack based on Spark, Scala, Finagle, and Cassandra.
SoundCloud is a wonderful place to work and Berlin is an amazing city to live in. I relocated from Canada and haven't looked back.
Empfehlungen sind die Zukunft!
job link: https://soundcloud.com/jobs/2016-08-04-backend-engineer-disc... blog: https://developers.soundcloud.com/blog/tracks
PS - ping me on LinkedIn (https://www.linkedin.com/in/aaronmblevin) so I can refer you!