debugnik

16 ms·

722.
by debugnik 2y ago
End names are optional in Ada, so "fixing" that is just a style guide away. Meanwhile, Scala 3 added named `end` to help with long blocks on its indentation syntax.
723.
by debugnik 2y ago
GNAT CE isn't a thing anymore, only FSF and Pro exist. And AdaCore now sponsors Alire, which installs FSF GNAT, and relicensed some of their tools more permissively.
724.
by debugnik 2y ago
> As far as I'm aware, the compiler AdaCore sells is just GCC. The compiler yes, but I'm convinced FOSS gnatprove must be outdated in some way: Last time I tried following AdaCore's SPARK manuals, certain basic aspects and
725.
by debugnik 2y ago
Of course, I just meant that it seems to have been the main factor in her story, rather than the fact that she entered Turkey from Europe. I can't really draw any general conclusions out of a sample of two; well, one, because this runn
726.
by debugnik 2y ago
You surely understand one travels through the same countries when doing the same route in either direction. That's not what we meant here.
727.
by debugnik 2y ago
> Bacca's naked, strangled, and decomposing body was found in bushes > DNA testing suggested that Bacca was raped by multiple people, and not just Karataş. How sad. Looks to me like the dangerous part is doing so as a woman, not
728.
by debugnik 2y ago
> If I donate to your project I hope the money goes towards your project. Firefox is not a project of the Mozilla Foundation, but the Mozilla Corporation, so you just can't donate to Firefox at all; in fact, the money flows the oppo
729.
by debugnik 2y ago
I'm assuming they meant replacing the markov model with a modern language model, not having an LLM magically improve the repo.
730.
by debugnik 2y ago
But SSPL is already a modification of AGPL, so its terms don't seem to have be sufficient. The SSPL's network provision also requires SaaS companies to release the source of any other services and APIs they made the original softw
731.
by debugnik 2y ago
> Maybe the model is you have to pay per account to use it Spammers can afford more money per bot for their operations than the average user can justify to spend on social media.
732.
by debugnik 2y ago
> Has anyone built a gait recognition system? Years ago it was announced that some Chinese cities would use gait recognition for surveillance, but I don't know if the deployment stuck. I remember a video showing off the tech, althou
733.
by debugnik 2y ago
I would have expected animatronics to become more popular after Five Nights at Freddy's, not less. But I've never seen a store with animatronics in my country, so I don't really know how kids feel about them.
734.
by debugnik 2y ago
HN is for whatever the HN audience upvotes (and doesn't get downranked by Y Combinator).
735.
by debugnik 2y ago
That's kind of a thing already, the ReasonML syntax (not to be confused with ReScript, which is a fork of both this syntax and the toolchain). The dune build system supports ReasonML out of the box, I think.
736.
by debugnik 2y ago
> Unfortunately it seems you either have to run "dune build watch", or you can build and run, but not both as there is some locking happening. This is annoying, yes, but for some use cases you can use `dune exec --watch`, which
737.
by debugnik 2y ago
Because those types are not object types, so they don't have methods associated with them at all. This is unlike, say, CLR languages in which all types are object types. There's been research on modular implicits for OCaml to solv
738.
by debugnik 2y ago
These days, for F# I'd use a task builder loop with System.Threading.Channels and TaskCompletionSource, rather than the MailboxProcessor. Same thing, really; you could recreate the MailboxProcessor API with those in just a few lines.
739.
by debugnik 2y ago
> I'm fairly sure they have enough heft that they can fork Chromium and do their own thing, if Google does anything sinister. They were already doing their own thing and they couldn't keep up with Google. Although, starting fr
740.
by debugnik 2y ago
Nah the anti-copy features are a lame plugin called wp-content-copy-protector. Stupid-easy to bypass.
741.
by debugnik 2y ago
It's worse than that, they're using some lame WordPress plugin called wp-content-copy-protector to hijack shorcuts to copy or view source as well. Really hostile and yet ridiculously easy to bypass.
742.
by debugnik 2y ago
So your first answer to being told your initial suggestion is insufficient for bounds-checking was to share a godbolt link without elaborating on where the checking was actually coming from; and when I elaborate, for other readers' sak
743.
by debugnik 2y ago
It does, on explicitly bounds-checked accessors like .at, which span is gaining for C++26. But you originally implied using span was sufficient, you didn't mention LLVM's libc++ hardening. (You even mentioned iterators which, I ju
744.
by debugnik 2y ago
You've compiled with _LIBCPP_HARDENING_MODE_FAST, which still adds some extra checks not required by the standard.[1] You can also tell it's nonstandard because it doesn't really throw out_of_range, it just traps. > Fast m
745.
by debugnik 2y ago
I think they meant Facebook switched their PHP code to Hack and HHVM, their own PHP-like language and implementation.
746.
by debugnik 2y ago
I'd think so too, but a top comment mentions hundred dollar offers for the author's extensions. I guess some devs will take that over earning nothing from an extension.
747.
by debugnik 2y ago
It doesn't show him, but I found warming this video [1] of his guild singing together during a video chat with him, as he couldn't join them. It was shared by a guild member under the parents' last post to his blog, which is
748.
by debugnik 2y ago
You're assuming people will create content to consume it, and not just to spam various platforms, competing for attention. Most of it might only be ever consumed by crawlers, if at all.
749.
by debugnik 2y ago
> The Erlang string type is implemented as a single-linked-list This refers just to Erlang's string() type, not BEAM strings in general; it's just a bad default. If you're not using binaries, you're doing it wrong, an
750.
by debugnik 2y ago
Unlike linking to Nicholson's socials from your HN account, which would totally count as proof... We simply aren't discussing how to prove his identity, just how to contact him (or whoever he could be impersonating) when he didn&#

More ›