debugnik

15 ms·

391.
by debugnik 11mo ago
This happens often in comment threads, one comment uses an uncommon word and the entire thread goes along with it.
392.
by debugnik 11mo ago
AFAIK Microsoft's API is still a previous iteration not compliant with the standard annex K.
393.
by debugnik 11mo ago
By "static analysis" you mean unsound, best-effort analyzers which try to study code as-is, rarely allow extra annotations, and tolerate false negatives and even positives by design. While these are a huge improvement over no extr
394.
by debugnik 11mo ago
I consider code written in Frama-C as a verifiable C dialect, like SPARK is to Ada, rather than C proper. I find it funny how standard C is an undefined-behaviour minefield with few redeeming qualities, but it gets some of the best formal v
395.
by debugnik 11mo ago
How can anyone be this interested in maintaining an annex k implementation when it's widely regarded as a design failure, specially the global constraint handler. There's a reason why most C toolchains don't support it. http
396.
by debugnik 11mo ago
About .kkrieger's trimming, I had only heard that they forgot to press up on the main menu so it doesn't work, not about the damage thing.
397.
by debugnik 11mo ago
And yours redundant, I made that clear already. > nitpick > to find faults in details that are not important
398.
by debugnik 11mo ago
And part of the Corp's profits fund the Foundation, not the other way around. We get a discussion about this every few months in the HN comments, in case anyone wants to look it up.
399.
by debugnik 11mo ago
The author probably doesn't care. To be clear I don't think the author's point on updates is such a good idea and that's an example of why, but I understand they require a level of trust on the developer that many, many
400.
by debugnik 11mo ago
> kids playing in a sandbox with non-profit money Nitpick: Firefox is developed by Mozilla Corp., not the non-profit.
401.
by debugnik 11mo ago
Did you mix up unsigned and signed by mistake? Because in C and C++, the wrapping one is unsigned and the here-be-dragons-on-overflow one is signed.
402.
by debugnik 11mo ago
The article kinda covers that already: > If I need an update, I will know it: I’ll encounter a bug or a lack of functionality. Then I’ll go and update.
403.
by debugnik 11mo ago
It's not just aesthetic, I keep seeing games with color banding because they don't bother to dither before quantizing.
404.
by debugnik 11mo ago
I largely agree, that's why I've still got all of it stored away, but I guess I'd like to keep track of what is it that I'm not using, what can I delete and what can I deduplicate.
405.
by debugnik 11mo ago
Brevity maybe, but ease of understanding no. Copyleft licenses interact with copyright law in ways that permissive licences just don't need to. The closest you can get is probably MPL-2.0. The GPL is particularly bad here as it preten
406.
by debugnik 11mo ago
I've been telling myself I'll organise my now 4 layers nested stuff folders for 15 years. A bit off-topic, but can anyone recommend tools to organise this much random stuff?
407.
by debugnik 11mo ago
Supporting as in maintenance mode, at least VB.NET. Thankfully F# is more community driven, but the CLR ecosystem is definitely getting C#-centric in the use of idioms and features from newer C# versions, which increasingly affects F# inter
408.
by debugnik 11mo ago
They couldn't get it right because Visual Studio for Mac was actually a rebranded MonoDevelop, an entirely different IDE than Visual Studio.
409.
by debugnik 11mo ago
Teams is not older than MAUI because MAUI was mostly a rebrand of Xamarin Forms.
410.
by debugnik 11mo ago
In 2025 that would be iOS rather than macOS, several artists I know love Procreate.
411.
by debugnik 11mo ago
Try reading Turing's thesis before making that assertion, because the imitation game wasn't meant to measure a tipping point of any kind. It's just a thought experiment to show that machines achieving human capabilities isn&#
412.
by debugnik 11mo ago
I don't know much about tapes but it seems to apply, since the post mentions it: > I'm hoping I don't have to bake it, since that takes a day
413.
by debugnik 11mo ago
Okay but that's not a wiki. Wiki implies pages can be collaboratively edited and linked. Otherwise it's not a wiki, it's just a website. The only collaboration here is to bait people into becoming maintainers and fix the ha
414.
by debugnik 11mo ago
First off, the escape hatches in TypeScript are way too accessible compared to OCaml: `JSON.parse(...) as MyInterface` is everywhere and completely broken. And second, you're dismissing the fact that TypeScript is unsound, even worse
415.
by debugnik 11mo ago
Many learning materials will push you that way, but the vast majority of FOSS packages don't use it. There's nothing inherently wrong with using Jane Street's stdlibs if you miss the goodies they provide, but be aware the API
416.
by debugnik 11mo ago
But the Reason example you shared is almost valid TypeScript already! https://www.typescriptlang.org/play/?#code/DYUwLgBAHgXBAUBDO... I've seen JS using lambdas instead of classic functions like that in the w
417.
by debugnik 11mo ago
Could you explain how Reason syntax isn't "really willing to modernize in ways that would attract your average programmer"? I'm trying to understand what do you even mean.
418.
by debugnik 11mo ago
F# uses the CLR term "value types" instead, or sometimes "struct" types as in the C# keyword. These are usually defined with the [<Struct>] attribute over a regular type definition, or using the struct keyword befo
419.
by debugnik 11mo ago
I vouched for your dead comment because I get where you're coming from. But OCaml 1.0 was in 1996 in an academic setting. I care about the language I can use now, not the one I didn't use. Let's not dismiss that their solutio
420.
by debugnik 11mo ago
I've written type-equality witnesses in F#, they can kinda recover type equalities (with cast methods) but not refute them, so you still need to raise exceptions for those cases.

More ›