pron

52 ms·

691.
by pron 1y ago
Indeed, I successfully use LLMs for research, and they're an improvement because old-school search isn't very reliable either. But as to the 80-20 tradeoff on other tasks, the problem isn't that the tool is wrong 20% of the t
692.
by pron 1y ago
I'm well aware that LLMs are more than capable enough to successfully perform straightforward, boring tasks 90% of the time. The problem is that there's a small but significant enough portion of time where I think a problem is s
693.
by pron 1y ago
Test-driven development helps protect against wrong code, but it's not code I'm interested in, and it's not wrong code that I'm afraid of (I mean, that's table stakes). What I need is something that would help me ge
694.
by pron 1y ago
The difference is that you can trust cruise control to do whatever limited job it knows how to do; you can't trust an LLM to do anything . That makes it, I think, hard to compare to anything we're used to (happily) working with
695.
by pron 1y ago
I'm not sure that having the patience to work with something with a very inconsistent performance and that frequently lies is an extension of existing development skills. It doesn't work like tools developers use and it doesn&#x27
696.
by pron 1y ago
So the annotations for such tools are pre/post conditions for certain properties (say, pointer validity, ownership). Like types, function annotations can sometimes be inferred, or they may need to be explicit. Once that information is
697.
by pron 1y ago
See: https://en.wikipedia.org/wiki/Relations_between_Nazi_Germany... https://en.wikipedia.org/wiki/Arab_fascism As to it being a reaction, be careful not to look at things from a perspective that
698.
by pron 1y ago
That particular code is shaped by Rust's specific scoping an lifetime rules, but generally - yes (provided you offer annotations for things the tool can't infer). Some changes to the code may be needed to make things easier, but i
699.
by pron 1y ago
I would first spend a good amount of time figuring out if you can't just keep it in Java, because it's not just the rewrite in C++ that's expensive, but a low-level language would make maintenance and evolution costlier forev
700.
by pron 1y ago
About the same if you compile many java files with a single run of the compiler.
701.
by pron 1y ago
> There's no other way to solve it than with a new language. That's not true, though. If memory safety is the only thing that you need and C doesn't have, there are products that offer memory-safety proofs for C (e.g. htt
702.
by pron 1y ago
First, I would avoid using any low-level language if at all possible, because no matter what you pick, the maintenance and evolution costs are going to be significantly higher than for a high-level language. It's a very costly commitme
703.
by pron 1y ago
I think that's just a matter of syntax habits, presumably because you're already familiar with C++ syntax. The syntax in your example is especially "cryptic" simply because it's an FFI signature (of a function that&
704.
by pron 1y ago
Yes, we know how to offer memory safety; we just don't know how to offer it without exacting a price that, in some situations, may not be worth it. Memory safety always has cost. Rust exists because the cost of safety, offered in other
705.
by pron 1y ago
Go is slower than Java (Java's (JIT) optimising compiler and GCs are much more advanced than Go's).
706.
by pron 1y ago
Spatial memory safety means that a language (at least in its subset that's designated "safe") doesn't allow you to manufacture pointers into memory that may contain data of a different type than what's expected by t
707.
by pron 1y ago
1. Lack of memory safety is a big problem particularly because it's a common cause of dangerous vulnerabilities, but spatial safety is more important than temporal safety for that reason, and Zig does offer spatial safety. 2. Other imp
708.
by pron 1y ago
> If you mean the Rashidun, Umayyad, or Abbasid Caliphates, then those were not simply "Arabian" empires - they were Islamic. Non-Arab peoples were deeply involved at every stage. The unifying goal wasn't to spread Arab na
709.
by pron 1y ago
> Islamic conquests - not Arab. The Arab Empire's conquests are called both Muslim conquests or Arab conquests ( https://en.wikipedia.org/wiki/Early_Muslim_conquests ). > It’s worth remembering that the longes
710.
by pron 1y ago
The Arab conquest of the Middle East and North Africa (which is not the same as the Islamisation in East Asia) indeed wasn't as horrendous as the Spanish conquest of Central and South America, but it wasn't entirely peaceful, eith
711.
by pron 1y ago
Auditing is only for paying customers of commercial products who've agreed to it in their contract. There's obviously nothing to pay for because the JDK is free. Oracle doesn't even collect contact information when downloadin
712.
by pron 1y ago
> Political Zionism means the sort of Jewish state (a racial state) in a way that racists in England want an "English" state (which means "white") For some who identify with it, yes, it means that and for others it me
713.
by pron 1y ago
You don't need to pay to use Oracle JDK. It is free for commercial use. You pay for a support subscription, bought separately.
714.
by pron 1y ago
> LLMs are tools With tools you know ahead of time that they will do the job you expect them to do with very high probability, or fail (with low probability) in some obvious way. With LLMs, there are few tasks you can trust them to do, a
715.
by pron 1y ago
A Jewish home isn't necessarily an exclusively Jewish home. My country is the national home of the English people, but it isn't a national home for that people exclusively (although some wish to change that). And while it certai
716.
by pron 1y ago
Also: notification and sorting are highly configurable through rules.
717.
by pron 1y ago
Yes
718.
by pron 1y ago
Even political Zionism is minimally defined as supporting "a home for Jews in Palestine"[1] Not only does it not require any ethnic exclusivity nor even for a national identity, it doesn't even require an independent state in
719.
by pron 1y ago
There are quite a few inaccuracies here. Palestine is not in Arabia but in the Levant, which was conquered by Arabs from the Byzantine Empire in the 7th c. as part of the Arab-Byzantine wars, and came under the Rashidun Caliphate, the first
720.
by pron 1y ago
P.S. While the manufacturing jobs of old cannot be brought back because they no longer exist - they've been eliminated by automation - there could be non-economic arguments for bringing back more manufacturing (e.g. a national securi

More ›