HN user

lyxell

86 karma

Email: lyxell_hn@fastmail.com

Posts3
Comments30
View on HN
GPT-5 12 months ago

”I think GPT-5 is the closest to AGI we’ve ever been”

Sorry, but this sounds like overly sensational marketing speak and just leaves a bad taste in the mouth for me.

Awesome! Thanks for sharing. It feels good to have some company in this, I will follow your progress!

I created a repo for my solutions here: https://github.com/lyxell/aoc2024-sqlite

Update: Wow. Reading your solutions was a real eye-opener for me. It never struck me that one can exploit the fact that unmaterialized CTE's will not be evaluated for rows that is not needed by another SELECT and one can use this the same way one uses laziness in Haskell. This is great stuff, thanks again for sharing!

I’m allowing myself to convert the data to a csv and read it using ’.mode csv’.

I realized when solving todays problem that SQLite’s

  json_each("[" || T.c1 || "]")
Is useful for parsing comma separated rows into (row, col)-pairs as well.

I’m using sqlite this year. Hoping that there won’t be any computational geometry or trie problems. Kind of hoping for a graph problem solvable with recursive CTEs, that would be cool.

I’ve used both standalone esbuild as well as Vite for hundreds of hours and HMR works flawlessly in React using Vite, it’s the only reason I use Vite instead of just using esbuild directly. I suggest you to try it out.

Going Buildless 2 years ago

I guess you mean relying only on type inference? That will only get you so far. E.g. function parameters for freestanding functions would still be untyped. For those to be typed you need TypeScript or JSDoc annotations as OP noted.

Custom forms with support for triggering actions is definitely on the roadmap. I'm not sure where I stand on the possibility to add a fully fledged plugin system. I've been looking at the possible scripting environments that are easy to integrate/execute in Go, there's a few JS-interpreters for example. But it would be quite a task to make the UX good in the case of runtime errors etc.

It was a while since I had a look on how the plugin system works in Wordpress. I should read up on that. Thanks for the feedback!

This is a great recommendation. It is worth noting that unlike Docker, crane is root- and daemonless which makes it work great in Nix (it's called 'crane' in the Nix repository). This allows for Nix to be used to manage dependencies for both building (e.g. Go) as well as packaging and deploying (e.g. gnu tar, crane).

I immediately thought of this book too. For the comment section readers: The War of Art is a book about Pressfields idea of 'resistance', a force the artist/maker must overcome in just about any important (to them) creative endeavour.

I think it is hard to answer this without reducing the real world into something it may not be. What constitutes an event in the real world? Is the universe discrete or continuous? Do we really use mathematics to describe nature, or do we use it to model and approximate some properties of it?

I think what it disregards is the amount of effort that it takes to get to a situation where you have an interactive real-time IDE for the purposes of drawing a tree.

I agree with your view, but one of the reasons for this is that there is still a lot to ask from the GUI frameworks in most languages (especially languages like C++ and Rust). However, I still believe that this can change.

Raph Levien is driving some pretty targeted work on pushing the state of GUI frameworks for Rust [0].

In C++ Dear ImGui is heavily used by the game development community [1]. My experience is that it is really fast to get a visualization for most projects going in very little time using this framework. See the gallery threads [2] for examples. This project also gets better every month.

[0] https://raphlinus.github.io/rust/druid/2020/09/28/rust-2021....

[1] https://github.com/ocornut/imgui

[2] https://github.com/ocornut/imgui/issues/3793

I remember that the guys behind The Pirate Bay actually made a service like this back in the days. You would submit a song and get a mashup back of cuts from other songs where each cut would be short enough to fall under fair use. I can't find any references to it online anymore though. Maybe someone else remembers what the service was called.