niklas@web: /var/log/

Home / RSS / Contact me

#1600867320 2020 Sep 23, 15:22 – The infamous ghetto indoor pool

Top notch entertainment. No penguins were harmed in the making of this post.
#1600798055 2020 Sep 22, 20:07 – Donsol Manual

I’ve written a short manual for the Donsol card game. Web version and PDF version.
#1600791863 2020 Sep 22, 18:24 – Donsol – A Dungeon Crawler based on cards

Website and a video.
#1600778210 2020 Sep 22, 14:36 – Orca and more stuff by Hundret Rabbits

Orca is a pretty minimal, esoteric programming language for generating sounds.
Here’s a live coding tutorial that explains the basics. Here are some demos by Devine himself.

Wow, the more I see, the more I’m impressed by Hundred Rabbits' lifestyle and projects.
Check out Devines YouTube channel.
#1600381416 2020 Sep 18, 00:23 – North Pacific Logbook

Some logbook entries of two people sailing from Japan to Canada. Check out the rest of their website as well!

Fun fact: Today I’ve been to my first demonstration, it was pretty interesting. No burning cars though.
#1600251276 2020 Sep 16, 12:14 – Boarding pass hacking

When you browse Instagram and find former Australian Prime Minister Tony Abbott’s passport number, the fun to read Do not get arrested challenge 2020 of Alex.

Also check out this post here: Hacking your neighbor’s Wi-Fi.

Oh, and while you’re at it, check out Stalking your Facebook friends on Tinder as well!
#1600188375 2020 Sep 15, 18:46 – Comparative advantage and when to blow up your island

Funny and interesting article.
#1600075551 2020 Sep 14, 11:25 – Less wrong & Learn anything

In the last days I found two great resources for learning awesome stuff:
LessWrong is a community with the goal of developing, training and applying rationality to real-world problems. Learn anything is a search engine combined with a knowledge graph that serves you study guides to many different topics.
#1599818957 2020 Sep 11, 12:09 – There is no ignorabimus

Wir dürfen nicht denen glauben, die heute mit philosophischer Miene und überlegenem Tone den Kulturuntergang prophezeien und sich in dem Ignorabimus gefallen. Für uns gibt es kein Ignorabimus, und meiner Meinung nach auch für die Naturwissenschaft überhaupt nicht. Statt des törichten Ignorabimus heiße im Gegenteil unsere Losung: Wir müssen wissen — wir werden wissen!

We must not believe those, who today, with philosophical bearing and deliberative tone, prophesy the fall of culture and accept the ignorabimus. For us there is no ignorabimus, and in my opinion none whatever in natural science. In opposition to the foolish ignorabimus our slogan shall be: We must know — we will know!

– David Hilberts address to the Society of German Scientists and Physicians, in Königsberg (8 September 1930).

There is a very interesting recording of this address and a great book on Hilbert.
#1599235651 2020 Sep 04, 18:07 – Write Yourself a Scheme in 48 Hours

I have to recommend this great tutorial on implementing Scheme in Haskell. It’s interesting, straight forward, highly informative (you’ll learn about Scheme, Haskell and interpreting) and also very rewarding.
#1599163524 2020 Sep 03, 22:05 – The Future of Neuralink

Lex Fridman (interesting guy btw!) shares some exciting thoughts on the future of Neuralink (and eventual competitors). Watch on YouTube.
#1599076365 2020 Sep 02, 21:52 – Discipline in Thought

Interesting video about Edsger Dijkstra.
#1598824508 2020 Aug 30, 23:55 – Neuralink/Memex

Here’s a short summary of Elon Musk’s Neuralink presentation on YouTube and here’s a link to a video presenting a pretty cool Memex project, in case you’re not quite ready for the real deal™.
#1598820150 2020 Aug 30, 22:42 – The Recursive Universe

I just found this cool GIF of a recursive version of Conways Game of Life (link).
#1598793374 2020 Aug 30, 15:16 – How to unbrick Tada68 on Linux?

After trying to unbrick my keyboard on my own machine for a while (I tried mounting with mount -t vfat -o rw, nosuid, nodev, relatime, uid=1000, gid=1000, fmask=0022, dmask=0022, codepage=437, iocharset=iso8859-1, shortname=mixed, showexec, utf8, flush, errors=remount-ro, uhelper=udisks2 /dev/sdX /mnt/tada68), I finally managed to do it using a Windows machine for copying over the firmware.
Please let me know if you’ve figured out a solution!
#1598736317 2020 Aug 29, 23:25 – Judgify Launch

