j-pb

11 ms·

121.
by j-pb 2y ago
My sibling comment is explaining this correctly but maybe using a bit too much Rust jargon for the uninitiated. Put simply: How would two thread get access to the same account at the same time? There would be a point in time where the objec
122.
by j-pb 2y ago
It all boils down to forbidding this: let x = 5 do_something_with(x) do_something_with(x) // <- boom compiler error you simply cannot use the same variable twice, because you lost ownership of the value it stores on
123.
by j-pb 2y ago
This wasn't meant as a jab at Clojure (or Jank for that matter). That language and its ecosystem has heavily shaped and influenced me early on in my career to the point where I'm essentially writing Datascript in Rust ( https:&#x2
124.
by j-pb 2y ago
I gave a long-ish answer to a sibling comment, that maybe sheds some light on that question, but I'll try to also give a concrete example where ownership complements immutability. (You best read that response first before continuing he
125.
by j-pb 2y ago
It's not a comparison to bash non-ownership as "very wrong", but arguing that lexical scope and ownership are literally the equivalent things. Lexical scope allows you to reason about scope on a syntactical level. Take this c
126.
by j-pb 2y ago
As an ex-clojure dev that picked up Rust, I have no interest in this as long as it doesn't have ownership. Once you used lexical scoping, you're not going back to dynamic scope either, the same goes for the ability to reason about
127.
by j-pb 2y ago
You can run Models up to 128GB on a MacBook Pro Max. So we're already at a point where you can run all but the biggest frontier models on consumer hardware.
128.
by j-pb 2y ago
Reminds me of: https://en.m.wikipedia.org/wiki/I_Have_No_Mouth,_and_I_Must_... AI overloard controls your every existence until you are killed.
129.
by j-pb 2y ago
Tbh while and after watching the video, I wasn't sure if the whole thing isn't just a parody of AI companies.
130.
by j-pb 2y ago
See my initial: > C++ is making a deal with the devil in exchange for speed.
131.
by j-pb 2y ago
I write most of my stuff in a combination of Python, JS/TS and Rust these days with some form of Interop between them. I.e. mostly Python Marimo notebook with JS visualisations, and PyO3 Rust bindings. Tbh I don't find myself to b
132.
by j-pb 2y ago
Nope. C++ has mostly downsides, Rust has significant upsides. A good rule of thumb would be: is correctness and code confidence more important than learning curve and compile times? If so Rust, otherwise JS or Python (with possibly parts in
133.
by j-pb 2y ago
That's a horrible rule of thumb, because C++ adds a ton of complexity with little reward except for speed. Rust adds less complexity (still a lot ofc), but it also gives you awesome tooling and dependency management (much better than p
134.
by j-pb 2y ago
Reading this gave me a weird idea. What if SQL is so successful exactly because its syntax makes JOIN operations cumbersome. Other languages where joins are syntactically convenient (e.g. datalog) make it much easier to write slow queries,
135.
by j-pb 2y ago
Exactly! Serde is good enough that few people look for alternative ways of doing things (i.e. zerocopy), and the network effect incentivizes just integrating with it, to be compatible with all the other crates. At the same time (but orthogo
136.
by j-pb 2y ago
That's not how network effects work.
137.
by j-pb 2y ago
> Sure, that's a fine opinion to have, but you were challenging my "people use serde" assertion. That wasn't my intention at all. I was challenging the narrative that serde has been one of the best things that happen
138.
by j-pb 2y ago
It might be that I'm shooting the messenger here, and that he was just the one that closed the issue. But my point, is that his crates (and thus he) hold too much power, even if there had been 0 incidents. That's not his failure p
139.
by j-pb 2y ago
> 375M downloads don’t lie. That de-facto standartisation (and resulting monopoly due to the network effect) is exactly why serde should either be part of std or be replaced with a more heterogeneous ecosystem. You conveniently ignore th
140.
by j-pb 2y ago
> Serde ... is often credited as a reason people reach for Rust. I've heard this narrative a lot, but I'd challenge it. I tend to actively disable serde feature flags and don't use libraries with mandatory serde dependenci
141.
by j-pb 2y ago
> if a skiplist is a probabilistic alternative to a B+-tree, what's HNSW a probabilistic alternative to? I don't think that analogy is accurate. A prolly tree could also be considered a probabilistic version of a b-tree and a s
142.
by j-pb 2y ago
The internet was a simpler time back then, I bet very few younger devs even know zombo.com
143.
by j-pb 2y ago
You need to provide tools that abstract this away for users, like any good software, but passkeys are exactly that technology at work and currently gaining widespread adoption. If my mom gets a better user experience from passkeys than from
144.
by j-pb 2y ago
I disagree. You don't need organisations that assign hierarchical unique identifiers in the form of DOIs if you just identify papers based on their hash. You don't need publishers to verify identity via centrally assigned ORCIDs i
145.
by j-pb 2y ago
While I welcome any efford towards open science, it's extremely frustrating that most of these effords are done by people with very little technical merit. At best it's librarians with very little compsci background, at worst it&#
146.
by j-pb 2y ago
It looks complicated but if you think about it as a series of property descriptions it becomes much easier. I'm gonna make it worse first by substituting the `BoxFuture` type alias with its definition but that makes it easier to explai
147.
by j-pb 2y ago
Not sure what you mean. I'm talking about the "relaxed" P' being defined via the power set of S. 2^S= {s | s ⊆ S} Now if all your P is only a mapping then P'(S) = {<s, P(s)> | s ∈ S} but then your "coordi
148.
by j-pb 2y ago
Remarkable is very open source friendly and you can ssh into it from the get go. I'm really looking forward to installing Zed on this thing!
149.
by j-pb 2y ago
This boils down to materalizing every possible nondeterministic outcome. I wouldn't call anything that involves a power set with 2^n space complexity "relaxed" tbh ^^'. While I do agree with the general sentiment, I do s
150.
by j-pb 2y ago
Idempotence allows you to build systems that in their internal world model allow for exactly once delivery of non-idempotent messages over an at least once medium. Exactly-once delivery semantics doesn't equal exactly-once physical mes

More ›