huijzer
huijzer on Hacker News
I’m very much surprised but also not. I recently gave Astra a 3D model file and asked Astra to build a viewer for it, and it figured out the data structures in no time. What I mean to say is that AI is insanely good at things that we humans would never do since the work would be too monotonous.
I wouldn’t mind if AI progress would stop right here and now, but I fear it will continue, and increase inequality in society which is contrary to what the CEOs say (as usual).
Ever since I switched to Forgejo (could do Gitea or other self-hosted too), my outages have gone down to basically zero. It’s only down when I do maintenance but since I’m not pushing code at the same time it doesn’t matter
Very Biblical title (or anti-Biblical depending on how you look at it).
Genesis 1:3, "And God said, Let there be light: and there was light."
Say we have a trivial function like this
func below_ten()
if 10 < x
println(“true”)
else
println(“false”)
end
end
Now what would a test for these two paths test? It would basically be writing down the same - easy to understand logic - in a less generalized way. Good perhaps to ensure that this function doesn’t accidentally change over time but apart from that it wouldn’t add much value.
> Untyped languages often have tests that effectively implement a type system as software grows and the developer count grows. That seems like a waste…
Nicely put. A very verbose type system that is also placed too far away from the definitions indeed
> 100% test coverage
I don’t believe in 100% test coverage. Especially outside some very specific cases, it just adds a lot of code with little to no value.
It sounds essentially like 1984. Not that the world needed him for that though because with the most recent Samsung TV scandal about microphone and camera spying on users it seems also that fiction became reality to a certain extent.
> A coworker recently remarked that lean seems like a new foundational language family that every programmer should be able to read
Extraordinary claim requires extraordinary evidence.
Why? I’ve worked a bit with proving systems in my studies, but it seems to me that it is very hard to turn precise mathematical statements into useful programs. Perhaps for the core logic, but GUIs or any other state with the outside world is going to be difficult it seems to me
> haven't fully realized/felt the cost implications of trainwreck software yet
As long as the API is private or not dependent on by automated systems and you have good test coverage, you can get away with bad code IMO since you can always refactor. If it looks stupid but it works (and can be refactored/fixed/improved later if needed) it aint stupid.
From my few months of work, that seems likely yes. I'm way stronger in core and legs now.
I don’t know where you live but here in the Netherlands we always turn the power off first. (Another thing I like about the trades so far are jokes like this.)
Thanks! That's kind of you
I'm in ship construction (industrial)
I have done multiple studies and they were always technical, so the company took a shot and hired me and would train me on the job. So far it's going well. They say I'm picking up stuff quickly and I occasionally help the head engineers with problems on their computers. This would probably be the same for most programmers. Reading drawings, connecting electrical circuits, and doing troubleshooting is surprisingly similar to programming.
> No, programming and math is basically what AI research is.
Most importantly, in these fields results can be easily verified which means that if you have enough compute, that you can generate correct training data. OpenAI had an early story - which could be a lie of course - about how they tried to train a robot but the actuators would be toast before the robot would have learned. Math and programming doesn't have such problems.
> We software engineers and lawyers would be smart to start retraining (and adjusting our living standards) now!
As someone who recently switched from data scientist to electrician, starting the day can be pretty tough because you have to get physically moving and uncomfortable, but I feel way better at the end of the workday than after an office job. Most of the time, the work is pretty uncomfortable, but somehow it's a lot of fun.
> AI is trying to imitate that very thing that a specific design used to tell you
Now I see your point. Fair enough
> Landing pages are always a proxy for quality.
Always is a very strong claim.
Counterexample: highly skilled low level engineers would end up with a crappy front page most of the time, but still the compiler/system/kernel whatever could be high quality.
Agreed. Especially given that I downloaded one app and got a generic launcher instead that then allowed me to download a specific app.
> and providing cloud features
I prefer to not have those in my text editor
I don’t care much about both. Just like to be doing something useful for a change (I did a PhD before this).
Makes sense if the comments were AI generated as the author writes since AI during reading the code has roughly the same context as with which it produces the comments. I would be more curious for a test with human written comments.
In a few days, I created a few apps with AI. One saves multiple mechanics 5-15 minutes per day and another can save multiple hours of mistakes during the project, and one saves a lead engineer 15 minutes per day. These savings should add up over multiple years assuming all keeps running as it does now. I’m having good hopes because there have been few bugs so far. Mostly just tweaking.
Disney. You mean the company that hid an image of topless woman in The Rescuers (1977) movie and from which many child stars have gone off the rails in later life, main actor kissing a 11 old in Blank Check (1994), and the 2026 lawsuit by Raquel Lee Bolleau among other scandals that anyone as a parent would hope not to be there
SQLite is a database. The main idea of a database is to support concurrent reads/writes although databases differ in how much concurrency they allow
But the real question is, does Caddy support it?
The answer is: it does but via community plugins.
> “I didn’t care about practicality, building useful programs, or writing code per se: all I wanted is to understand how the machine works.”
Over the years, I’ve transitioned from building “beautiful” stuff to nowadays building stuff that works. I still want it to be perfect but now not for me but for the user. If I think it’s ugly, but the user wants it that way, then who am I to decide against it? They will have to use the software, not me. Seeing a user be happy with the software is super nice. Way more enjoyable than me just making stuff for myself.
Bible wrote that we wrestle against spiritual wickedness in high places (Ephesians 6:12) and that satan is the god of this world (2 Cor 4:4) who deceived everyone (Rev 12:9).
Regardless of whether one believes this, it’s probably nice to know that rulers have been doing bad things for a long time already.
Been running services myself for a few years now. This is what I'm lately running. Maintenance is just running apt-get update and upgrade myself every 2 weeks. Apart from that, I don't spend much time on it. The config is basically a Git repo with one folder per Docker Compose service. And then one Caddy which reverse proxies to the other services. I just give each service a unique port. Not Docker network namespaces nonsense. Everything is just a separately running Docker service and they connect via the ports.
- fx (my own blog software)
- syncthing (sync files to remote servers for backup)
- borgbackup (store old copies of files for backup; via cron)
- radicale (calendar)
- pingvin-share-x (file sharing with other people)
- Forgejo (GitHub-like clone; using it many times a day most days)
- vaultwarden (self-hosted Bitwarden)
- immich (not really using it much)