Viewing profile — valenterry

Scala has dependant types (though inferior than Idris ones) and has the whole jvm ecosystem.

> Ideally, sure, but the reality is just that some entities are not only reputationally, but also legally required to bear the liability for account takeovers. Seems like an absolu…

Hm, I disagree. I prefer if the user has the freedom to choose how they want to do things. At the cost of some users choosing the wrong way and then getting problems. It's a questi…

> This is emphatically not fundamental to LLMs! Yes, the next token is selected randomly; but "randomly" could mean "chosen using an RNG with a fixed seed." This. Thanks for saying…

It's still in the standard. They could remove it, but they don't, so from my perspective it's just like how Google wasn't evil. Until they decided otherwise.

> Sure, but then you still need a protocol between user agent and website. Yes of course. Just like you do for passkeys. > Passkeys can in fact be backed by exactly this, i.e. a HM…

It should be noted that that is not an inherential advantage of passkeys over passwords. It is possible to achieve the same with passwords, e.g. by using a hash-cascade.

Then you should write assembly only. Like `MOV`, `ADD`... can't really get simpler than that. Problem is, that makes every small part of the program simple, but it increases the nu…

By that definition you will be stuck on the first language you love. And someone will be stuck not to do anything because they are unsatisfied with all languages. :-)

> Shameless plug: learn your tool. Don’t approach Postgresql/Mssql/whathaveyousql like you’re a backend engineer. Erm, knowing and understanding how to use your database is a bread…

Google isn't even good at engineering great software. They have some good people working on some good projects. If you look at the relation between software-quality of their averag…

> Static types, algebraic data types, making illegal states unrepresentable: the functional programming tradition has developed extraordinary tools for reasoning about programs Loo…

I think so too. However I think there is a misunderstanding between being "deterministic" and "unambiguous". Even C is an ambiguous programming language" but it is "deterministic" …

Yes, you are right. I was mostly speaking in theoretical terms - currently people don't work like that. And you would also have to use the same trained LLM of course, so using a th…

C can absolutely be ambiguous: https://en.wikipedia.org/wiki/Undefined_behavior

Why not? Here's a very simple algorithm: you tell the other person (in English) literally what key they have to press next. So you can easily have them write all the java code you …

What would you say if someone has a project written in, let's say, PureScript and then they use a Java backend to generate/overwrite and also version control Java code. If they cla…

That last step is still pure, because it's still just return a value. A data-structure. You did Haskell, so you should know how it works.

Nope, that is precisely what pure functional programming is about: to turn actions like "draw something to the screen" into regular values that you can store into a variable, pass …

From what I remember, it turned out that the electronics were sufficient. Though the chance of issues (e.g. in case of a software but) were/are increased.

Right. I mentioned the suboptimal 60 degrees because many people hang it from the balcony (90 degrees) and the tilt it a bit, but usually not too much. From what I've seen 60 degre…

A 400W half decently oriented panel (i.e. south facing balcony, 60 degree angle) is sufficient to run your AC to cool your 50sqrm apartment during summer for free.

> Do these setups have auto shut off if they see no other power on the plug they are on? Yes. This is Germany we are talking here. I doubt any other country has higher (and more an…

Not really. Now imagine you run two AIs (like ChatGPT) on your machine or on a server. You maybe even want them to cooperate on something. How do you do that? Right, you cannot, th…

> In general the security model of desktop operating systems is woefully inadequate for the modern era. Given the sheer volume of software known to do things not in the user’s best…