avestura

Some names are problematic, like this one. Some others are lucky [1] (I know it's a joke)

[1] https://ifunny.co/picture/go-gle-most-popular-actor-in-video...

If you wanted to become a painter, would you use generative AI to make you a painting and then call yourself an artist? I wouldn't. Downloading mp3 files doesn't make anyone a musician.

That said, I don't see any problem with using AI to grasp ideas faster[1]. AI can help you create a personalized roadmap and resolve confusion along the way. But if one doesn't go hands-on and understand what the AI is doing, and only consumes the output, there is no learning in that.

[1] By 'faster,' I mean getting a response quickly (requires fact-checking, ofc) instead of spending hours on Stack Overflow.

More: https://www.gov.uk/cma-cases/cloud-services-market-investiga...

awesome lists are pretty common on GitHub

https://github.com/topics/awesome

That's true. However the website also promotes it as a systems programming language here and there. For example in the same homepage it says "Perfect for Systems Programming: Operating systems and IoT" and some other places like here: https://nature-lang.org/docs/get-started

Maybe I have a too strict definition of systems programming languages, but I would never call a GC language a systems programming language. Who would use an operating system that suddenly stops the entire world because some random language's runtime wants to collect its memory garbage?

That said, well done for making this.

Another hug of death. The website says "It must be upgraded via the Firebase console before it can begin serving traffic again."

Wayback machine for when it used to work: https://web.archive.org/web/20250317122419/https://benjamina...

Fun-shaming a passionate developer who, beyond their job description, delivered an editor that checks all the required boxes (small binary, fast, ssh-support, etc.) in just 4 months, while working on weekends and even Christmas, and calling it "wasting time" is incredibly upsetting. I'm grateful to work with people who value that kind of initiative.

It was very interesting to me that you liked Zig the most. Thank you for making this!

>for the reasons you say

That's not what I say, that's what the former PM Lead of WSL said. To be fair, Windows Services for UNIX was just Unix services for Windows. Probably the same logic applied there back then: they couldn't name it with a leading trademark (Unix), so they went with what was available.

Microsoft can't name a project leading with a trademark (Linux <something>), hence why it's called WSL.

Source: https://x.com/richturn_ms/status/1245481405947076610?s=19

Creating a Git commit using low-level commands was always something I wanted to do, but I never found the time to really deepen my knowledge of Git. I have actually googled if I could find a blog post or something in this topic, but I've failed to find one. Finally, I got the chance, and for the past couple of weekends, I’ve been reading the Pro Git book (which it seems it's the same content as git-scm.com/book). I believe it’s a good practice to write a blog post about a topic after finishing a book (teaching is a good way of submitting knowledge in memory). To my surprise, creating a Git commit using plumbing commands was already covered in the final chapters of the book. I thought it would be a good idea to simplify that process and write a blog post which can be read under 10 minutes, allowing those who haven’t read the book yet (like myself in the past) to get a basic understanding of what Git is doing under the hood.

> But why is nobody finding or reading the later chapters in the docs?

I think to read the latest chapter of a book, one usually needs to read the earlier ones too. I personally don't jump directly to the internals when I want to read about something, because I'd then assume I am missing a lot of context and background.

It was previously written in C# and F#: https://github.com/microsoft/qsharp-compiler

I think you missed the actual rhyme: "rest" and "best".

The syntax looks like a mixture of Haskell and F#

It's insane how Islamic Republic wants to speed up its downfall and start another popular uprising with things like this. The walls of Iranian cities are still full of "Woman Life Freedom" and "Death to Khamenei" slogans.

This is great! Well done.

Thanks!

I keep some of my scripts and cheat sheets here:

https://avestura.dev/snippets

This man is marvelous. Even though I know how top-notch he is at writing interactive blog posts, he surprises me with his quality every time I open his new blog posts. Bartosz is a huge inspiration for me.

The fact that "Child Sexual Abuse imagery" is the only use case your brain could think of for Steganography says a lot about you. I wish I could report and block you a thousand times.

Can you please elaborate on why you think it's toxic?

I think people are confusing this link with ASK HN

I learnt about ZKP recently from a friend. Thanks for writing this, it was an interesting read. Reading this makes me think ZKPs are somehow related to Property testing, isn't it? Because in property testing the goal is to probabilistically check proofs. Here in this article for example, the property of the answer is that it should have numbers 1 to 9 in every row, column, and box.

Nice