HN user

AndyKelley

10,989 karma

https://andrewkelley.me/

Posts94
Comments1,456
View on HN
gamesbymason.com 6mo ago

Prediction: Microsoft will eventually ship a Windows-themed Linux distro

AndyKelley
197pts262
web.archive.org 6mo ago

Profession by Isaac Asimov (1957)

AndyKelley
4pts1
validark.dev 1y ago

Deus Lex Machina

AndyKelley
2pts0
gamesbymason.com 1y ago

ZCS – An Entity Component System in Zig

AndyKelley
6pts3
kristoff.it 1y ago

The Python Package Index Should Get Rid of Its Training Wheels

AndyKelley
92pts103
github.com 2y ago

Terminal Doom

AndyKelley
6pts0
mitchellh.com 2y ago

Ghostty Devlog 004

AndyKelley
5pts2
mitchellh.com 2y ago

Ghostty Devlog 003 – Mitchell Hashimoto

AndyKelley
4pts0
github.com 4y ago

Show HN: A 166 KB file for cross compiling glibc for any version, any target

AndyKelley
171pts32
medium.com 5y ago

Harfbuzz creator seems to be in political emergency, needs help ASAP

AndyKelley
10pts1
kristoff.it 6y ago

The Upcoming Future of Online Meetups

AndyKelley
1pts0
lists.llvm.org 6y ago

LLVM 9.0

AndyKelley
307pts107
www.recurse.com 7y ago

Making Recurse Center 50% Women

AndyKelley
1pts0
ziglang.org 7y ago

The Zig Programming Language

AndyKelley
142pts59
ziglang.org 7y ago

New Zig Homepage

AndyKelley
4pts0
ziglang.org 7y ago

Zig 0.4.0 Released

AndyKelley
277pts138
sjdh.us 7y ago

Continuing with Zig for ARM Development

AndyKelley
2pts0
github.com 7y ago

GitHub gains syntax highlighting support for Zig

AndyKelley
2pts0
volt.ws 7y ago

About V, the language Volt is written in

AndyKelley
570pts342
github.com 7y ago

This GitHub URL makes it look like Linux has a rootkit committed to it

AndyKelley
4pts4
ziglang.org 7y ago

Zig 0.3.0 Released

AndyKelley
155pts45
andrewkelley.me 7y ago

String Matching Based on Compile Time Perfect Hashing in Zig

AndyKelley
5pts0
templeos.org 7y ago

Creator of Temple OS, Terry Davis, Has Passed Away

AndyKelley
6pts1
andrewkelley.me 8y ago

I Quit My Job to Live on Donations to Zig

AndyKelley
399pts236
tiehuis.github.io 8y ago

Big Integers in Zig

AndyKelley
72pts11
www.recurse.com 8y ago

Zig – a programming language designed for robustness, optimality, and clarity

AndyKelley
9pts0
blog.jfo.click 8y ago

How Zig Do?

AndyKelley
3pts0
blog.jfo.click 8y ago

How Zig Do?

AndyKelley
4pts0
chriswarbo.net 8y ago

Free Elves

AndyKelley
1pts0
andrewkelley.me 8y ago

Zig: December 2017 in Review

AndyKelley
3pts0

Now you've misquoted me. Actual quote[1] is: "This appears to be an outright fabrication."

To quote yourself[2], "The honest thing to do is acknowledge that you were mistaken and apologize for the false accusation."

Are you going to do that for me now?

I don't expect you to, because I don't think you are being dishonest. I think you are earnestly trying to untangle the facts from two parties for whom you have no bias one way or the other, which is commendable.

Like you, I am an individual attempting to paint an accurate picture of reality for my readers.

Anthropic, on the other hand, is not an individual nor trying to be accurate. They are doing exactly as they are supposed to: maximizing value for shareholders. To do this, they need to make this rewrite appear successful, so they need to retcon this idea that they were doing good engineering practices in their zig codebase the whole time, including fuzzing, even though that is not the case.

[1] https://github.com/andrewrk/andrewkelley.me/blob/c39f868e578...

[2] https://mastodon.social/@michael@m.mtlynch.io/11689618811296...

1. he's not a billionaire in large part due to giving away large amounts of wealth

2. would you rather allow a small number of people 10x more wealthy than Mitchell dictate our laws and culture, or would you prefer a more democratic approach?

If you decide to try this, feel free to share your progress and struggles on IRC, ziggit, or ZSF zulip. Plenty of people would be interested in helping out.

