Readit News logoReadit News
zerodensity commented on Rust's Ugly Syntax (2023)   matklad.github.io/2023/01... · Posted by u/nequo
sk11001 · 2 years ago
> people use Rust because it’s fast but then they complain about the semantics that make it fast.

I don't think most people use Rust because it's fast - fast is nice but Rust is being thrown at a bunch of use cases (e.g. backend services and APIs) for which it replaces "slower" garbage collected languages (the language being faster doesn't always make the overall product/service faster but that's a separate question).

What Rust gives you is a viable potential alternative to C and C++ in places where you absolutely can't have a GC language, and that's a huge deal, the problems and confusion start when people try to use Rust for everything.

> everybody agrees that Rust is too complicated

I don't think this is true either - a large part of the Rust community seem to think that it's as complicated as it needs to be. As a beginner/outsider, I found it kind of cumbersome to get started with, but that's certainly not everyone's opinion.

> Most people would probably be better served by a language that was a tiny bit slower but had better developer productivity.

True, and such languages already exist and are widely used, Rust doesn't need to fit that use case.

zerodensity · 2 years ago
> I don't think this is true either - a large part of the Rust community seem to think that it's as complicated as it needs to be. As a beginner/outsider, I found it kind of cumbersome to get started with, but that's certainly not everyone's opinion.

Personally I feel it's not complicated enough. Where is my function overloading, variadic templates and usable compile time reflection? (Sure you can sometimes use macros but ew macros)

zerodensity commented on Judges rule Big Tech's free ride on Section 230 is over   thebignewsletter.com/p/ju... · Posted by u/eatonphil
whatshisface · 2 years ago
Given that the alternative was public control over governments, I guess it's inevitable that this would become a worldwide civil rights battle.
zerodensity · 2 years ago
What does public control over governments mean?
zerodensity commented on State and time are the same thing   buttondown.com/hillelwayn... · Posted by u/BerislavLopac
kstenerud · 2 years ago
Isn't that what I said?

State is dangerous - it's an entropy multiplier, so keep it within reason and for gods sake don't ignore it or pretend it doesn't exist.

We like to think that we have it all under control, but the time dimension multiplies everything, and has a tendency to ratchet them until suddenly you find that you actually don't have it under control anymore.

The less state you have, the less your brain gets turned into a pretzel trying to keep track of it all over the time dimension.

zerodensity · 2 years ago
If you care very much about not ever ending up in a bad state (which it seems that you do). Then just functional programming with immutable state is not going to cut it. In this realm you should look into methods of formal verification to prove that your code does what you want it to do.

That being said, functional verification is a huge time sink and is really only economical if it's very important for the code to always be correct. That is, people die if your software has a bug. A few examples would be pacemakers, aircraft autopilots or your car brakes.

If your not working one of these domains then maybe immutable and pure functional code can save you a few bugs? I have not read any peer reviewed study that shows this is the case. But if you have any such paper i would be happy to read it.

zerodensity commented on Why Everything Is CRUD   blog.smartclient.com/why-... · Posted by u/chenster
frodation · 2 years ago
All computing boils down to recursive functions. No need to learn any other thechnology than lambda calculus.
zerodensity · 2 years ago
And all that can be done by the mov instruction no need to learn anything other than mov.
zerodensity commented on TIL: Versions of UUID and when to use them   ntietz.com/blog/til-uses-... · Posted by u/fagnerbrack
Vecr · 2 years ago
Not really, it's slower than truncated blake3 for no gain and much loss.
zerodensity · 2 years ago
But is it slower than sha1? Which is the alternative if you don't roll your own in V8.
zerodensity commented on TIL: Versions of UUID and when to use them   ntietz.com/blog/til-uses-... · Posted by u/fagnerbrack
jagrsw · 2 years ago
Imagine how many careers have been built on inventing and promoting something, in the end, turned out to be a cleverly encoded output from /dev/urandom.
zerodensity · 2 years ago
Immagine a world where every framework / API / database had its own incompatible UUID format. Without a standard specification that's where we would end up. Do you want to live in such a world?
zerodensity commented on TIL: Versions of UUID and when to use them   ntietz.com/blog/til-uses-... · Posted by u/fagnerbrack
1986 · 2 years ago
why wouldn't you use some sort of collision resistant hashing function on the data to achieve this instead?
zerodensity · 2 years ago
Some systems expect UUIDs so you don't always have that choice.
zerodensity commented on Telegram founder Pavel Durov arrested at French airport   theguardian.com/media/art... · Posted by u/NoxiousPluK
CactusOnFire · 2 years ago
By that logic, any app that provides privacy from governments spying is a criminal enterprise.
zerodensity · 2 years ago
Well I mean in many countries, blocking the surveillance agency from listening in on your calls/texts/chats is illegal. So making an app that interferes with the agencies ability to "listen in" is infact a criminal enterprise.

Don't have to like it but the law is the law.

zerodensity commented on Telegram founder Pavel Durov arrested at French airport   theguardian.com/media/art... · Posted by u/NoxiousPluK
EduardoBautista · 2 years ago
Are they going to arrest Zuckerberg and Tim Cook next for the encryption in WhatsApp and iMessage?
zerodensity · 2 years ago
I mean I wouldn't complain if they did.
zerodensity commented on Making database systems usable   muratbuffalo.blogspot.com... · Posted by u/jamesblonde
randomdata · 2 years ago
> The problem of going from natural language to SQL is still a far from solved problem.

Is there any improvement going from natural language to something other than SQL? Certainly SQL can be cut out of the picture if it is what confuses these systems.

zerodensity · 2 years ago
What would that "something other" be? If the goal is to talk to a SQL database the output from the LLM would benefit from being SQL.

u/zerodensity

KarmaCake day106January 27, 2023View Original