ifreund

10 ms·

1.
How Austral’s Linear Type Checker Works(borretti.me)
2 points by ifreund 4y ago|0 comments
2.
by ifreund 4y ago
(plz read the article, pkgconf is discussed)
3.
by ifreund 4y ago
Maybe try opening the PDF instead of the PNG, the PNG images of text look off to me as well but the font rendering in the PDF looks fine.
4.
by ifreund 4y ago
comptime is absolutely the biggest difference, in Zig you'll find high quality, performant generic hash map implementations in the standard library. In hare there are no generics and you are encouraged to write your own hash maps as ne
5.
by ifreund 5y ago
For example: zig cc -target x86_64-linux-gnu.2.28
6.
by ifreund 5y ago
> it actually builds a stub program and runs it in qemu for your target arch That's not at all how the implementation works, the zig compiler does not depend on qemu. The comptime evaluation works much more like evaluating an interp
7.
by ifreund 5y ago
From that spamhaus link .xyz has a lower bad percentage (4.4%) than .com (5.1%) and .net (10.5%).
8.
by ifreund 5y ago
> Andrew: In release fast mode, which is unsafe, you will get actual undefined behavior. So, you might crash or you might get overflow. You might go down to zero or you might run an unrelated function. Are you perhaps confusing this with
9.
by ifreund 5y ago
This comment is a perfect example of what Andrew was talking about here: > Andrew: It’s funny how it just kind of changes course as the language gets taken more and more seriously. And now, all the comments are even starting to shift to
10.
by ifreund 5y ago
This person has been for many months now: https://www.youtube.com/watch?v=124wdTckHNY We hope to be using TigerBeetle which is written in zig in production in 2022: https://github.com/coilhq/tigerbeetle
11.
by ifreund 5y ago
The fact that the author was able to find success with Zig so quickly speaks not only to the author's abilities but to the simplicity of Zig. Learning enough C++ or Rust to be productive in the same amount of time would be a much great
12.
by ifreund 5y ago
zig's standard library `std.fmt` functions support named arguments as well: var tuple_params = html.create("{[foo]} ... {[bar]} ... {[observable]}", .{ .foo = a, .bar = b+c, .observable = observable, });
13.
by ifreund 5y ago
This is due to zig enabling clangs UBSAN by default in unoptimized builds. This can be disabled with `-fno-sanitize=undefined` or by enabling optimizations with `-O2` or `-O3`. https://github.com/ziglang/zig/issues
14.
by ifreund 6y ago
The zig standard library also has a ComptimeStringMap type for this use case which is used by the self hosted tokenizer for example. https://github.com/ziglang/zig/blob/master/lib/std/comptime_.
15.
by ifreund 6y ago
The implementation of the pinned keyword proposed here should fix most if not all @fieldParentPtr() footguns https://github.com/ziglang/zig/issues/7769
16.
The First Zig Website Redesign(kristoff.it)
2 points by ifreund 6y ago|0 comments
17.
by ifreund 6y ago
Compile times of the stage1 zig compiler may seem fast compared to e.g. rust or C++ but they are slow compared to what the WIP stage2 compiler can do :)
18.
by ifreund 6y ago
You're totally right that at least 90% of the infrastructure is there. Andrew's been threatening to implement hot code swapping in a live stream but has been busy with other tasks it seems.
19.
by ifreund 6y ago
It already does, dynamic linking is orthogonal to @import() semantics.
20.
by ifreund 6y ago
Incremental debug builds will of course not be reproducible. Release builds will be.
21.
by ifreund 6y ago
Why nest them? Wayland already has multi-seat.
22.
by ifreund 6y ago
Here's one example: https://github.com/ziglang/zig/pull/2701
23.
by ifreund 6y ago
No, this is to make the transition from a one-man show into a sustainable organization.
24.
by ifreund 6y ago
That's true, though systems programming is in practice dominated by the C ABI (great post on that here by the way https://drewdevault.com/2020/03/03/Abiopause.html ). Zig does something quite special that
25.
by ifreund 6y ago
Afaik the only drawback is that this functionality is very new and still has some open issues (linked at the end of the post). As stated there are no dependencies for Zig and it is shipped in relatively small tarballs which can be downloade
26.
by ifreund 6y ago
Aye, and it lives up to that claim as well in my opinion, despite being still relatively young and pre-1.0. My favorite thing about Zig is that it has managed to stay simple and solve many of the problems of C without resorting to greatly i