mrkeen

92 ms·

211.
by mrkeen 5mo ago
No idea why dfa11's sibling comment got nuked. Looks correct to me. I guess you can probably do the same with Unpacking. https://wiki.haskell.org/Performance/Data_types
212.
by mrkeen 5mo ago
I agree that it is unfortunate.
213.
by mrkeen 5mo ago
It is not. Null is the thing which it isn't. A null value is evidence that your modelling does not fit the domain.
214.
by mrkeen 5mo ago
Oh cool. It's newtype from Haskell 1.3 (1996). https://www.haskell.org/definition/from12to13.html#newtype
215.
by mrkeen 5mo ago
What does that have to do with exploitation?
216.
by mrkeen 5mo ago
My last impression of Bangladesh was the fire accord stuff, i.e. build emergency exits and get garment factory owners to stop locking their workers inside since they keep going up in flames. Maybe they've grown. Is Bangladesh at the s
217.
by mrkeen 5mo ago
"Generics" doesn't cut it. Most languages just can't functor. Go - no. https://www.reddit.com/r/golang/comments/v1ljep/monads_and_p... Swift - no. https://forums.swift.org
218.
by mrkeen 5mo ago
Sometimes you go back and reinvent the stack (breaking everyone's code) and other times you introduce things non-breakingly. > why isn't a Haskell monoid defined as an extension of a semigroup class Semigroup a => Monoid
219.
by mrkeen 5mo ago
> The false “hard problem of consciousness” assumes upfront that there exists a metaphysical gap between mind and body. Or a gap between my mind and the minds of the other commuters on this bus. There are 15 or so biological machines her
220.
by mrkeen 5mo ago
The polymorphism looks a little half-missing as well (checker.c): /* generalize: check if vars in t are free (not bound in env). For now, a simplified version that just returns the type as-is. */ CkType *ck_generalize(CkT
221.
by mrkeen 5mo ago
Meaningless comparison and category error. I challenge you to put the information in this article to use. Market cap is the number of shares multiplied by whatever (some small number of) those shares traded for lately. GDP is actual economi
222.
by mrkeen 5mo ago
This is an ill-informed rant. The key idea is that software dev sucks for you today, because Smalltalk wasn't good.
223.
by mrkeen 5mo ago
> I want an alternative to SQL I don't think it's SQL itself - it's the DB vendors ship weak isolation so people aren't hit by deadlocks, isn't it? > Make transactions atomic by default Not the issue, right?
224.
by mrkeen 5mo ago
Nice, next do TwoGenerals4j and CAP4j
225.
by mrkeen 5mo ago
> The actual work behind "create payment" or "create order" is generally fairly trivial - more or less insert a row in a table. It's generally insert a row in someone else's table, over the wire, 50ms+ awa
226.
by mrkeen 5mo ago
This is a good snapshot of things: https://news.ycombinator.com/item?id=48050751 A specialist handrolls a cut-down framework to power a 1 or 2 bit quantised version of a cut-down sort-of-frontier model. It can be yours if y
227.
by mrkeen 5mo ago
It's not the 'core question'. I can choose to purchase a 2nd item, or I can choose to retry purchasing the 1st item. The server making that choice for me is not idempotency. Idempotency is the server supporting my ability to
228.
by mrkeen 5mo ago
It's just the horrible misapplication of the term 'stateless' to a wrapper around something very-much stateful. It's here to stay. (Though I do disagree with the original premise too. Putting on a 'stateless'
229.
by mrkeen 5mo ago
> You don't know, so you can't decide between retry and not retry I'm well aware that the first order went through, even though the dumb system fumbled the translation of the success message and gave me a 500 back. I do re
230.
by mrkeen 5mo ago
In what sense is GET naturally idempotent? The GET/POST split is the defence (even it's only advisory). GET-only means every time you hit the back button during an order flow, you might double-order.
231.
by mrkeen 5mo ago
1) Fresh UUID 2) Client's choice
232.
by mrkeen 5mo ago
> What is here the same? The idempotency key of the request
233.
by mrkeen 5mo ago
"Idempotency" feels like "encapsulation" all over again. Take a good principle like 'modules should keep their inner workings secret so the caller can't use it wrong', run it through the best-practise-mach
234.
by mrkeen 5mo ago
The point of idempotency is safe retries. Systems are completely fallible, all the way down to the network cables. The user wants something + the system might fail = the user must be able to try again. If the system does not try agai
235.
by mrkeen 5mo ago
I don't think I've ever seen a consequence (from a legislator's POV.) If someone does a high-profile enough hack, that can only mean more laws and increased police power to target it.
236.
by mrkeen 6mo ago
It didn't go well for him staying in his area of expertise - evolutionary biology. Can't blame a guy for branching out.
237.
by mrkeen 6mo ago
Dawkins declared himself unable to determine consciousness through the chat terminal , which is the reason the Turing test is relevant. Try imagining the same 'gotchas' in the original Turing test, (i.e. you're told beforeha
238.
by mrkeen 6mo ago
My trick to debugging is to simply make every nontrivial piece of code return the same output for the same input. (The trivial pieces of code too!) No other (mainstream) language comes close. But what about situations where the code cannot
239.
by mrkeen 6mo ago
Cool, incredibly low bar. All four of your examples are validate . Know any languages that are worse than C at this?
240.
by mrkeen 6mo ago
Then allow partial functions too. Maybe even require them to be tagged as such. (Is that within the capabilities of Zig's programmable type system?) I don't mind escape hatches - as long as they're visible/greppable in

More ›