awesomelvin
Re:A Little Closer to Finding What Became of M. Schönfinkel Inventor o...
on Friday February 02, 2024 @07:34PM (#39236422)
Ha, my German professor did that too (Tübingen!).
Also, I've heard the English equivalent "Schönfinkeling" sometimes.
Re:
on Sunday May 28, 2023 @10:16AM (#36104176)
The website actually only loads the images in view (~10 if you're not scrolling). I get your point though.
Re:A URL shortener not shortening the URL but makes it look very dodgy
on Wednesday February 01, 2023 @03:56PM (#34617601)
Hmm weird. Did you click confirm?
Re:A URL shortener not shortening the URL but makes it look very dodgy
on Wednesday February 01, 2023 @08:23AM (#34610023)
I have a similar website called http://clickhere.lol (yes, the missing ssl is intentional). Has a weak server though..
Re:Placing #1 in Advent of Code with GPT-3
on Sunday December 04, 2022 @01:45AM (#33851257)
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
Re:Wren is a small, fast, class-based concurrent scripting language
on Sunday August 28, 2022 @08:08PM (#32633455)
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.
Re:Ask HN: What LaTeX editor do you use?
on Friday August 26, 2022 @04:16AM (#32604594)
Vim
Re:Google Timer is back
on Monday August 22, 2022 @07:54PM (#32558842)
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?
Re:Our brain is a prediction machine that is always active
on Tuesday August 09, 2022 @10:03AM (#32398093)
I've personally always liked the deterministic approach more. Is there any reason you believe in an indeterministic randomness approach?
Re:GitHub Code Search (Preview)
on Sunday July 03, 2022 @04:44AM (#31966173)
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.
Re:Xournalpp++ – closs-platform, open source note taking software
on Monday May 30, 2022 @07:04AM (#31557729)
I believe you may like Obsidian.
Re:Manim – Python library for creating mathematical animations
on Sunday March 13, 2022 @08:56AM (#30660839)
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.
Re:Why learn Racket? A student's perspective
on Monday February 21, 2022 @09:25PM (#30423385)
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.
Re:3Blue1Brown: The mathematically optimal Wordle strategy
on Sunday February 06, 2022 @09:09AM (#30232589)
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
Re:OpenBSD: Hibernate Time Reduced
on Wednesday September 01, 2021 @10:01AM (#28379933)
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.