- 160 points
- vzaliva parentI've tried it on my project and it always finds one file: package.json. What languages it support? Only javascript?
- What a fantastic and timely post! Especially coming from i3 maintainer! Michael did such diligent analasys and saved me (and hopefully others) a lot of time. I was considering trying Wayland/sway and this post answered all my questions and showed me that it is not ready, at least for me, yet.
- There are many arguable points in this blog post, but I want to highlight just one: the need for formal specification. It is indeed a big issue. However, one must distinguish between a full specification, which is sufficient to prove functional correctness, and a specification of certain security or safety properties, which only allows us to verify those properties. For example, we can easily specify the property that "the program shall never read uninitialised memory" and prove it. That wouldn't guarantee that the program is functionally correct, but it would at least rule out a whole class of potential errors.
- Let me be blunt: this looks like a tantrum. Bugs exist, and they're sometimes fixed more slowly than we'd like, but given the size of the GitHub ecosystem this is probably just one of many outstanding bugs. Blaming AI is baseless - not that it couldn't be true, but the conclusion seems to be drawn from a single issue.
What does this mean for the Zig project? I haven't heard of Codeberg, they may be great, but for a popular open-source project I'd expect a proper discussion before deciding to move or weighing the pros and cons of different hosting options. From what I'm hearing, Zig is technically excellent but seems to lack level‑headed, mature leadership. That's not unique: many open‑source projects started by brilliant engineers struggle as they grow and need a new leadership structure. That transition can be painful and could even harm adoption.
- The lack of native Microsoft Outlook support was one of the reasons I've abandoned Thunderbird.
However, it is still not enough for me to come back. Sadly, corporate life is often organised around email and calendaring. All these endless meetings everyone complains about, which need to be scheduled, accepted, rejected, re-scheduled, etc. The native Exchange support does not yet support Calendar integration. Without it, it will be very awkward to use in a day-to-day corporate environment.
- This is the right direction - the only way to go about fake images and video is digital signatures. Phone camera should be able to do this as well. Then we can have signatures of software used for processing them (on top) cerityfing what changes have been done: e.g. contract correction filter applied, signed by Adobe Photoshop.
- it requiers subscripiton to Apple ecosystem: closed hardware iPhone, closed-source iOS, app store blessing to distribute. :)
Could you do an Android version to alleviate some of these hurdles?
P.S. Do not mean do diminish your achievement. I've tried many these apps which fed me ads or ask to subscribe, so a free alternative is very welcome! Thanks!