schindlabua

Coding used to be a super creative and rewarding thing for me, and now I do 0 of it. Does this mean I produce less code, or hate my job because I can no longer "do the problem solving" that gave me so much joy? No -- it's the opposite on both accounts and I can actually tackle much larger problems now.

If anything, proof abundance should speed up discovery, and mathematics will be fine. What is happening now is just a massive shock to the system so understandably people are upset.

(It's also understandable why AI companies are strip mining open maths problems. "Solve P=NP" is crazy hard, but still a simple prompt, with a verifiable solution. You don't get that this often outside of maths.)

Thanks! I might just reword that section or leave it out to not spread half-truths then. I'm really not very solid on either CoC or ZFC.

Haha wow, thank you that's very kind. I didn't really expect to make it to the front page today, feels like people are entering my flat when I haven't cleaned up in a while haha.

Ooqui inspired me to start a series on Colour actually. As a dev you'll naturally know a thing or two about colour or perception but this guy goes deep and it's super fascinating content I agree. Super unique too, I had never heard about most of the stuff he researches before watching his videos.

I'm working on a series about milk at the moment but I'll get back to colours eventually, there's a lot more to tell there :) Will make sure to give color spaces and gamut special treatment!

I used plain Opus. Will check out Claude Motion though, thanks for mentioning it!

Thanks for the feedback. The idea was to create something between a youtube video and a blog post and something you can consume in bite-sized pieces. I'd like the visuals to do most of the talking but I guess parser combinators came out with a lot of text anway. I'll try to tighten up the UI some and get a smaller phone for testing.

Thanks! The site is going through a redesign so some things aren't perfect yet, I'll keep it in mind next iteration :p

Parser combinators are stronger than pure regular expressions but I'm not sure how they compare to the non-regular regexes we use in programming (PCRE etc)

Good input. Since we're working in typescript a partial parser can always throw an exception (It's what the parsimmon library does aswell I believe). I decided not to get into those technicalities too much!

Nova Rock is mostly camping on and inhaling dry dirt, camping in and being covered in mud, not going to the toilet for 2-3 days, and eating canned food. But I hear you.

Austria is a small country but festival-wise it does host a couple superlatives -- Donauinselfest as the largest festival in the world, Novarock being the largest rock festival depending on how you count. And then theres so many great other festivals in austria and the surrounding countries, big and small.

People keep raving about burning man so I kind of want to go but I wonder whether I'd just be slightly disappointed. Or whether it's an american media influencing europeans thing where expectations become overinflated compared to what we have here.

parse json?

const x = await fetch(...); await x.json();

"intercept" code that runs before every request?

const withAuth = (res, options) => fetch(res, { ... do stuff here });

I've been using apt for 20 years too and was never a fan of it, canonical repos are never up-to-date and managing ppas is a pain. Yes I'm very hype about nixOS (and that's a rare thing for me), but it is just really really good.

I understand that "just check it out" is not the best advice because the setup cost to using nixOS is really high, and the learning curve is really steep, so it's not like you can give it a whirl for a few hours to experience the workflow. But believe me, once you are used to it, it just so so much more convenient. I'm currently managing my dev laptop, home PC, a WSL, and a hetzner server all in the same repository (allowing for a lot of code reuse). Everything is super orderly and split into modules, everything is declarative, I can roll back to a previous build of my system if I mess up installing nvidia drivers or iwd or bluetooth etc.

It's also not like installing software is harder than with apt (oftentimes it is easer, `programs.firefox.enable = true`) so after you've paid the setup cost there is just no downside. It's a bit like react vs jQuery, or Kubernetes vs hand-written deployment scripts.

Which seems suprisingly high given that it's 92 protons worth of antimatter!

Fair point but I've stopped trying to declaratively manage stuff in nix that has its own idiosyncratic state management. That way youre just using nix to run an installer.

After having done the switch to nixOS, I can confidently say that managing a system any other way (like with apt/brew + 20 handwritten bash scripts) really is neanderthal technology and nix is superior in every single way.

It's also great for the AI era, copilot is really good with that stuff.