icrbow

6 ms·

1.
by icrbow 1mo ago
Please make it Fediverse/Forgejo/etc compatible. It is 2026 and I'm so tired of silos.
2.
by icrbow 11mo ago
Ada can't bootstrap? Ironic...
3.
by icrbow 1y ago
> 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 obvious, improvements that stand out. Cla
4.
by icrbow 2y ago
Not for long.
5.
by icrbow 2y ago
> ECS library that will do it in AoS way TLAs aren't my forte. It's SoA of course.
6.
by icrbow 2y ago
> 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 values for different usage patterns and restrictio
7.
by icrbow 3y ago
> 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 stop beating this particular strawman.
8.
by icrbow 3y ago
Debug.Trace has a lots of stuff for that. You can even generate charts from that when using eventlog-enabled runtime.
9.
by icrbow 3y ago
Yes. The amount of job postings raises year to year.
10.
by icrbow 3y ago
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 make it. It was mostly the lack of interest that killed it
11.
by icrbow 3y ago
I used to wrap everything in Nginx, but `warp` can hold its own candle, with HTTP2 and stuff. One less piece to configure.
12.
by icrbow 3y ago
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 metaphors are very tricky and personal.
13.
by icrbow 3y ago
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 Scala that would be a `flatten` or whatever. If a p
14.
by icrbow 3y ago
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.
15.
by icrbow 3y ago
I've seen a company doing that in Visual Basic. It was successful enough to have a nice office etc.
16.
by icrbow 3y ago
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 by a brick, hourly" is a more widely dem
17.
by icrbow 3y ago
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.
18.
by icrbow 3y ago
At a glance, it looks like it would have quite a few accessibility issues.
19.
by icrbow 3y ago
LLMs can't massively decrease the net amount of entropy of the universe
20.
by icrbow 3y ago
> 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, etc) Honestly, I don't want to think a
21.
by icrbow 3y ago
If you don't know how to make one already you will be racing towards the precipice, not steering away from it.
22.
by icrbow 4y ago
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...
23.
by icrbow 4y ago
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...
24.
by icrbow 4y ago
This one is absolutely golden. Read down typeclassopedia, do this one and you're basically ready to ship.
25.
by icrbow 4y ago
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 each objective you need to state some assumptions
26.
by icrbow 5y ago
ListT removal isn't bold. It was known for a long time that it needs to go and you should use one of the explicit alternatives instead.
27.
by icrbow 5y ago
Too late. The people are making money with Haskell for quite a few years by now.
28.
by icrbow 5y ago
Why bother with nginx or whatever if its native server is http3-capable and performant enough by itself?
29.
by icrbow 5y ago
No.
30.
by icrbow 5y ago
> Haskell doesn't have sum types Say what?..

More ›