tines

14 ms·

151.
by tines 1y ago
The other day I was waiting in the lobby of a massage therapy place, and some older guy was checking in with the front desk. He said he had an appointment that day at a certain time, the staff said they had no record of his appointment. He
152.
by tines 1y ago
More like, because it's pleasurable enough that people will accept it as a substitute for the real. Delusional people are marrying their AIs, for example.
153.
by tines 1y ago
This sums up my feelings exactly. The future is going to be so much more boring than the past, as we (society at large) dislocate our Understanding to LLMs. Without Understanding, there will be no Beauty, only Pleasure.
154.
by tines 1y ago
I would assume the argument is that you only need to provide the braindump and extensive information one time (or at least, collect it once, if not upload once) and then you can take your bed of ease as the LLM uses that for many tasks.
155.
by tines 1y ago
The article understands this.
156.
by tines 1y ago
Oh, I see. The article is saying that async is required. I thought it was saying that parallelism is required. The way it's written makes it seem like there's a problem with the code sample, not that the code sample is correct.
157.
by tines 1y ago
Can you explain more instead of linking a paper? I felt like the definitions were alright. > Asynchrony: the possibility for tasks to run out of order and still be correct. > Concurrency: the ability of a system to progress multiple t
158.
by tines 1y ago
Nominal typing is the opposite, I think you're thinking of structural typing, no?
159.
by tines 1y ago
I'm not a Go expert but that's exactly what interfaces are, aren't they? In Go a struct automatically implements an interface if it contains all the required fields (duck-typing).
160.
by tines 1y ago
> giving them the object code to relink it wasn’t enough for them (which would satisfy the spirit of LGPL) So they can take a hike?
161.
by tines 1y ago
I think Go interfaces are row-polymorphic aren't they? I'm also wondering what the difference between row-polymorphism and ad-hoc polymorphism (a la C++ templates) is.
162.
by tines 1y ago
I agree, but that doesn't have to be true for investors to be salivating, is my point.
163.
by tines 1y ago
Not sure I quite get the point of the article. Sure, you won't capture $100k/year/dev. But if you capture $2k/year/dev, and you replace every dev in the world... that's the goal right?
164.
by tines 1y ago
Cue the "you're doing it wrong" crowd.
165.
by tines 1y ago
To be fair, the formal document isn't for language users, it's for compiler implementors. Rust doesn't have a formal document for other reasons, mainly that there is one main Rust compiler, as opposed to C or C++ where there
166.
by tines 1y ago
The question was mainly meant to elicit examples for Rust (I asked about C++ just to get a baseline of what the original commenter thinks "overengineered" means), but nobody seems to have any for Rust :)
167.
by tines 1y ago
No, I don’t think I will. Enough of this “you will own nothing and you will be happy” crap. It’s my damn computer, I want control.
168.
by tines 1y ago
Yep I feel you. Thanks!
169.
by tines 1y ago
Can you give some examples of Rust and C++ design that are over engineered?
170.
by tines 1y ago
> Wow, a lot of stuff in here surprises me. C definitely can/does have spooky at a distance. Just share a pointer to a resource with something else and enjoy the spooky modifications. Changes are local as long as you program that wa
171.
by tines 1y ago
How tied to the Mac ecosystem is Swift these days? Also, how is its type system and metaprogramming? Does it have type polymorphism, typeclasses, macros, etc?
172.
by tines 1y ago
The two are incomparable in both quality and quantity. The complexity of Rust comes from the fact that it's solving complex problems. The complexity of C++ comes from a poorly thought out design and backwards-compatibility. (Not to sli
173.
by tines 1y ago
Very cool, I wish the author good luck! I've been writing a compiler in Rust for a few months now and I absolutely love it. The ways it solves most of the problems it addresses feel like the "right" way to do things. There ar
174.
by tines 1y ago
I had this exact thought the other day. Social media is information porn. Endless amounts of empty information that gives you the feeling of acquiring knowledge, with none of the substance.
175.
by tines 1y ago
Difference being the CEOs of Google and Microsoft didn't do a Nazi salute before their bots started extolling the virtues of Hitler's ideology. Every damn time.
176.
by tines 1y ago
And become the perfect puppet for the ruling class! 1984's got nothing on us.
177.
by tines 1y ago
I have a foreboding of an America in my children's or grandchildren's time -- when the United States is a service and information economy; when nearly all the manufacturing industries have slipped away to other countries; when awe
178.
by tines 1y ago
The difference is that LLMs are not like any other tool. Reasoning by analogy doesn't work when things are sufficiently in-analogous. For example, people try to compare this LLM tech with the automation of the car manufacturing industr
179.
by tines 1y ago
Yep. Look around you. The bomb leveled a city; Facebook killed a country. We are but the walking dead.
180.
by tines 1y ago
Interesting how ChatGPT’s style of writing has made people start bolding so much text.

More ›