creata

10 ms·

121.
by creata 11mo ago
> at least it is largely passed us now What does this mean? There doesn't seem to be a popular alternative to C++ yet, unfortunately.
122.
by creata 11mo ago
I assume that whatever pron had in mind would apply equally to Rust, and this does not.
123.
by creata 11mo ago
Consider that Python + C++ has proved to be a very strong combo: driver in Python, heavy lifting in C++. It's possible that something similar might be the right path for metaprogramming. Rust's generics are simple and weaker than
124.
by creata 11mo ago
> hence its "zero-cost abstractions", made to give the illusion of a high-level language without its actual high-level abstraction What does this mean? For example (you can pick another example if you want), how is C++'s s
125.
by creata 11mo ago
> Type inference has left academy and proliferated into mainstream languages for so many years that I almost forgot that it's a worth mentioning feature. I'm not even sure I'd call this type inference (other people definit
126.
by creata 11mo ago
But the isolation is what necessitates (or at least encourages) a design that requires more communication, isn't it?
127.
by creata 11mo ago
Elm is pure-functional, unlike OCaml, which has easy escape hatches (refs) when you need mutability.
128.
by creata 11mo ago
Off-topic: What language would you say is the closest thing to "Rust with a GC"? (Rust has refcounting, but it's slow, and needing to handle cycles manually limits its usefulness.)
129.
by creata 11mo ago
> whenever you need speed, you end up using NIFs that break BEAM safety guarantees, and reintroduce the exact fragility Elixir was supposed to avoid. That's like complaining that unsafe{} breaks Rust's safety guarantees. It&#x2
130.
by creata 11mo ago
> Because plenty of people have been shipping great projects in Ocaml What applications are written in OCaml? All I can think of (which says more about me than it does about OCaml) is the original Rust compiler. Even Haskell has Pandoc a
131.
by creata 11mo ago
I'm not talking about that stuff. I'm talking about simpler things like people earning enough money to live on their own.
132.
by creata 11mo ago
I didn't read a linear algebra textbook; I studied pure math at university.
133.
by creata 11mo ago
> That's argument from authority, but then: Strang is an authority. Yes, it's an argument from authority. > The typical push-pull on a message board is between Strang and Axler We're not playing Pokemon with linear alge
134.
by creata 11mo ago
> that logic also suggests Strang's explanation is defective I haven't read Strang's book, so I can't comment on that. But yeah, if it never mentions the formula ||a||·||b||·cos(θ) or at least talks about how the dot
135.
by creata 11mo ago
> It's wild seeing people say "if you really want to understand this topic, pick up Axler" I agree. I don't think "Linear Algebra Done Right" is a good fit for most people. It's way too dry, and I don&#
136.
by creata 11mo ago
I didn't say it was a necessary condition, I'm saying that those are the typical ways in which social media sites are designed to be addictive, and this site lacks all of them, so I'm wondering how it can be said to be intent
137.
by creata 11mo ago
I considered it, but honestly, social media just tends to have that effect on many people. I don't think humans were built to have this much awareness of how everyone's life is going.
138.
by creata 11mo ago
But at the very least, surely a dot product explainer should talk about the two main ways of looking at a dot product! This article leaves out the "angle and norms" (||a||·||b||·cos(θ)) interpretation entirely. It's like if s
139.
by creata 11mo ago
Out of curiosity, why?
140.
by creata 11mo ago
> its intentionally addictive algorithm It's a single list that everyone sees. No personalization, meaningful customization, recommendations, or notifications. I'm not sure how it can be considered "intentionally addictive
141.
by creata 11mo ago
The problem for me with social media is that it triggers intense envy. People are constantly talking about their lives, and everyone's doing well but me. This website doesn't have as much of that. It has a much larger focus on con
142.
by creata 11mo ago
It may or may not be as fast, but MathJax has broader support for LaTeX features, better accessibility features, and has slightly better typography in my very subjective opinion, and that's more important to me than a bit of rendering
143.
by creata 11mo ago
As other commenters have said, this doesn't need dependent types. Rust's const generics / C++'s non-type template parameters are enough. Even in languages with dependent types, people tend to find it overly cumbersome to
144.
by creata 11mo ago
[This comment was responded to by the author in an addendum to their post.]
145.
by creata 1y ago
Maybe it's the best compromise, but there's something sad about Apple essentially making an entire second set of apps because they couldn't make the main ones accessible enough. It's like siloing people off into their ow
146.
by creata 1y ago
> And look at the vocaloid stuff too. What about the vocaloid stuff?
147.
by creata 1y ago
I might be projecting, but I think most users of ChatGPT are less interested in "being a 10x human", and more interested in having a facsimile of human connection without any of the attendant vulnerability.
148.
by creata 1y ago
> For why they can't stand up to this. How have you been standing up to "this"? How do you expect others to stand up?
149.
by creata 1y ago
Reminds me of dazzle camouflage. https://en.wikipedia.org/wiki/Dazzle_camouflage
150.
by creata 1y ago
Fun! I always wanted to make text that couldn't be recorded with a video recorder, but that doesn't seem possible. Maybe if you knew the exact framerate that the camera was recording at, you could do the same trick, but I don&#x

More ›