valenterry

5 ms·

1.
by valenterry 19d ago
Right. That's why I think that the client syncing (all) credentials is just what I don't want/like and there must be a server, since a compromised client can obviously not be trusted to doing any rate-limiting. And the server
2.
by valenterry 19d ago
I wish there was a password manager with a different focus. In the way where there would be a server (selfhosted) that has the passwords and is well protected. Then, on the server, I can configure access to the secrets on my clients and — a
3.
by valenterry 20d ago
And in-transparent pricing and this annoying dude that asks you once in a while if everything is okay, usually before the renewal.
4.
by valenterry 7mo ago
Scala has dependant types (though inferior than Idris ones) and has the whole jvm ecosystem.
5.
by valenterry 7mo ago
> 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 absolutely rare edge case to me. Or maybe even just a misunders
6.
by valenterry 7mo ago
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 question of balance, but when I look at recent tech/inte
7.
by valenterry 7mo ago
> 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 that, because now I don't need
8.
by valenterry 7mo ago
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.
9.
by valenterry 7mo ago
> 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 HMAC-only stateless implementation backed by a single pa
10.
by valenterry 7mo ago
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.
11.
by valenterry 7mo ago
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 number of parts (and/or their interaction). And ulti
12.
by valenterry 7mo ago
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. :-)
13.
by valenterry 7mo ago
> 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 and butter skill of a backend engineer.
14.
by valenterry 7mo ago
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 average product and number of developers they have... yeah I
15.
by valenterry 7mo ago
> Static types, algebraic data types, making illegal states unrepresentable: the functional programming tradition has developed extraordinary tools for reasoning about programs Looks like the term "functional programming" has b
16.
by valenterry 7mo ago
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" in that it behaves in the
17.
by valenterry 7mo ago
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 third party provider probably doesn't give that gua
18.
by valenterry 7mo ago
C can absolutely be ambiguous: https://en.wikipedia.org/wiki/Undefined_behavior
19.
by valenterry 7mo ago
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 want in a deterministic and reproducible way. And yes,
20.
by valenterry 7mo ago
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 claim that this would be a Java project, you would pr
21.
by valenterry 11mo ago
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.
22.
by valenterry 11mo ago
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 around, return from a function and so on. It'
23.
by valenterry 1y ago
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.
24.
by valenterry 1y ago
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 degrees seems like a good average number.
25.
by valenterry 1y ago
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.
26.
by valenterry 1y ago
> 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 annoying) safety standards.
27.
by valenterry 1y ago
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, there is no standard, no interoperability, nothing.
28.
by valenterry 1y ago
> 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 interest it’s borderline insanity that we hand it the ke
29.
by valenterry 1y ago
This. The mere fact that it's much easier to find deleted/impacted entities is worth it.
30.
by valenterry 1y ago
It's like listening to a politician or lawyer, who might talk absolute bullshit in the most persuading words. =)

More ›