TwentyPosts

6 ms·

1.
by TwentyPosts 2y ago
The reality is that it's much easier to bring a lawsuit over damage done to shareholders (dropped stock value is measurable and easy to see, security fraud), than it is to bring a lawsuit over damage done to users (harm done to individ
2.
Solving LeetCode problems with Racket: I don't know what I expected(herecomesthemoon.net)
3 points by TwentyPosts 2y ago|1 comments
3.
by TwentyPosts 2y ago
Pretty sure this is generally called "Anarcho communism".
4.
by TwentyPosts 2y ago
All of this could've been prevented if Go just had two ways to compile. Debug and release. The go devs decided against this since they didn't want to build a highly optimizing (read: slow) compiler, but that is missing the point o
5.
by TwentyPosts 2y ago
> These new C4A instances are advertised as offering up to 50% better performance and up to 60% better energy efficiency than their current generation x86 instance types. Hardware (see also, Google's TPUs and their performance vs. e
6.
by TwentyPosts 2y ago
Is anyone surprised by this? Chris Lattner in high regard, sure, but I always expected them to have to quietly walk this one back. It just didn't seem feasible, for a lot of reasons. Of course, how feasible it sounded will depend on yo
7.
by TwentyPosts 2y ago
Do we really need more syntactic sugar? Frankly, I am still confused why Python is going for a separate syntax for if expressions instead of just making its regular ifs into expressions
8.
by TwentyPosts 2y ago
Zig is not even close to a 1.0 beta this year. Or even next year. For example, the async problem still exists and still has absolutely no viable path forward, or even MVP approach.
9.
by TwentyPosts 2y ago
Afaik specialisation (in full generality) would cause soundness issues, so it's not even just blocked by the trait solver, it's also blocked by figuring out a 'slimmed down' proposal that fixes those. And that's not
10.
by TwentyPosts 2y ago
I don't think civilians regularly carry military-grade pagers. And fwiw, I heard of two tragic cases of children dying, which sounds remarkably low to me so far. If this were truly indiscriminate, this number would be significantly hig
11.
by TwentyPosts 2y ago
Apart from the issue where this ignores how many people got injured (a much larger number), there's a very simple "survival bias" reason (ironically) why this argument doesn't work. Children (and potentially health worke
12.
by TwentyPosts 2y ago
Honestly struggling to comprehend how this one isn't neutral. As far as we know this was a supply-chain attack specifically on military pagers actively used by Hezbollah, and (right now) it looks like most injured are in fact Hezbollah
13.
by TwentyPosts 2y ago
This is semantically not the same as a sum type (as understood in the sense of Rust, which is afaik the academically accepted way)! Python's `A | B` is a union operation, but in Rust a sum type is always a disjoint union. In Python, if
14.
by TwentyPosts 2y ago
The original rust compiler was written in OCaml. That's not evidence it "had an influence", but it's highly striking considering how many other languages Greydon could've used.
15.
by TwentyPosts 2y ago
HOTA?
16.
by TwentyPosts 2y ago
You sound like you'd enjoy giving the Helix editor a try. It replaced neovim completely for me.
17.
by TwentyPosts 2y ago
So now you're writing two compilers. What did you actually gain from this, outside of more work?
18.
by TwentyPosts 2y ago
Have you read the article? > As async is already used as an identifier in C#, the team decided to use async2 as a codename for the experiment. If that thing ever makes it into the runtime, it will be called async - so it will be a replac
19.
by TwentyPosts 2y ago
How much of a background do your have in abstract algebra? I don't think category theory makes much sense or is very satisfying unless you can already list a bunch of categories you interact with regularly, and have results which can b
20.
by TwentyPosts 2y ago
The first time I looked at the syntax, it honestly looked like gibberish to me. It's probably simple, but the control flow just felt convoluted.
21.
by TwentyPosts 2y ago
Thank you
22.
by TwentyPosts 2y ago
I had some issues with this very early when I got mine, but I think this went away completely. I feel like this was a software issue, and is now fixed (well, at least part of it).
23.
by TwentyPosts 2y ago
I think the much rounder corners, as well as the round camera bulge look terrible. These were significantly better in the previous iterations.
24.
by TwentyPosts 2y ago
Which Pixel was that? I'm really happy with mine (7a)
25.
by TwentyPosts 2y ago
This like a bad idea on the first glance? Maybe I don't get the whole pitch here? It just doesn't seem worth it to define a whole new thing just to abstract over a format() function call. The laziness might be interesting, but I f
26.
by TwentyPosts 2y ago
One of the most powerful features of eg Helix is the ability to very smoothly and easily filter inside your existing selections, or to split them. I think the focus here is on "selections", as opposed to just "cursors".
27.
by TwentyPosts 2y ago
I believe it, I'm just surprised that I never thought of Apple as a big player here, and I'm wondering if this is an image problem on their side (rare, I know) or something else.
28.
by TwentyPosts 2y ago
Hmmm, these are kind of boring? I've seen colored comments a few times, embedding images is also possible in Dr Racket and on TempleOS I'm pretty sure. Where's all the fun stuff? Debugger features are neat, but outside of thi
29.
by TwentyPosts 2y ago
Wait, Apple releases papers? Do they have a name for their internal research division? When I think of companies doing AI research my mind generally jumps to Google DeepMind, I didn't know Apple releases any proper research papers at a
30.
by TwentyPosts 2y ago
I feel like a link to a 'pitch' or description of the Rhombus language would've been more insightful for most of us. Even being familiar with Racket, I don't know what Rhombus is.

More ›