mike_hearn

10 ms·

1.
by mike_hearn 4d ago
How is cheating unexpected? OpenAI were talking about cheating behaviors in video game playing models over a decade ago.
2.
by mike_hearn 4d ago
Yeah, I agree the situation for CLI apps specifically could be a lot better, especially as the complexity keeps going up. Native Image does produce single binaries in many cases, but what we need here is a much better tool in general. Actua
3.
by mike_hearn 5d ago
I think there's some sort of communication gap here. My point is that neither fact tells you anything much, especially not about "how screwed" we are. It's not a battle of data points.
4.
by mike_hearn 5d ago
But they were almost exactly average in February. You're reading far too much into noise. The idea of a climate crisis is built on arguments about trends that span hundreds of years, not two weeks.
5.
by mike_hearn 5d ago
OK, I see where you are getting it from now. It's quite misleading to take a two week period and describe it as "last winter". No wonder people give blank looks, it was a transient spike that means nothing. The idea everyone
6.
by mike_hearn 5d ago
Don't sweat it. Everyone wants to write games at that age. I wanted to write games at 13, I was taking part in an open source game project at 15. Kid's interests in what kind of things they want to make do widen over time.
7.
by mike_hearn 5d ago
But it was ever thus. The knowledge of writing assembly language has largely been lost. The vast majority of working programmers today could not write a whole program in assembly, without looking up nearly everything. In the early years, wh
8.
by mike_hearn 5d ago
They won't. Radiologists already got told years ago they were doomed by no less than Geoff Hinton. There are more of them working today than before and their salaries are humungous. https://fortune.com/article/ai-g
9.
by mike_hearn 5d ago
Where did you get that from? This must be relying on picking very specific parts of the Arctic. This year has not been unusual for the Arctic, in fact, it was colder than the normally cited average (1958-2002). Take a look, see for yourself
10.
by mike_hearn 5d ago
Luckily you didn't get into trouble? It's the professor's responsibility to stop their students cheating, not yours! Heap allocators are hardly unique and the internet is full of source code. It's really time to stop con
11.
by mike_hearn 5d ago
What would be in your ideal tool? I have a company that makes Conveyor, which is very good at distributing JVM apps. It's primarily meant for desktop apps and replaces jpackage with something that can cross-build, make apps self-updati
12.
by mike_hearn 5d ago
Maybe cryptographers think this way, but I'm struggling to think of a case where a normal person had genuine photos leaked and then just baldly denied everything. Deniability isn't an option most people use or want to use in pract
13.
by mike_hearn 6d ago
KMP can call into native libraries easily. C FFI is not a competitive advantage. Rust has a smaller library ecosystem, I'd say. Kotlin can use Java libraries on the server side, and on the client side on Android, and the ones needed on
14.
by mike_hearn 6d ago
Ah, that makes more sense.
15.
by mike_hearn 6d ago
It wasn't years ahead of its time. It was nice but the original iPhone was far behind its smartphone competitors in many respects. IIRC: • No 3G! This made the whole "i" part of the iPhone mostly worthless when not connecte
16.
by mike_hearn 6d ago
Is it? I looked at the source but it doesn't appear to be react. It has a React API but also a "vanilla js" API and when I looked at the code it seems to be doing everything by hand: https://github.com/pierrec
17.
by mike_hearn 6d ago
Rust is uncompetitive for the use case of sharing logic between mobile apps. Kotlin has Swift interop and KMP is a mature tech by this point.
18.
by mike_hearn 6d ago
I'm skeptical. Pre-ChatGPT the models didn't understand tool calls or file editing so you couldn't really do targeted edits. So I really am not sure what they mean by this. I mean, it's not impossible - I wrote a "c
19.
by mike_hearn 6d ago
Well, it assumes the model is. KMP can be seen as a token optimization at this point. Business logic is shared and doesn't have to be rewritten in Swift.
20.
by mike_hearn 6d ago
I use containers in one context (custom container manager) and a regular UNIX account on bare metal in another. This isn't intended to stop a model like Astra hacking its way out of course, it's more like guardrails on a staircase
21.
by mike_hearn 6d ago
They can spot evaluation awareness because it appears in reasoning tokens.
22.
by mike_hearn 7d ago
WebView Outlook predates AI agents getting good.
23.
by mike_hearn 7d ago
I think the point is that Microsoft struggles to hire developers with any knowledge of Windows programming.
24.
by mike_hearn 7d ago
Isn't that just sidestepping the issue? Setting up backups isn't a security task, it's just normal IT which businesses do indeed spend on because there are clear goals and predictable budgets. But just being able to restore d
25.
by mike_hearn 8d ago
I think that's separate. You can define an obvious risk e.g. "we may be infected with ransomware" and the security spending / productivity costs to stop it are still unlimited because nobody knows how to solve it.
26.
by mike_hearn 8d ago
People aren't that lazy. The organizations getting hacked by ransomware aren't particularly lazy, they're often pretty productive within their domain. Hospitals, airports, etc. The actual problem is that computer security is
27.
by mike_hearn 8d ago
I think it's been pretty much proven by now that there are no cases where local inferencing is better than remote inferencing, unless absolute privacy is a hard requirement. The efficiencies that come with datacenter scale and hw can&#
28.
by mike_hearn 9d ago
I think they also suspect/know that Gates won't revisit the issue. The email is a flame as the subject line admits. Gates wasn't going to go back every week for the next six months to track progress.
29.
by mike_hearn 9d ago
"Low code" has been a dream of the industry for longer than I've been alive. There are reasons SQL and COBOL look superficially like English even when it's inefficient to do so. There are reasons Excel is the most popula
30.
by mike_hearn 9d ago
The number of bug fixes to important programs has skyrocketed. Look at what Google are saying about how many Chrome security bugs they've been fixing lately. Other big software firms have been doing the same thing - AI has been finding

More ›