So today I spent a few hours creating a web app that shows you how basic your taste in music is: Get judged on Judgify.
I also spent some time bricking the firmware of my mechanical keyboard. :(
#1598556576 2020 Aug 27, 21:29 – A great overview of attention mechanisms and models

In this article, Lilian does a great job at explaining this (pretty fascinating) topic.
#1598454610 2020 Aug 26, 17:10 – Introduction to Convolutional Neural Networks

Stanford offers a great overview on ConvNets on their course website.
#1598444048 2020 Aug 26, 14:14 – Patents considered harmful.

I just found out that not only does Google hold the patent on dropout, but also on processing images using deep neural networks and Microsoft even holds the patent to train ConvNets on GPUs. What is wrong with the patent office?!
#1598393069 2020 Aug 26, 00:04 – Toccata

Quite interesting visualization.
#1598186260 2020 Aug 23, 14:37 – Understanding LSTM Networks

Check out this short article, in which Christopher Olah explains LSTM networks and shows some helpful images.
#1598024665 2020 Aug 21, 17:44 – An Interactive Introduction to Fourier Transforms

Cool website to get a basic understanding of Fourier transforms.
#1597702710 2020 Aug 18, 00:18 – Tracking computer usage from the command line

Thyme provides a pretty neat CLI to track your active/visible windows. I’ll do this for at least some days to get a better perspective on how I spend my computer time. There was a bug; the program didn’t terminate the current time slot leading to huge slots of tracked time while the computer was actually in standby or shut down, which I fixed in my fork.
#1597320581 2020 Aug 13, 14:09 – Online tool to export epubs from Wikisource

Wikisource is a repository for texts in the public domain. I just found this tool to export the texts as ebooks.
#1597048233 2020 Aug 10, 10:30 – Some thoughts on the computability of numbers and the continuum hypothesis

So last night I wondered if all real numbers were computable.
Because if that was the case, then every real number could be matched to a turing machine (the one that computes it), which in turn could be matched to a natural number (its Gödel numbering). But this would imply א₀ = א₁, which is a contradiction, because the reals are isomorphic to the powerset of the natural numbers. So there are reals that are uncomputable.

Is this the case because computations have to be deterministic and finite? But you can calculate π? Or are approximations invalid? Because calculating π exactly is not finite, is it?

Okay, so I took a look and I’m really not surprised that they just brought up the Halting Problem again.
#1597009532 2020 Aug 09, 23:45 – New stuff!

I’ve just uploaded a python script supporting the theory of my latest article on investing with some statistical methods and the implementation of the presented strategies. I’ve also added my guitar recording to the Goals 2020 article, you can listen to it here.
#1596986971 2020 Aug 09, 17:29 – A short and good recap of Backpropagation

Presented in a 10 minute video by 3Blue1Brown on YouTube.
#1596709260 2020 Aug 06, 12:21 – 5D Chess With Multiverse Time Travel

It’s kind of hard to understand by simply watching the trailer on their website, but this video helps a bit with understanding the new concepts. Also a nice idea by zw123456 in the HN comment section:

I always thought a cool chess variant would be quantum chess where you can move a piece to more than one square and assign a probability to each position. Your opponent could do the same. But I never worked out how it could work from there.
#1596645228 2020 Aug 05, 18:33 – Some Fundamental Theorems in Mathematics

An expository hitchhikers guide to some theorems in mathematics. PDF.

#1596550779 2020 Aug 04, 16:19 – CLI tool to directly convert LaTeX to png images

Clone it from Github.
#1596447502 2020 Aug 03, 11:38 – Insights into ransom negotiations

Indeed, very rare and interesting insights into how these deals take place. Although I can’t believe each one is handled so professionally by both sides. Twitter thread.
#1596445969 2020 Aug 03, 11:12 – Comments on A philosophical difference between Haskell and Lisp

I just stumbled over a discussion on HN and found two special comments I wanted to share:

There is a strange… kind of poetry with Haskell. It is like math on wheels, math applied to procedures, math with… time. Its appeal to me is like the appeal of math to me, not like real analysis math but abstract algebra math. The beauty, the purity of mathematics of younger days that once became lost after encountering the sad complexities of the world. Understanding every little aspect and being able to prove every part is now a luxury, and interfacing without real understanding is the more practical approach in the turbulent waters of poorly connected technological and social systems.

But still there is hope and there are dreams. We like to drench ourselves in dream qualia sometimes, and Haskell and pure math are that medium. The abstractions of it, the consistency of it, the purity of it… When Haskell is called a pure language, it almost goes beyond the static definition of functions being pure, and describes the general feeling that occurs when writing Haskell. You feel pure. You feel like you are taking these small parts and creating greater parts in an elegant buildup of abstractions, traversing one level higher and one level lower at your whim.

Lisp… maybe it’s the parentheses, maybe it’s something else… it never really caught onto me like Haskell did. Haskell feels pure and dream-like and perhaps unsuited to the world where (if you really get down to it) abstractions and types are just useful ‘human’ inventions and unfit for every usage. The world is for getting down and dirty, and mathematics, or at least the pure side of it, really isn’t. The representative mathematics of Haskell is Category Theory, and it is just as far from the level of “real” as it can be. More abstract than abstract algebra, if you will.

Abstraction itself is an intellectual operation that is also rooted in emotional detachment. Perhaps Haskell represents that kind of ideal in a modern world where practicality pays before purity.

– avindroth

This is a matter of feeling, completely irrational, but just my experience.

When I program in lisp I get the same feeling when I’m solving an ODE by hand, or a Diophantine equation, or designing a numerical method to approximate the solution of a PDE, or finding the Euler-Lagrange equations of a physical problem. The thing is real and it gets shit done really fast; it is just exhilarating. Moreover, lisp macros are so dirty and fun that using them feels like kinky sex.

Haskell is like category theory. Sure, it is pure and general, and you can create set theory and the rest of math from it. But it is certainly the most boring thing that I can think about.

But hey, whatever floats your boat.

– enriquto
#1596103561 2020 Jul 30, 12:06 – Talking in front of people

Yesterday was the first time I talked in front of 100 people and had to use a microphone. It was an exciting new experience, and I actually wasn’t as nervous as I thought I’d be. I’m looking forward to the next opportunity, it was a lot of fun!
#1595678083 2020 Jul 25, 13:54 – Sandy Maguire: Expert Level Vim

A nice little talk by Sandy about the basic concepts of Vim and the language that is used for describing the process of editing text. YouTube link. The title is a bit misleading though.
#1595445597 2020 Jul 22, 21:19 – A quote I found in the SICP book

“I think that it’s extraordinarily important that we in computer science keep fun in computing. When it started out, it was an awful lot of fun. Of course, the paying customers got shafted every now and then, and after a while we began to take their complaints seriously. We began to feel as if we really were responsible for the successful, error-free perfect use of these machines. I don’t think we are. I think we’re responsible for stretching them, setting them off in new directions, and keeping fun in the house. I hope the field of computer science never loses its sense of fun. Above all, I hope we don’t become missionaries. Don’t feel as if you’re Bible salesmen. The world has too many of those already. What you know about computing other people will learn. Don’t feel as if the key to successful computing is only in your hands. What’s in your hands, I think and hope, is intelligence: the ability to see the machine as more than when you were first led up to it, that you can make it more.”

– Alan J. Perlis
#1595340558 2020 Jul 21, 16:09 – Some resources for learning CS online

Check out Harvard’s CS50, teachyourselfcs.com and MIT’s Missing semester for some practical stuff as well.
#1595283700 2020 Jul 21, 00:21 – Wealth shown to scale

A great visualization! Make sure to bring your mouse wheel. Link.
#1594743385 2020 Jul 14, 18:16 – IndieWeb

A fantastic wiki with a lot more pages than I initially expected! Click.
#1594658110 2020 Jul 13, 18:35 – Startup Playbook

A wonderful resource I’ve found online: The Startup Playbook by Sam Altman.
#1594631089 2020 Jul 13, 11:04 – Encrypted remote backups

Up until now I was just using rsync for backups, but today I wanted to start encrypting my backups. Initially I took a look into gpgtar etc., but I’ve just stumbled across restic, which looks like a promising solution.
#1594561097 2020 Jul 12, 15:38 – Reimagining Vivaldi

I don’t listen to classical music often, but I do enjoy Vivaldi a lot. Here’s a pretty good recording on YouTube.
#1594461065 2020 Jul 11, 11:51 – The $25,000,000,000 Eigenvector

Some days ago I had to do some work regarding the PageRank algorithm for my numerical mathematics class and I was really surprised about how interesting it was. Take a look at this paper here. The math is actually not that hard; I’d say the ratio of complexity to effectivity is damn good.
#1594051232 2020 Jul 06, 18:00 – I feel exposed by Paul Graham

Especially the paragraph called Problems. Click here to read it.
#1593775896 2020 Jul 03, 13:31 – Leveraging psychology when designing (digital) products

Here’s a website presenting several interesting psychological principles.
#1593244110 2020 Jun 27, 09:48 – translate-shell cli translator

Works instantly without requiring an API key or any other setup. You can translate single words or whole sentences from/to different languages. link.
#1593184591 2020 Jun 26, 17:16 – Understanding mathematics

A math professor explains how to approach math on http://www.math.utah.edu/~pa/math.html. Also, if this isn’t your typical math professors homepage, then I don’t know what is.
#1593184545 2020 Jun 26, 17:15 – Some phlogs that could be interesting

Link: gopher://gopher.club:70/1/phlogs/. I’ve used lynx to briefly look at this list today and I haven’t really read anything off of it yet, but it looks promising.
#1593184486 2020 Jun 26, 17:14 – Hello World!

Today I figured I’d like some sort of platform to post smaller snippets of information or links that could be interesting to others as well to, so I’ve quickly created this page. We’ll see if I’ll put it to use over a longer period of time…