Email or username:

Password:

Forgot your password?
4 posts total
Fabian Giesen

There's a recurring talking point in The Discourse about "this is why you need to pay OS lib devs" that is not entirely wrong yet simultaneously seems to be missing the point in a rather profound way for many scenarios.

It's true that many important libs that a lot of programs rely on (another example would be libjpeg-turbo) are underfunded and lack for resources, but beyond that still is code that doesn't even want to try, and I don't see space made for that either.

Fabian Giesen

To explain, I'm sort-of co-maintainer of the stb libs at github.com/nothings/stb. I say "sort of" because the way that originally worked is that Sean and I are friends and years ago Sean said "can I add you as maintainer to that repo in case something happens to me so it's not completely orphaned" and I said yes.

Fabian Giesen

Always remember kids, if you're a conscientious copper trader who makes fair deals then in 200 years nobody will remember you, but if you screw over people so much there's an entire room full of complaint tablets about your conduct you'll still be a meme 4000 years on

Fabian Giesen

FUN FACT about Verse now that UEFN is out: the floating point is not quite IEEE-754 double, but it's close. Specifically the functional logic programming part of Verse (which is to say, its foundation) requires a few axioms that IEEE floats don't satisfy, so the float semantics are slightly tweaked.

Fabian Giesen

Specifically
1. Verse really _really_ needs ∀x: x=x to hold or all hell breaks loose, so in Verse all NaNs compare as equal to all other NaNs, and you can check for NaN-ness by testing whether they compare equal to any other known NaN.
2. Likewise, for any x, y and any pure function f, Verse needs x=y => f(x)=f(y). IEEE signed zeros break that (take e.g. f(x)=1/x).

Go Up