There are so many scary parts of libc, this is a really exciting project

There are many useful functions too. Like "memfrob" and "strfry". I hope the Zig libc makes those available too

Just joking of course. Those are sadly only in glibc.. :)

That's me! I found I was treated much better in software, the timelines were much more reasonable and your input was valued. When doing firmware, typically everyone's timelines would slip but the delivery date wouldn't which meant your time with a fully functional device (if you even get one at all) would reduce. Half the time you're developing on a half-broken version of the real device

It warms my cold heart every time I open up an sqlite file and read -

> May you do good and not evil.

> May you find forgiveness for yourself and forgive others.

> May you share freely, never taking more than you give.

It's possible that you have natural charisma or talent. But I'd say the people on HN probably lean towards more introverted so sales is probably quite hard for them

Can you recommend any resources on CDCL? I've just started reading up on Dart's primer [0] but I feel like it's slightly out of my grasp

[0] https://github.com/dart-lang/pub/blob/master/doc/solver.md

I found the diagrams on the Wikipedia pages help build an intuitive understanding of each step: https://en.wikipedia.org/wiki/Conflict-driven_clause_learnin...

Also, the pubgrub-rs guide I find has a gentle ramp in introducing complexity: https://pubgrub-rs-guide.pages.dev/internals/intro

This was a fun read, and my first time seeing 'asv' used to track performance over time. I was surprised to see the regexes used to capture version info, I thought it would be a custom parser

No, it is not relevant in the least. Murine studies are a standard practice on the path to human trials.

Your link is not even about animal studies. It is about a petri dish.

This is an interesting problem that I'm told earlier versions control systems handled better than git (I believe SVN was good at this? Unsure as I never used it). But it's an interesting problem that I've never had good tooling for, so it would be fun to see if verhaal could be modified for my use cases

I had an issue on the toll payment device on my car, so I was expecting some 'pay now or you get a fine' message. I got one on my phone, but when I logged in directly to the toll company website my account was in the green. I was _so_ close to following the link I just got lucky that I prefer using my laptop for admin rather than my phone.

I really enjoyed this, and following the link to the Antithesis talk was really interesting as well [0] as it goes in to some of the pitfalls of random testing and some of the properties that you'd like out of a good test system. This is a field I'm really interested in but it seems hard to grasp.

[0] https://antithesis.com/blog/sdtalk/