codebje

21 ms·

211.
by codebje 2y ago
Haskell has a type system that lets these things be directly useful in ways they cannot be in many other languages. You can't, in Java, declare anything like "class Foo<F<T> extends Functor<T>>", or use a si
212.
by codebje 2y ago
I am not yet sure whether it's a third mistake to think that it's particularly relevant to understand monads (and friends) outside of a language with (a) the higher-kinded types necessary to actually use them, and (b) a type syste
213.
by codebje 2y ago
One source for confusion around lists is that the list monad is often used to model non-determinism, rather than just "many things". If you're thinking about non-determinism, a list is akin to a container of one item when you
214.
by codebje 2y ago
The measurable brightness of the LED is a straightforward sum of the times it's on and the times it's off. Shift the ratio so it's off more than it's on and it gets dimmer. The "fully bright" part is a conseque
215.
by codebje 2y ago
I am convinced of it, as an Australian. Commercial interests have been assaulting truth since before I was born, nearly half a century ago. The methods for doing so have steadily improved. Social media briefly hindered it, before being co-o
216.
by codebje 2y ago
How far we've come from the Arab Spring.
217.
by codebje 2y ago
Bold assumption that AR glasses won’t just be a way to deliver more targeted advertising.
218.
by codebje 2y ago
That’s the best service provider, by Amazon’s criteria.
219.
by codebje 2y ago
That was a well written and easily approachable blog post on what I found to be an interesting topic. Aside from the topic itself, I think I also learned a bit about structuring technical articles.
220.
by codebje 2y ago
This is something that weighs on my mind a lot. Industry norm is to use 3rd party dependencies, and it's impractical to carefully vet direct dependencies let alone transitive dependencies. The article spits out a big list of reasons to
221.
by codebje 2y ago
Yes - it's pretty opaque to trace through, but you can see in `valid` that for a given move history, a "good" test is performed on each instruction in the assembly listing - a full pass. This is invoked, asymptotically at lea
222.
by codebje 2y ago
Quite a long way away. They have different jobs to do: an LR parser for code is trying to produce an abstract syntax tree a compiler (or static analyser) that represents the structured program expressed in source. An LLM for code is trying
223.
by codebje 2y ago
What would competitiveness of AI have to do with whether a confidentiality clause in a commercial license is enough for an enterprise or not? A source code hosting service has direct access to the "secret sauce" of a company built
224.
by codebje 2y ago
The same way responsible enterprise class companies rely on "trust us bro" EULAs for financial systems, customer databases, payroll, and all the other systems it would be very expensive and error prone to build custom for every bu
225.
by codebje 2y ago
That's just a semantic game. It's a product. Services are products. Bank loans are products. Devices sold for narrower end goals than general purpose computing are still products. Cable TV boxes are products. For enterprise IT, it
226.
by codebje 2y ago
It looks like the compiler would need to determine it can inline E twice before it can perform a constant case fold on the "if h == 1" expression, right? It's 'obvious' if you understand what E does, but that's
227.
by codebje 2y ago
Last I looked, join points hadn't made it into GHC Core directly - do you know if the ideas in the join points paper were introduced to (mainline) GHC in the end? edit: it looks like there's distinct Core join points now, never mi
228.
by codebje 2y ago
The ANF form is amenable to rewriting the “if” outside the “let”. if x then let a0 = a in E a0 else let a0 = b in E a0 If a and b are simple variables or constants the new “let”s will be eliminated by ANF. What happ
229.
by codebje 2y ago
ANF transform will rewrite that to “let a0 = if x then an else b in E a0”. This isn’t identical to floating the call to E inside the “if”, obviously, but would have (within predictable boundaries) the same performance. If this code went thr
230.
by codebje 2y ago
If your continuation has no state to hold your recursion should already be tail called. If it does have state, it’s probably a stack allocated closure…
231.
by codebje 2y ago
Callbacks with closures are continuations with bad syntax. Admittedly one could call those horrifying without being accused widely of hyperbole, so it’s not a great counter to your point.
232.
by codebje 2y ago
It wouldn't be an online service's T&C document if it didn't include at least one vague, threatening, unworkable, and unenforceable condition. The useless but true answer is nobody knows what's allowed and what isn&#
233.
by codebje 2y ago
I got as far as having the cash to pay for the door before running out of time jumping through hoops to transfer it. It’s horrifying. The only not-unpleasant thing, though, is that once you start making money it’s absurdly easy to make a ma
234.
by codebje 2y ago
That’s a great project, there seems to be a small but persistent market for well crafted retro systems.
235.
by codebje 2y ago
Yeah, that one appeals to me more than the morrow example. The difference between that and the Haskell, other than any particular choices I made about use of operators instead of more explicit bindings, is really just syntactic decoration a
236.
by codebje 2y ago
data Color = Color { r :: Word8 , b :: Word8 , c :: Word8 } deriving Show hex_primary :: Parser Word8 hex_primary = toWord8 <$> sat isHexDigit <*> sat isHexDigit where toWo
237.
by codebje 2y ago
No-one likes playing with a cheat in Uno, either, and the table stakes for Uno are pretty low.
238.
by codebje 2y ago
Keeping cheating to a low enough level that players don't quit in frustration (or never start playing due to bad press) is critical. Eliminating it entirely is not. Valve added vote kicks to CS to help keep cheating (and other antisoci
239.
by codebje 2y ago
Remember that you don't need perfection: you need people to believe that they're likely enough to get caught that they don't want to use a pre-canned cheat, and you need just enough cheat detection mechanisms to make it hard
240.
by codebje 2y ago
The LoL game development studio probably rates their game being a commercial success as a significantly critical thing.

More ›