aaronlevin

7 ms·

1.
by aaronlevin 4y ago
Alice Coltrane rocks.
2.
by aaronlevin 5y 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 hav
3.
by aaronlevin 5y 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
4.
Show HN: An album art-based Wordle clone called UNCVR(uncvr.it)
18 points by aaronlevin 5y ago|8 comments
5.
by aaronlevin 5y 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 bui
6.
SpecialGuest: Weird Marketplace for Zoombombing Artists(specialguest.best)
2 points by aaronlevin 6y ago|0 comments
7.
Leveraging iOS Frameworks to Speed Up Development at SoundCloud(developers.soundcloud.com)
8 points by aaronlevin 9y ago|0 comments
8.
by aaronlevin 9y 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.
9.
by aaronlevin 9y 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 lifeles
10.
by aaronlevin 9y 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 th
11.
by aaronlevin 9y ago
One of the people involved in the reproducible builds project is a NixOS committee. Fairly certain they're aware of nix/guix
12.
by aaronlevin 10y 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
13.
by aaronlevin 10y ago
I can't speak openly about the specifics, but we're definitely not in the latter category.
14.
by aaronlevin 10y 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 trac
15.
by aaronlevin 10y ago
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...
16.
Statement on LambdaConf 2016(statement-on-lambdaconf.github.io)
15 points by aaronlevin 10y ago|7 comments
17.
Thoughts on LambdaConf 2016(alissapajer.github.io)
4 points by aaronlevin 10y ago|0 comments
18.
by aaronlevin 11y ago
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) than anything. quote: Getting less work seems un
19.
by aaronlevin 11y ago
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 (I believe): http://www.aosabook.org/en/
20.
by aaronlevin 12y ago
> 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. Marx's "theory" was a method of ana
21.
by aaronlevin 12y ago
Armin Ronacher wrote about this back in 2013. [My Favorite Database is the Network]( http://lucumr.pocoo.org/2013/11/17/my-favorite-database/ )
22.
by aaronlevin 12y ago
"He is..."
23.
Want to fix MySpace? Buy Bandcamp(aaronlevin.ca)
1 points by aaronlevin 12y ago|0 comments
24.
by aaronlevin 12y ago
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 semantics, therefore introducing a bug. With good usage of
25.
by aaronlevin 12y ago
twic: yes, if you take my statement literally you are correct: it is possible to introduce bugs in a Haskell program.
26.
by aaronlevin 12y ago
You can encode a specification within Haskell's type system and get guarantees that are very difficult in other languages. Gabriel's pipes library is a great example of this (see a Pipe's associativity laws).
27.
by aaronlevin 12y ago
> Ideally, I can use patterns in multiple languages, so my experience can seamlessly transfer. In many cases you are not guaranteed via the type system that one individual's implementation of the Observer pattern (for example) is no