IshKebab

5 ms·

31.
by IshKebab 23d ago
Interesting... But I don't think formal software verification is going to be the answer (is that what this is? Kind of unclear.) It's too difficult and doesn't scale well to many real world programs - how do you formally veri
32.
by IshKebab 23d ago
I once had an interview at PA consulting where they asked one of those questions where they have "the answer" but their question isn't well specified enough to lead to that unique answer. They kept adding conditions, but I ha
33.
by IshKebab 23d ago
Yeah it seems to be following the No Man's Sky playbook.
34.
by IshKebab 23d ago
Yeah maybe. I dunno though, I'm using it in obscure SystemVerilog stuff. AI used to absolutely suck at that very recently but now it seems to have no problem. I think the key is that you give it all of the info - put all the docs, the
35.
by IshKebab 23d ago
Satisfiability Modulo Theories
36.
by IshKebab 23d ago
That's last gen though. I agree it's mediocre. Try Astra. It's significantly better than Opus and even Fable. I'm not sure about earlier OpenAI models. I also thought we had time.
37.
by IshKebab 24d ago
Yeah enjoy it while it lasts. This is basically where LLMs were with coding a year or two ago. Give it a couple more years...
38.
by IshKebab 24d ago
It is. Look up what SMT stands for.
39.
by IshKebab 24d ago
Yeah definitely Claude. Lazy authors, if you're going to get AI to write for you please use Astra instead - it makes way less annoying prose than Claude.
40.
by IshKebab 24d ago
Yeah you'd think they could use some kind of exponential back-off type algorithm for apps that have been successfully reviewed many times... :-D
41.
by IshKebab 24d ago
In fairness is that really a bug? All apps are deliberately limited to a couple of GB on Android (depending on how much total RAM you have). It would be pretty annoying if a random website can just DoS your phone by using all your RAM.
42.
by IshKebab 24d ago
Right but... You've used gift cards before right? The whole point is that you can't convert them to cash. Not only that but Google/Apple gift cards are notorious for being used in fraud. I guess if you're young...
43.
by IshKebab 24d ago
How did you "accidentally" do something that was so obviously not allowed?
44.
by IshKebab 25d ago
Yeah precisely. If you tell an agent "get me some milk" it's no comfort if it says "oh well I wouldn't have stolen the milk if you had explicitly told me not to". This article is dumb.
45.
by IshKebab 25d ago
People have been arrested for far less. I dunno what the least offensive conviction has been though tbf. Anyone know?
46.
by IshKebab 25d ago
Nah I think modern architecture is popular among many architects and unpopular with almost all of the public for the same reason modern art is: it justifies their existence. It gives them some clever thing to know that normal people don&#x2
47.
by IshKebab 25d ago
Right but that's not because modern architectural style has made the interiors better. It's mainly technological improvements that allow larger windows, bigger space, better insulation, etc. You can totally have a traditional st
48.
by IshKebab 25d ago
8MB is huge compared to the stacks we used to have when address spaces were 32-bit, but it's tiny compared to how much memory we can actually make use of now. The only real argument I can think of for having such a small stack is that
49.
by IshKebab 26d ago
Those are x86. But yeah it does sound like it will be open.
50.
by IshKebab 26d ago
Is that confirmed? Arm devices tend to be awkward to install your own OS on in general. E.g. look at Android phones. I mean Valve definitely are very open-source friendly but I wouldn't just assume.
51.
by IshKebab 26d ago
Do any widely used languages guarantee tail call optimization? It's a pretty niche feature.
52.
by IshKebab 26d ago
nRF5x also has completely configurable pins, and if you're worrying about awkward pinouts making PCB design slightly more annoying then you're definitely not in a cost sensitive project.
53.
by IshKebab 26d ago
> Almost any embedded application needs mixed signal interfaces. For the vast majority of embedded applications you can simply pick an MCU that has the hardware peripherals they need. That's why XMOS was never very successful. (They
54.
by IshKebab 26d ago
It's a stack overflow which means it's using recursion and for historical reasons that don't make sense any more, stacks are teeny tiny on 64-bit Linux - apparently only 8 MB on Linux! I'm not sure why they don't ra
55.
by IshKebab 26d ago
I mean, that should work... but you can see why that would be considered low priority right?
56.
by IshKebab 26d ago
Yeah I agree - how would you ever know if this is real or if it's just some people saying "sure of course I can visually imagine things, just like dreams" and other people saying "omg I can't visually imagine things
57.
by IshKebab 26d ago
> We already had big claims of the Turing test being passed in 2014 Nah there was that bullshit Loebner prize or whatever, but that was just shitty chatbots being "judged" by people asking questions like "how are you today
58.
by IshKebab 26d ago
> Also, JPEG XL is two codecs bundled into one, That's an internal detail that doesn't really matter to anyone outside library implementors, or when you're choosing encode settings though. It's the same in Opus. Tech
59.
by IshKebab 26d ago
It did that long before Elon took over. He's made it worse, sure. But it was never really usable at any point.
60.
by IshKebab 27d ago
I assume this is at least partially vibe coded, but this is the first good vibe coded website I've seen. Amazing work.

More ›