sornaensis | 7 days ago | on: Show HN: Browser grand strategy game for hundreds of players on huge maps
sornaensis's comments
sornaensis | 7 days ago | on: A sufficiently detailed spec is code
LLM -> Spec is easier, especially with good tools that can communicate why the spec fails to validate/compile back to the LLM. Better languages that can codify things like what can actually be called at a certain part of the codebase, or describe highly detailed constraints on the data model, are just going to win out long term because models don't get tired trying to figure this stuff out and put the lego bricks in the right place to make the code work, and developers don't have to worry about UB or nasty bugs sneaking in at the edges.
With a good 'compilable spec' and documentation in/around it, the next LLM run can have an easier time figuring out what is going on.
Trying to create 'validated english' is just injecting a ton of complexity away from the area you are trying to get actual work done: the code that actually runs and does stuff.
sornaensis | 11 days ago | on: Ask HN: How is AI-assisted coding going for you professionally?
I have a lot of worry that I will end up having to eventually trudge through AI generated nightmares since the major projects at work are implemented in Java and Typescript.
I have very little confidence in the models' abilities to generate good code in these or most languages without a lot of oversight, and even less confidence in many people I see who are happy to hand over all control to them.
In my personal projects, however, I have been able to get what feels like a huge amount of work done very quickly. I just treat the model as an abstracted keyboard-- telling it what to write, or more importantly, what to rewrite and build out, for me, while I revise the design plans or test things myself. It feels like a proper force multiplier.
The main benefit is actually parallelizing the process of creating the code, NOT coming up with any ideas about how the code should be made or really any ideas at all. I instruct them like a real micro-manager giving very specific and narrow tasks all the time.
sornaensis | 14 days ago | on: Kotlin creator's new language: talk to LLMs in specs, not English
I've had good success getting LLMs to write complicated stuff in haskell, because at the end of the day I am less worried about a few errant LLM lines of code passing both the type checking and the test suite and causing damage.
It is both amazing and I guess also not surprising that most vibe coding is focused on python and javascript, where my experience has been that the models need so much oversight and handholding that it makes them a simple liability.
The ideal programming language is one where a program is nothing but a set of concise, extremely precise, yet composable specifications that the _compiler_ turns into efficient machine code. I don't think English is that programming language.
sornaensis | 20 days ago | on: Claude Code wiped our production database with a Terraform command
sornaensis | 1 year ago | on: Ants learned to farm fungi during a mass extinction
sornaensis | 2 years ago | on: Lasers or Longbows? A Paradox of Military Technology (2010)
The other aspect that is missed in criticisms of this particular wargame is the fact that there were specific doctrine elements that were to be tested-- now the claimed outcome of those can be debated, for instance the fact that opfor had many restrictions on how they were allowed to employ their anti air defenses-- but a wargame is NOT meant to be a giant game of paintball where when one side gets hit they just pack up and go home, that would be incredibly wasteful. In many cases you have formations planning and training for months to participate in the exercise. The purpose is testing out many different aspects of doctrine, and often times that involves 'ignoring' results of one part of the wargame.
sornaensis | 2 years ago | on: What if we replace guns and bullets with bows and arrows? (2022)
So e.g. chemical and biological weapons are pretty poor performers when you put them up against conventional weapons.
For one thing, both can backfire greatly if for example they are improperly handled behind the frontlines. Weapons need to be stable and easy to handle and able to deal with fuckups without killing your own people.
They also are expensive as hell, it costs a lot more (and is probably harder) to find competent people willing to make these types of weapons, and per dollar, they don't kill as many people as conventional bombs do. (See: World War 1) So, they are 'banned', but mostly because they aren't very effective.
When you look at so-called chemical weapons that are in use, they are usually used for temporary area denial, are stable, not that lethal, if at all, and easy to produce: white phosphorus, CN and CS gas, etc. The US of course calls white phosphorus for 'illumination' but the people firing it know what they're using it for. So when they do beat out the alternatives, they get used anyway.
Laser weapons are being developed but they are basically just not there yet. Batteries are heavy and the usefulness seems pretty limited to shooting down incoming drones/missiles possibly. Just using anti-missile missiles or just a stream of bullets is still cheaper and more reliable. Again, if you can see and hit someone in the eyes with a laser, why not just shoot them with a normal bullet? The economics don't make sense.
Poisoned bullets I haven't really heard of, I'm not sure what kind of poison would survive being coated onto a bullet and fired out of a gun, or how making a really expensive nerve agent bullet and then shooting someone with it is better or more sensible than just shooting them with a regular bullet so I can't really comment.
Expanding ammo was 'banned' but again, it was essentially replaced with spitzer style rifle bullets that are more accurate and effective anyway, and can have a similar result on impact.
tldr it's not a good comparison to call these things actually banned in a meaningful sense.
sornaensis | 2 years ago | on: Hitler-Mannerheim Recording
sornaensis | 2 years ago | on: Why do we need modules at all? (2011)
If you want to just write IO, you can just define a function with an IO () value and use it in any other function that resolves to IO (), or call other functions that live in IO *, or any pure functions, etc etc.
sornaensis | 2 years ago | on: New JWST data confirms, worsens the Hubble tension
sornaensis | 2 years ago | on: Metallica hard-wires a different set list every night
sornaensis | 2 years ago | on: Metallica hard-wires a different set list every night
sornaensis | 2 years ago | on: Medieval Table Manners: The Messiest Myth?
sornaensis | 2 years ago | on: Supreme Court strikes down affirmative action in college admissions
How stupid do these people think 'everyone else' is. This is the most absurd thing I've read all day.
Humans, who divide themselves along such lines as _what tv shows they like_, had to have the concept of _skin colour_ invented for them. Really think about how ridiculous this assertion is.
sornaensis | 2 years ago | on: Loneliness is stronger when not alone
sornaensis | 3 years ago | on: US jet shoots down unknown object flying off Alaska coast
The shoot down also involved the SAM radar operator violating his own SOP by leaving his radar on longer than they normally do, and firing at a non-PID contact, because they _knew_ the aircraft was going to be there.
Complacency kills.
sornaensis | 3 years ago | on: Why has no one published a computer version of Squad Leader?
It’s almost identical in concept, and the simulation is much much deeper than it appears.
I recommend trying a demo instead of judging by looks, it is not at all a pretty game but it’s got a lot going on.
sornaensis | 3 years ago | on: Why has no one published a computer version of Squad Leader?
Also, there are several clones of ASL that are published by various wargaming publishers such as Slitherine: Lock'n'Load Tactical, etc.
sornaensis | 3 years ago | on: Kids and music lessons: why do many promising players quit early?
Later on when I discovered rock and metal music I asked my parents for an electric guitar but they refused, saying I had to play the acoustic I had first and then I could ‘progress’ to electric. I was easily discouraged then so I gave up the idea.
I didnt end up getting an electric guitar and starting to play music seriously until after university when I had a job and could afford it easily myself. Now I play almost every day, learning new things, writing my own little pieces, and jamming with friends. Music is now one of the most fulfilling things in my life, and I believe one of my biggest regrets will be waiting so long to get started after I knew what I wanted!
Doesn't seem like you played your own game before submitting it.