Good luck and happy hacking!

my implication is that you are projecting - believing that because something is true for you, it is therefore true for other people.

zsf team is perfectly capable of implementing compiler optimizations.

First I was naive to believe I could make a new programming language, then I was naive to believe it would be anything but a toy project, then I was naive to believe that we could make our own backends for debug mode, now I'm naive to believe that we can add optimizations to the pipeline. It's getting old. Just because you lack the creativity, willpower, and work ethic to accomplish something, doesn't mean I do.

You know, I used to be annoyed by all your consistently shitty remarks in any zig related HN thread, but these days, it's refreshing to have an unpleasant interaction with a human.

Sincerely, thanks for all your hand-written hatred.

I used Node.js extensively for about a decade, both professionally and as a hobby. I don't buy the problem statement.

These arguments don't even make sense, they look LLM generated. I can't even formulate a disagreement against this nonsense.

Originally, Zig's type system was less disciplined in terms of the "zero" type (also known as "noreturn").

This was proposed, discussed, and accepted here: https://github.com/ziglang/zig/issues/3257

Later, Matthew Lugg made a follow-up proposal, which was discussed both publicly and in ZSF core team meetings. https://github.com/ziglang/zig/issues/15909

He writes:

A (fairly uncontroversial) subset of this behavior was implemented in [the changeset we are discussing]. I'll close this for now, though I'll probably end up revisiting these semantics more precisely at some point, in which case I'll open a new issue on Codeberg.

I don't know how evident this is to the casual HN reader, but to me this changeset very obviously moves Zig the language from experimental territory a large degree towards being formally specified, because it makes type resolution a Directed Acyclic Graph. Just look at how many bugs it resolved to get a feel for it. This changeset alone will make the next release of the compiler significantly more robust.

Now, I like talking about its design and development, but all that being said, Zig project does not aim for full transparency. It says right there in the README:

Zig is Free and Open Source Software. We welcome bug reports and patches from everyone. However, keep in mind that Zig governance is BDFN (Benevolent Dictator For Now) which means that Andrew Kelley has final say on the design and implementation of everything.

It's up to you to decide whether the language and project are in trustworthy hands. I can tell you this much: we (the dev team) have a strong vision and we care deeply about the project, both to fulfill our own dreams as well as those of our esteemed users whom we serve[1]. Furthermore, as a 501(c)(3) non-profit we have no motive to enshittify.

[1] https://ziglang.org/documentation/master/#Zen

It's been incredible working with Matthew. I hope I can have the pleasure to continue to call him my colleague for many years to come.

bitpacked structs, good enums, arbitrary sized integers, optionals + non-nullable pointers, fast compiler, zig fmt, unit testing, ability to use standard library and the rest of the third-party ecosystem on freestanding, std.ArrayList, std.AutoArrayHashMap, std.MultiArrayList, std.crypto, more productive type system, comptime, SIMD, slices, labeled switch continue, error handling, custom panic handler, stack traces on freestanding, error return traces, zero bit types, the build system, package management, aligned pointers, untagged union safety, multi-object for loops, inline switch cases, semantically guaranteed inline functions, inline loops

In Zig, error codes are fundamentally a control flow construct, not a reporting mechanism.

The pattern here is to return something like error.Diagnostics for all errors that have been reported via diagnostics.

The only reason you'd have a different error code would be if the control flow should be different. For example error.OutOfMemory makes sense to be separate because it's a retryable error, which means it should be handled by different control flow.

Zig Libc 6 months ago

I've always admired your work, Walter. Keep it up!

Zig Libc 6 months ago

This affects static libc only. If you pass -dynamic -lc then the libc functions are provided by the target system. Some systems only support dynamic libc, such as macOS. I think OpenBSD actually does support static libc though.

Zig Libc 6 months ago

This use case is unchanged.

If you specify -target x86_64-windows-gnu -lc then some libc functions are provided by Zig, some are provided by vendored mingw-w64 C files, and you don't need mingw-w64 installed separately; Zig provides everything.

You can still pass --libc libc.txt to link against an externally provided libc, such as a separate mingw-w64 installation you have lying around, or even your own libc installation if you want to mess around with that.

Both situations unchanged.

Zig Libc 6 months ago

hallucinations in a libc implementation would be especially bad

Zig Libc 6 months ago

The Department of Homeland Security was created in 2003. We didn't need it then and we don't need it now.

Why waste tax dollars on ineffective, privacy-violating security theater when we could spend it on education and health?