Hacker News: awesomelvin

New comment by awesomelvin in "Okay, I Like WezTerm"

awesomelvin — Mon, 12 Aug 2024 14:48:22 +0000

Not sure if it counts but the suckless project (e.g. st or dwm) use C (its source code) as config :)

New comment by awesomelvin in "A little closer to finding what became Moses Schönfinkel (2021)"

awesomelvin — Sat, 03 Feb 2024 00:34:00 +0000

Ha, my German professor did that too (Tübingen!). Also, I've heard the English equivalent "Schönfinkeling" sometimes.

New comment by awesomelvin in "P1030680: Unbroken Enigma message (U534, 01 May 1945)"

awesomelvin — Mon, 26 Jun 2023 21:41:50 +0000

We also use Zzzz.

Show HN: Bruijn – Programming language based on pure lambda calculus

awesomelvin — Sat, 24 Jun 2023 13:38:51 +0000

Article URL: https://bruijn.marvinborner.de/

Comments URL: https://news.ycombinator.com/item?id=36458591

Points: 1

# Comments: 0

New comment by awesomelvin in "[dead]"

awesomelvin — Sun, 28 May 2023 14:16:33 +0000

The website actually only loads the images in view (~10 if you're not scrolling). I get your point though.

The Bruijn Programming Language

awesomelvin — Sat, 08 Apr 2023 12:16:52 +0000

Article URL: https://text.marvinborner.de/2023-04-06-01.html

Comments URL: https://news.ycombinator.com/item?id=35492515

Points: 3

# Comments: 0

New comment by awesomelvin in "A URL shortener not shortening the URL but makes it look very dodgy"

awesomelvin — Wed, 01 Feb 2023 20:56:21 +0000

Hmm weird. Did you click confirm?

New comment by awesomelvin in "A URL shortener not shortening the URL but makes it look very dodgy"

awesomelvin — Wed, 01 Feb 2023 13:23:08 +0000

I have a similar website called http://clickhere.lol (yes, the missing ssl is intentional). Has a weak server though..

New comment by awesomelvin in "Placing #1 in Advent of Code with GPT-3"

awesomelvin — Sun, 04 Dec 2022 06:45:54 +0000

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.

A directory of on-demand manufacturers for your creative projects

awesomelvin — Thu, 01 Dec 2022 17:42:48 +0000

Article URL: https://buildlist.org/

Comments URL: https://news.ycombinator.com/item?id=33819676

Points: 2

# Comments: 0

New comment by awesomelvin in "Wren is a small, fast, class-based concurrent scripting language"

awesomelvin — Mon, 29 Aug 2022 00:08:21 +0000

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.

New comment by awesomelvin in "Ask HN: What LaTeX editor do you use?"

awesomelvin — Fri, 26 Aug 2022 08:16:58 +0000

Vim

New comment by awesomelvin in "Google Timer is back"

awesomelvin — Mon, 22 Aug 2022 23:54:05 +0000

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?

New comment by awesomelvin in "Our brain is a prediction machine that is always active"

awesomelvin — Tue, 09 Aug 2022 14:03:36 +0000

I've personally always liked the deterministic approach more. Is there any reason you believe in an indeterministic randomness approach?

New comment by awesomelvin in "GitHub Code Search (Preview)"

awesomelvin — Sun, 03 Jul 2022 08:44:37 +0000

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 helpful to me.

New comment by awesomelvin in "Xournalpp++ – closs-platform, open source note taking software"

awesomelvin — Mon, 30 May 2022 11:04:49 +0000

I believe you may like Obsidian.

New comment by awesomelvin in "Manim – Python library for creating mathematical animations"

awesomelvin — Sun, 13 Mar 2022 12:56:12 +0000

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.

New comment by awesomelvin in "Why learn Racket? A student's perspective"

awesomelvin — Tue, 22 Feb 2022 02:25:44 +0000

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 compact solutions for complex problems. Many students of my class were unhappy with the language choice at my university too and I really can't understand it because I had so much fun with such a different approach to programming.

New comment by awesomelvin in "3Blue1Brown: The mathematically optimal Wordle strategy"

awesomelvin — Sun, 06 Feb 2022 14:09:08 +0000

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/_2022/wordle.py

New comment by awesomelvin in "OpenBSD: Hibernate Time Reduced"

awesomelvin — Wed, 01 Sep 2021 14:01:55 +0000

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.