Viewing profile — icrbow

Ada can't bootstrap? Ironic...

> We humans love quantifiability. No. Screw quantifiability. I don't want "we've improved the sota by 1.931%" on basically anything that matters. Show me improvements that are obvi…

Not for long.

> ECS library that will do it in AoS way TLAs aren't my forte. It's SoA of course.

> does Haskell have a special construct that allows for values to be overwritten Yes and no. No, the language doesn't have a special construct. Yes, there are all kinds of mutable …

> Flame bait I'll take it. > ChatGPT is the new techno-atheist's substitute for God Not really, no ~~true~~ AInotKillingeveryoneIst says that ChatGPT (or GPT-like) is ASI. Please s…

Debug.Trace has a lots of stuff for that. You can even generate charts from that when using eventlog-enabled runtime.

Yes. The amount of job postings raises year to year.

For the reference, 2017 was the year of GHC 8.0. Since your decision to never look back there were a lot of good things. The standard didn't come out because of some failure to mak…

I used to wrap everything in Nginx, but `warp` can hold its own candle, with HTTP2 and stuff. One less piece to configure.

For practical purposes you don't have to know what the monad "is". You need some good practical examples how to wield them. Knowing some prehistory about doesn't affect usage. And …

This. Just point to the definition in your language (NOT the category theory, unless that's what you're coding in). In Haskell, a Monad is a type class with a method `bind`. In Sca…

You say "by wrapping a value" and then confuse it with the wrapper right away. No, monads are not wrappers. Some wrappers are monads, but not all. inb4, monads are not pipes either…

I've seen a company doing that in Visual Basic. It was successful enough to have a nice office etc.

It may be wise. The stack being mainstream is only a part of the equation to consider. It can be easily dwarfed by other variables, like "fun". E.g. even if "getting your face hit …

It's like explaining a hand with four fingers and a thumb. The whole story is... ugh. But you can grasp enough of it to start using almost right away.

At a glance, it looks like it would have quite a few accessibility issues.

LLMs can't massively decrease the net amount of entropy of the universe

> Rust's type system is good enough Good enough for what? > close enough to Haskell Close enough for what? > with new paradigms that Haskell hasn't yet fully adopted (borrowing, et…

If you don't know how to make one already you will be racing towards the precipice, not steering away from it.

No reason other than making a kernel with a sane security model? Like we have a bunch of those under each tree in a park...

I don't know abut NN prediction, but apparently you can bootstrap anything* with strategically placed 15 gliders. https://btm.qva.mybluehost.me/building-arbitrary-life-patter...

This one is absolutely golden. Read down typeclassopedia, do this one and you're basically ready to ship.

Security is resilience with respect to your threat model. The usual security objectives are confidentiality, integrity, and availability. Nothing is "secure" forever and ever. For …