erk
Posts
133Following
72Followers
13Interests: Reversible programming, HTTP Live Streaming and derivatives, FreeBSD
GitHub: https://github.com/Erk-
@fasterthanlime @eniko This is where it comes up that floating point values are only a approximation of real numbers.
https://math.stackexchange.com/questions/28940/why-is-infty-cdot-0-not-clearly-equal-to-0
https://math.stackexchange.com/questions/28940/why-is-infty-cdot-0-not-clearly-equal-to-0
0
0
0
@partim They got them in time for the trains to run in the end. The Danish channel Kennys Film made a video about them as well.
https://www.youtube.com/watch?v=qLM-eLkA_xg
(Subtitles in multiple languages)
https://www.youtube.com/watch?v=qLM-eLkA_xg
(Subtitles in multiple languages)
1
0
0
@bsdphk There are some forks of zlib out there the biggest probably being zlib-ng, which I think goes for C11 support and have cleaned out a lot of old code. But is that taking it too far or would it be viable to change the zlib implementation as long as the header is the same?
https://github.com/zlib-ng/zlib-ng
https://github.com/zlib-ng/zlib-ng
0
0
0
@LunaFoxgirlVT Den sideeffekt jeg husker mest fra da jeg var på det var at jeg begyndte at skære tænder ret meget hvis jeg ikke tænkte over det.
0
0
1
erk
erk
@charlotte @SuperDicq @asahi95 Yeah if you are from outside EU/EEA/Switzerland you will have to pay a fee of around 7500€ per semester.
2
0
1
@fasterthanlime I always wonder how much would break if more platform had the massive pages that POWER allows, but there is not really much consumer hardware so I have never been able to try it out myself.
1
0
0
0
0
2
erk
erk
@charlotte So there is a few questions now, does numbers exist in the algebra of types? If so what do they mean, and the same with negative values.
(note: I may be taking this joke a bit too far)
(note: I may be taking this joke a bit too far)
1
0
0
erk
erk
@charlotte Are polynormial types not just fixed size arrays since a^3 = a * a * a or in more common notation (a, a, a) which might as well be a fixed size array.
1
0
1
@piecritic
> It is standard practice to publish minutes after review.
Yeah that is also the practise I know from organizations and working groups I have been a part of through the years. The review is most of the time just a simple formal "okay" to the information being correct.
> but the essential problem here is a matter of unchecked "executive" power.
I agree any decision made around the council (or board) is of course not something that should ever be done. Even that kind of delegation of power by the board is probably not something that should be done without a really good reason.
And of course if anyone poses as being a quorum without it being the reality it of course is also not okay.
I really hope that Rust as a project can grow and end up in a better place that it is in currently, it will probably not be nice for many of the people involved, but it is a necessary step.
> It is standard practice to publish minutes after review.
Yeah that is also the practise I know from organizations and working groups I have been a part of through the years. The review is most of the time just a simple formal "okay" to the information being correct.
> but the essential problem here is a matter of unchecked "executive" power.
I agree any decision made around the council (or board) is of course not something that should ever be done. Even that kind of delegation of power by the board is probably not something that should be done without a really good reason.
And of course if anyone poses as being a quorum without it being the reality it of course is also not okay.
I really hope that Rust as a project can grow and end up in a better place that it is in currently, it will probably not be nice for many of the people involved, but it is a necessary step.
0
0
0
@piecritic The very first thing I looked for in the proposed government structure was if they would at least have minutes of meeting and luckily it is in there. So at least I can try and be hopeful that decisions such as these will be more transparent in the future, though currently it is rather bleak. But hopefully it will mean that at the very least decisions will be written down in public.
The Rust foundation had issues with their minutes being very delayed, but that is an issue they have now resolved so they can be published after confirmation at the next meeting. I don't think many read them when they are released, but that does not mean that they are not very important.
The Rust foundation had issues with their minutes being very delayed, but that is an issue they have now resolved so they can be published after confirmation at the next meeting. I don't think many read them when they are released, but that does not mean that they are not very important.
2
0
0
@encthenet @kkarhan I am not sure where the disagreement is because I fully agree with you. Standards should be free to access. The question should then be what does ISO bring to the table that these other organizations does not and why does people/companies choose them over the ones that have free to access standards.
Also companies would probably also want standards that are free to access and it is probably those that need to lobby ISO and the national bodies into making the changes that are needed.
For example Adobe, Apryse and Foxit are sponsoring access to the PDF standard https://pdfa.org/sponsored-standards/
I hope that examples like this is only the start and that we will see ISO to rework how it works in the coming years.
Also companies would probably also want standards that are free to access and it is probably those that need to lobby ISO and the national bodies into making the changes that are needed.
For example Adobe, Apryse and Foxit are sponsoring access to the PDF standard https://pdfa.org/sponsored-standards/
I hope that examples like this is only the start and that we will see ISO to rework how it works in the coming years.
0
1
1
@kkarhan @encthenet
That one is a bit of an outlier, so much in fact that there is a whole Wikipedia about it https://en.wikipedia.org/wiki/Standardization_of_Office_Open_XML
But the standard of OOXML is actually free to access through ECMA-376, but even then I would not consider it a very open standard because of the process of which it was created.
https://www.ecma-international.org/publications-and-standards/standards/ecma-376/
That one is a bit of an outlier, so much in fact that there is a whole Wikipedia about it https://en.wikipedia.org/wiki/Standardization_of_Office_Open_XML
But the standard of OOXML is actually free to access through ECMA-376, but even then I would not consider it a very open standard because of the process of which it was created.
https://www.ecma-international.org/publications-and-standards/standards/ecma-376/
1
0
0
@kkarhan @encthenet This misses the whole point of why we have companies like ISO. Their job as the standard organization is to make a fair forum for discussion of the standard. Else it can very easily end up being more biased towards some specific cases than it would have been otherwise. "Amazon's shitty #S3 #API" is only put into the world to serve the needs of Amazon, they don't need to care for how anyone else wants it to be which is the thing that Standard.
That said I still think they should be free of charge. @twitter@jonsneyers one of the JPEG XL authors would also agree with that, and they are actually trying to make a difference in that space. https://www.theregister.com/2021/07/31/iso_paywall_battle/
That said I still think they should be free of charge. @twitter@jonsneyers one of the JPEG XL authors would also agree with that, and they are actually trying to make a difference in that space. https://www.theregister.com/2021/07/31/iso_paywall_battle/
3
0
1
@fasterthanlime Its just easier to remember than KIS
0
0
0