moomin

14 ms·

271.
by moomin 1y ago
She was still there?
272.
by moomin 1y ago
Haskell does this. If you derive Eq, it puts a condition on the generic parameter(s) requiring them to be Eq as well. Then if you use it with something that doesn’t implement Eq, your generic type doesn’t either. It helps if you can express
273.
by moomin 1y ago
Is this going to be the new wave of improving AI accuracy? Making the incorrect answers correct? I guess it’s one way of achieving AGI.
274.
by moomin 1y ago
Spiderlight. It’s short, and I wouldn’t recommend it to someone who hasn’t read a lot of fantasy already, but it’s a smart novel.
275.
by moomin 1y ago
Children of Time There’s lots of answers to this depending on taste, but you also get into arguments about whether such and such is space opera or planetary romance. Children of Time is hard SF the way a reader from the 1960s would have und
276.
by moomin 1y ago
Counterpoint: every time I meet someone who is perceived this way, they’re definitely an asshole, but their “productivity” is often mostly corner-cutting. Other devs irritation with them is often conflating the technical unprofessionality w
277.
by moomin 1y ago
Is it just me or do these arguments not even convince a disinterested bystander? I particularly dislike “stupidity should be costly”. All of us are stupid sometimes. I’d rather that didn’t tank our entire firm.
278.
by moomin 1y ago
https://xcancel.com/WatcherGuru/status/1941167512491864554
279.
by moomin 1y ago
Let’s just say that I think it’s an important event and understanding how a guy harassing his ex-girlfriend became a formative moment in alt-right history is fascinating, but I really don’t want to get drawn into arguments with anyone who’s
280.
by moomin 1y ago
Let’s just say that if you wanted to understand lenses, this is not where you should start; and if you wanted to move to more advanced scenarios, I wouldn’t start here either.
281.
by moomin 1y ago
GamerGate is well worth understanding. While some of the details are unique to the situation, it’s provided a template for right-wing radicalisation that’s been employed multiple times since. There’s also an entertaining “where are they now
282.
by moomin 1y ago
Yes, but you can’t write something that’s generic over “things that support Select” because that’s not expressible via the type system. So you can’t write a function, then get a version that works on lists, then a version that works on task
283.
by moomin 1y ago
Your basic problem is that your programming language can’t express the concept cleanly. You need what’s called “Higher-Kinded Types”. To give you a concrete example, in C# Func<A, B>, List<A> -> List<B> Func<A, B>
284.
by moomin 1y ago
I suspect the state of California probably won’t be too keen on transferring unknown debts to their accounts!
285.
by moomin 1y ago
Don’t think any of those things are transferable, so the question is moot. They’re not really assets the way crypto is.
286.
by moomin 1y ago
My God the radicalisation funnel produces some utter brain rot. Unsubstantiated accusations, slippery positions designed to distance your moral culpability in the consequences of your actions. Seriously, read yourself sometime.
287.
by moomin 1y ago
It’s always entertaining that those warning of science being used to introduce tyrrany are gleefully embracing tyrrany in the next breath.
288.
by moomin 1y ago
It's a term of art. We say the same thing about quicksort being "usually" O(n log n)
289.
by moomin 1y ago
It means the balancing is content-dependent, and is normally balanced, but certain edge-case inputs may result in sub-optimal behaviour.
290.
by moomin 1y ago
https://en.wikipedia.org/wiki/Gerald_Ratner The UK has definitely seen it before!
291.
by moomin 1y ago
What’s the point in a luxury brand where you’re embarrassed to be seen displaying the logo? I don’t think I’ve ever seen brand impairment like this that didn’t result in the brand being retired. The only way forward I can see for them in Eu
292.
by moomin 1y ago
There was a group of people under the gov.uk banner who were actually really good. But a challenge is that if you employ someone, you need to fit them into your grade structure. And decent programmers earn “Senior Civil Servant” figures.
293.
by moomin 1y ago
There’s two whole paragraphs under a dedicated heading. I don’t think the problem is with the article here. Paragraphs reproduced below: AI can be remarkably effective at discovering a broad range of vulnerabilities—but the real challenge i
294.
by moomin 1y ago
Honestly I think this is extremely impressive, but it also raises what I call the “junior programmer” problem. Say XBOW gets good enough to hoover up basically all that money and can do it cost-effectively. What then happens to the pipeline
295.
by moomin 1y ago
Bodil is both extremely smart and extremely funny. With a sense of humour that extends to type theory. I think her leaving Twitter was one of the things that made it memorable ch less fun for me. Quote from the readme: If you think this is
296.
by moomin 1y ago
I mean, if you don’t want to include tests that LLMs are, by definition, bad at, why don’t we do the same thing for humans?
297.
by moomin 1y ago
I remember doing an extremely painful one back in the day. I was leaving because relations had already broken down but i had no particular desire to burn any more bridges than i had to. So they got the only person who didn’t already know me
298.
by moomin 1y ago
Jeffrey Goldberg.
299.
by moomin 1y ago
I don't really buy this. It's apparently not possible to build an Estonian LLM with a satisfactory level of performance. Does that mean Estonians are general intelligences and English-speakers aren't? Or just that our ways of
300.
by moomin 1y ago
I’m beginning to feel like the tests are part of the problem. Our intelligence tests are all tests of specialisation. We’ve established LLMs are part of the problem. Plenty of people who would fail a bar exam yet still know how many Rs ther

More ›