awesomelvin

9 ms·

1.
by awesomelvin 2y ago
Not sure if it counts but the suckless project (e.g. st or dwm) use C (its source code) as config :)
2.
by awesomelvin 3y ago
Ha, my German professor did that too (Tübingen!). Also, I've heard the English equivalent "Schönfinkeling" sometimes.
3.
by awesomelvin 3y ago
We also use Zzzz.
4.
Show HN: Bruijn – Programming language based on pure lambda calculus(bruijn.marvinborner.de)
1 points by awesomelvin 3y ago|0 comments
5.
by awesomelvin 3y ago
The website actually only loads the images in view (~10 if you're not scrolling). I get your point though.
6.
The Bruijn Programming Language(text.marvinborner.de)
3 points by awesomelvin 3y ago|0 comments
7.
by awesomelvin 4y ago
Hmm weird. Did you click confirm?
8.
by awesomelvin 4y ago
I have a similar website called http://clickhere.lol (yes, the missing ssl is intentional). Has a weak server though..
9.
by awesomelvin 4y ago
You should really think about the ethics of using this. You could wait a few minutes before executing your script. Some people work really hard to get on the leaderboard and players like you destroy the concept.
10.
A directory of on-demand manufacturers for your creative projects(buildlist.org)
2 points by awesomelvin 4y ago|0 comments
11.
by awesomelvin 4y ago
I recently fell in love with Agda and it seems like you'd like it too. It's basically Haskell but even more mathematical, pure, abstract and total.
12.
by awesomelvin 4y ago
Vim
13.
by awesomelvin 4y ago
Huh that's weird. It actually shows the correct 336h for a few milliseconds first and then counts back from 35h. I wonder what's happening internally - messing up a timer shouldn't be that easy normally, right?
14.
by awesomelvin 4y ago
I've personally always liked the deterministic approach more. Is there any reason you believe in an indeterministic randomness approach?
15.
by awesomelvin 4y ago
I've tried it for several months and compared the results to https://grep.app (I normally use it many times a day) and while GitHub cs has way more indexed repositories, the results of grep.app are still way better and more
16.
by awesomelvin 4y ago
I believe you may like Obsidian.
17.
by awesomelvin 5y ago
He is literally the creator of Manim and used it for all his videos. He also publishes the source code of each video on his GitHub account.
18.
by awesomelvin 5y ago
I actually learned Racket in the University of Tübingen last fall too and made the exact same experience as the author. I think it's a great language to learn recursive and functional thinking and to get better at finding elegant and c
19.
by awesomelvin 5y ago
He's generally using his own tool called 'manim'. All of his code/animations are open-source. The code for this specific video can be found here: https://github.com/3b1b/videos/blob/master&
20.
by awesomelvin 5y ago
The main problem for me is the Widevine incompatibility. While many people see this as an advantage, I actually do enjoy the convenience of using Netflix/Spotify instead of Torrents/alternative clients.