zesterer

7 ms·

31.
by zesterer 1y ago
Yes, exactly. The point is to make a toy that proves the concept and gives you insight into the overall design, not to build something with polish!
32.
by zesterer 1y ago
Accidentally clicking on anything resulting in accidental local deletions and modifications to the article is extremely irksome. Skill issue, I guess?
33.
by zesterer 2y ago
> Why is a launcher required? Because Veloren's update cadence for most servers is substantially more frequent than most package repositories are willing to handle (trust us, we've tried!). You can install the game without the
34.
by zesterer 2y ago
Every new programming language is just Rust but worse and it hurts me
35.
by zesterer 2y ago
I don't know, something tells me that lawmaking-by-git is somehow less accessible to the 'regular citizen'.
36.
by zesterer 2y ago
I've never understood the hate for variable shadowing. Maybe it's because I mostly use Rust, but I've always found it a useful boon for readability. You often want to extract/parse/wrap/package some value withi
37.
by zesterer 2y ago
Weird problems with physics were everywhere before Einstein. Maxwell comes painfully close to discovering GR in some of his musings on black body radiation. Noticing that there was a problem was not the breakthrough: trying something biza
38.
by zesterer 2y ago
The whole point of this post is that the things AI isn't good at and has never been good at will be the limit to otherwise-exponential growth.
39.
by zesterer 2y ago
I think that's a retcon. Rust people did not "decide that leaking is safe" all of a sudden, that's cart-before-horse. Rust's memory model was still in its early stages back then and there was a belief (in hindsight,
40.
by zesterer 2y ago
Decentralisation is a socio-political solution, not a technical solution. It directly addresses the problem of media ownership and proliferation.
41.
by zesterer 2y ago
> Interesting blog post No, no it's not. There is nothing redeeming to be found here, it's nonsense. It's historially ignorant trad-pilled vibes about the past combined with bizarre techbro mumbo jumbo about the future. Ne
42.
by zesterer 2y ago
There are likely several > earth-mass objects in our solar system that are as-yet uncatalogued, and almost certainly many hundreds of dwarf planet-mass objects too. Granted, they are further out, but their influence is almost undetectabl
43.
by zesterer 2y ago
I'm struggling to see how you can be so calm about what you just said. To me, the idea of a system that works 99% of the time and doesn't work 1% of the time is utterly terrifying, far more so than a system that works only 50% of
44.
by zesterer 2y ago
The problem with this is that pollster doesn't, by itself, provide a signalling mechanism by which bottom-level futures (such as OS-provided IO primitives) can signal the executor. It isn't a "light-weight replacement" f
45.
by zesterer 2y ago
Ah, that explains why 5,000 years ago the average life expectancy was just over 6 months.
46.
by zesterer 2y ago
It's no accident that Rust's bootstrap compiler was written in OCaml. Rust borrows a lot of ideas from it. Arguably, OCaml and ML are closer ancestors of the language than C. I like Rust, I use it as much as I can. But, it actuall
47.
by zesterer 2y ago
That's... simply not true. Pointer arithmetic is not, in general, safe. Example: https://doc.rust-lang.org/std/primitive.pointer.html#method....
48.
by zesterer 3y ago
It's still going strong! We just released 0.15. It's still in pre-alpha, but the map is much less sparse nowadays and there's a lot more to do!
49.
by zesterer 3y ago
Founder & core dev here. Our target audience is just as much potential contributors as it is actual players. Mentioning Rust is very deliberate: it pulls in a lot of motivated developers, both those trying to learn the language and th
50.
by zesterer 4y ago
Chumsky still has trouble with left recursion, like many PEG parsers, but it's fairly easy to rewrite such grammars without left recursion as demonstrated in the tutorial: https://github.com/zesterer/chumsky/b
51.
by zesterer 4y ago
I think my other answer here should provide an answer: https://news.ycombinator.com/item?id=31989227
52.
by zesterer 4y ago
Thanks!
53.
by zesterer 4y ago
> does numerical destructing require that one of the terms be a constant? Yes, the general pattern is `n + K`. I'm looking to expanding this to other operations in the future too. > Did you mean arg -> f ? Yes. I changed the s
54.
by zesterer 4y ago
Ah, I see what you mean. Yes, effects are always a set in terms of the final monomorphised type. This is an interesting case though, so I'll look into it further and see whether I can come up with sensible, unsurprising semantics. Than
55.
by zesterer 4y ago
Tao's effects are nominally typed, so there's no way to accidentally mix them up in the way I assume you're describing. For example: # Define a new effect that yields to the caller effect yield A = A => () #
56.
by zesterer 4y ago
> Does your flavor of algebraic effects allow distinct effects of the same type Could you give an example of what you mean by this? Multiple effects can be combined together (although I'm still working on handlers for multiple effec
57.
by zesterer 4y ago
Yep, this is the case: the type-checker allows arbitrary computation to occur at compilation time. You can see some of that here, where I've implemented peano arithmetic/addition/multiplication/branching using the type s
58.
by zesterer 4y ago
The code is a bit of a gimmick, not really the sort of thing you'd have in a real program. It's just there to demonstrate that the compiler doesn't need explicitly telling which typeclasses associated types correspond to. Tha
59.
by zesterer 4y ago
Tao has typeclasses (like Haskell) that allow for compositional parameteric polymorphism. It also has data types (records, sum types, etc.) and functions, but deliberately does not bundle the two together. There is no module system yet (onl
60.
by zesterer 4y ago
There wasn't really any single resource I read. Frustratingly, I find it quite difficult to read research papers (I'm told it's a skill acquired with practice, but it's something I've never gotten into). Most of the

More ›