mrkeen

30 ms·

571.
by mrkeen 1y ago
Seems to line up with what the authors say: At Facebook scale — with thousands of engineers shipping new code twice a day — slowdowns like these are even more problematic. https://engineering.fb.com/2014/03/2
572.
by mrkeen 1y ago
new T? What's wrong with the old one? Jokes aside, what's the use case for not knowing what T is until runtime?
573.
by mrkeen 1y ago
> Erased generics the type information is not available at run time. That's the way Java does it and it kinda sucks. In a good statically -typed language you don't need runtime type information. It could be a Void in the byte
574.
by mrkeen 1y ago
Event sourcing is great because you don't commit yourself to one bad architecture. Keep the facts around permanently, and when you find you've made a mistake in the interpretation of those facts, it's no big deal to fix the
575.
by mrkeen 1y ago
In that worldview, it's unthinkable that you'd come and warn us about ads out of the goodness of your own heart. Who paid you for these comments? Atlassian?
576.
by mrkeen 1y ago
Plenty of opportunity to tokenise and re-tokenise here: https://mastodon.social/@kjhealy/114990301650917094
577.
by mrkeen 1y ago
And the poor man's list, and the poor man's parser, and the poor man's state. We need a poor man's interface to generalise them, as well as suitable poor man's laws to abide by, and pretty soon we'll have some
578.
by mrkeen 1y ago
Well he's suggesting natural transformations as an improvement over monads (different ones won't compose without transformers), but he's scant on examples. Show me the behaviour of a State/Either stack!
579.
by mrkeen 1y ago
This is currently topical: https://www.businessinsider.com/github-ceo-developers-embrac...
580.
by mrkeen 1y ago
Thanks! As a Python outsider, I was primed for a Python insider to be trying to change my views, not confirm them, and I did indeed misread.
581.
by mrkeen 1y ago
I am perfectly OK with a world where each corporation is not expected to act as its own private police force. Uber is certainly not capable of dishing out the kind of punishment these scumbags deserve, nor is it capable of providing due pro
582.
by mrkeen 1y ago
I had the opposite experience. Tried out XNA one year for the Global Game Jam. Was somewhat pleased with it. It was gone the next year.
583.
by mrkeen 1y ago
Where was this dispelled?
584.
by mrkeen 1y ago
I didn't read with 100% focus, but this lwn account of the talk seemed to confirm those myths instead of debunking.
585.
by mrkeen 1y ago
Without criticism there's no understanding, just propaganda.
586.
by mrkeen 1y ago
Yes, yes, "No true OO language ..." and all that. But I'm going to keep conflating the two until they release an OO language without nulls.
587.
by mrkeen 1y ago
There is a fantastic concept called encapsulation, but OO encapsulation isn't it. For an actual example of encapsulation, look at C stack variables. They are actually encapsulated within their function. It's how the C function is
588.
by mrkeen 1y ago
> Structural types does not preclude having some names that prevent mix-ups. Haskell’s `data` keyword doesn’t let you confuse structurally-identical things. Haskell doesn't let you confuse structurally-indentical things because it i
589.
by mrkeen 1y ago
Haskell is nominal. In this context structural typing is the ability to confuse two different structs.
590.
by mrkeen 1y ago
Sorry, no more Millenium Prize submissions until Grigori accepts the $1M. You all seem like a great bunch of mathematicians but if we let Perelman get away with this then pretty soon we'll run out of problems and won't have anywhe
591.
by mrkeen 1y ago
Nice, now do STM!
592.
by mrkeen 1y ago
> It wasn’t just that the AI was helping — it was that it had already solved what used to be the hard part. The boilerplate melted away. The tedious glue code wrote itself. This is like hearing that spell-checkers solved the hard part of
593.
by mrkeen 1y ago
There's certainly enough ASM available if the LLMS-can-reason hypothesis is true . You'd only need one accurate ASM manual per variant.
594.
by mrkeen 1y ago
> parse with the lalr generated parser, then if that rejects your string because the program was ill formed, call the hand rolled one for guesswork/diagnostics This feels like a recipe for disaster. If the hand-rolled parser won&#x
595.
by mrkeen 1y ago
First hypothetical: If your "audit" logging suggests a different reality than your database, which one should you trust?
596.
by mrkeen 1y ago
Look at your sibling comments. Some people are still saying it now.
597.
by mrkeen 1y ago
I have heard of neither. But the mention of Burrows leads me to Burrows-Wheeler, which is a compression algorithm (bzip). I'm not 100% but I don't think you can directly query a BWT in the same way you'd query an inverted in
598.
by mrkeen 1y ago
No it's the same thing. With any book you have built-in mechanism to go to a page number see what words are there. An inverted index lets you do the inverse (words -> page numbers).
599.
by mrkeen 1y ago
You have it backwards from where I'm standing. 'null' (and to a large extent mutability) drives a gigantic hole through whatever you're trying to prove with correct-by-construction. You can sometimes annotate against mut
600.
by mrkeen 1y ago
> 64% of Americans accept that “humans and other living things have evolved over time” > 73% of Britons are fine with the idea that they share a common ancestor with chimpanzees.

More ›