josh11b

8 ms·

1.
by josh11b 5mo ago
> This newsletter does not contain ads, ... It most definitely contains ads since it is about ads.
2.
by josh11b 10mo ago
I think it has to be parallel by symmetry.
3.
by josh11b 1y ago
Array iteration got checked into the prelude so this is now shorter: https://godbolt.org/z/YYheo19ea
4.
by josh11b 1y ago
Carbon is performance-first, so ABI instability is the default. We plan to have opt-in ABI stability, but that story is not well developed yet. Replacing C as the lingua franca is not a goal, at least not yet.
5.
by josh11b 1y ago
That is correct. Strings and I/O both have a bunch of work to be done. Printing currently requires workarounds like https://godbolt.org/z/MP4164f7s
6.
by josh11b 1y ago
The nightly release of the Carbon compiler can be used via https://carbon.compiler-explorer.com/ . Note that it is definitely a work in progress, it hasn't even reached our v0.1 goals yet, but a good chunk of important
7.
by josh11b 1y ago
https://learning-rust.github.io/docs/lifetimes/ > Lifetime annotations are checked at compile-time. ... This is the major reason for slower compilation times in Rust. This misconception is being perpetuated by
8.
by josh11b 2y ago
10^12 < 256^5 ≈ 1.1e+12, which isn't too bad. You could also use 10^118 < 256^49, which wastes less but is in bignum land. But don't you want 10^x to be slightly bigger than 256^y, so you could represent all length-y byte se
9.
by josh11b 2y ago
That is what I was thinking of too! From 2014: https://www.destroyallsoftware.com/talks/the-birth-and-death... .
10.
by josh11b 2y ago
(Carbon lang dev here.) Carbon is intended to be memory safe! (Not sure whether you intended to write a double negative there.) There are a few reasons that might not be clear: * Carbon has relatively few people working on it. We currently
11.
by josh11b 2y ago
https://caseyhandmer.wordpress.com/2019/08/20/space-based-so...
12.
by josh11b 2y ago
[Carbon team member here.] Carbon is still a small team, so it is going to take time to achieve all of our goals. Carbon will need to demonstrate both C++ interop and memory safety to be considered a successful experiment, worth pushing to
13.
by josh11b 2y ago
(2019)
14.
by josh11b 4y ago
[1] on structured concurrency gives good context for Dijkstra's GOTO paper and how it is applicable today. [1] https://vorpus.org/blog/notes-on-structured-concurrency-or-g...
15.
by josh11b 4y ago
https://caseyhandmer.wordpress.com/2019/08/20/space-based-so...
16.
by josh11b 4y ago
There is no place on the moon that isn't in shadow 14 days at a time. https://caseyhandmer.wordpress.com/2022/07/03/powering-the-l...
17.
by josh11b 5y ago
I don't think Rust polymorphism is decidable: https://sdleffler.github.io/RustTypeSystemTuringComplete/
18.
by josh11b 5y ago
I suspect this is a follow-up to this recent article: https://news.ycombinator.com/item?id=28017204
19.
by josh11b 6y ago
Robinhood's app has a 1.2 star rating at the moment. https://play.google.com/store/apps/details?id=com.robinhood....
20.
by josh11b 6y ago
I know the author, if you have any questions.
21.
by josh11b 9y ago
I'm on the team that worked on this -- happy to answer questions!
22.
by josh11b 10y ago
In fact, the typical way to visualize word2vec embeddings is t-SNE.