#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.
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.
#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
#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
#1593184545 2020 Jun 26, 17:15 – Some phlogs that could be interesting
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…
© Niklas Bühler, 2020 RSS | Contact me | Imprint | Home