codebje

16 ms·

511.
by codebje 8y ago
You can't have DNSSEC outages if no-one is validating DNSSEC. So either there are outages, but a little extra security, or no extra security, but no outages, either.
512.
by codebje 8y ago
My network link is asymmetrical - I have very little upload bandwidth compared to download. This is not uncommon. BitTorrent is abysmal for me. It quickly saturates my uplink bandwidth, destroying downlink performance. Or I cap it, or it d
513.
by codebje 8y ago
I'm pretty sure they'd have had to backdate that, since git didn't exist until 2005. :-) Or a CVS importer applied the appropriate date, perhaps.
514.
by codebje 8y ago
I misused the term, yes: it should be "mutual recursion" not "corecursion", sorry.
515.
by codebje 8y ago
The first returns a callable that's the value assigned to the key argument. The second is a callable that's the value assigned to the key argument. They're the same thing.
516.
by codebje 8y ago
That's co-recursion, rather than strict recursion. It's plausible that a compiler might catch the tail recursion case but ignore non-recursive and co-recursive tail calls. Consider: def even(x, useless, arguments); r
517.
by codebje 8y ago
There's no difference. When you exit a function, you must clean up local stack allocations. It doesn't matter if you exit with a return or a jump. It doesn't matter where you jump. If you leave the stack with temporary alloca
518.
by codebje 8y ago
There are viable forms of tutoring available for honest students who want to make some income, already, either University funded positions or private tutoring. Your friend may lack the soft skills for tutoring, and definitely lacks the ethi
519.
by codebje 8y ago
If I were an AI or uploaded brain, I'd copy myself over the communications link, fully expecting to diverge into two distinct individuals.
520.
by codebje 8y ago
100 years doesn't seem like a long time to me because of the age of our civilisation or species, it seems like a long time to me because of the lifespan of our species. I certainly can't communicate at all on a 200 year RTT, as I&
521.
by codebje 8y ago
"Perception" in the context of autonomous agents means a mapping from sensors to a model of the world; how effectively can the agent establish a reliable model given its sensor readings? What GP means by perception being a solved
522.
by codebje 8y ago
The problem with communicating across even a few hundred light years is that everybody's bored and gone to do something else before the response arrives. You'd need a spectacularly static civilisation to engage in any meaningful c
523.
by codebje 8y ago
His argument begs the question. If you pre-suppose that describing types and finding appropriate abstractions aren't "writing applications", that is, they offer no value in the process, then spending time doing them is of cou
524.
by codebje 8y ago
Not normalise, just set the rules you want to apply. Internationalised domain names suffer this issue, so cribbing their fix probably would work for you - pick a script, restrict allowable characters to it. You probably never want to allow
525.
by codebje 8y ago
Have a look at f.lux, which alters your display's colour temperature as the time of day changes, shifting away from blues into the evening.
526.
by codebje 8y ago
Did you think of the mailman? I get postal mail for someone living a few blocks away because they're technically in another suburb with a slightly worse reputation, and their real estate agent sold them on the idea they were in my subu
527.
by codebje 8y ago
Blockchains aren't better than what we have today for property. At least the victim in your deed fraud article was able to recover their property, albeit at significant cost. How are people going recovering funds from the Mt. Gox theft
528.
by codebje 8y ago
Java is "a language like C" if you squint? ;-) Thanks to you and others for the clarification on C's (lack of) behaviour!
529.
by codebje 8y ago
The simplest way to think about memory is as a place where one executed instruction might write a value into a slot, and the next be able to read it. In practice, things are more complicated. The next instruction might be from a different p
530.
by codebje 8y ago
You certainly cannot determine that two programs do or do not have the same behaviour in the general case. In specific cases, the proofs can be pretty trivial: https://tinyurl.com/ycx2245q - proof your two programs are diff
531.
by codebje 8y ago
I'd be horrified to discover an architecture that could be simplified by adding a blockchain to it.
532.
by codebje 8y ago
All monitoring has that problem :-) But if your rate of rate of change has been positive for some suitable amount of time for the context, it's worth waking a human up over it, because the amount of resource remaining is dwindling expo
533.
by codebje 8y ago
Not offhand, sorry - I first encountered the notion at a conference some years back, but I've long since gotten out of operations so it's all a bit dusty for me now.
534.
by codebje 8y ago
Netflix carries a decent selection of kid's entertainment, where having a 10-minute show followed by the next episode automatically is useful. On the Apple TV app, at least, the "Are you still watching" message is still there
535.
by codebje 8y ago
Don't forget to alert when the double derivative of capacity growth is above a (very low!) threshold, that can catch an explosive problem far earlier than the 70% mark, by which time it might be growing at 5% per second.
536.
by codebje 8y ago
Climate change is a global problem, so you cannot move countries to escape it. The best you can plan for is to move to minimise its impact on you personally for as long as possible, which is fine if you only expect to live another 30-50 yea
537.
by codebje 8y ago
My brother-in-law prefers a mind-numbing job. He was a cashier for many years, until they promoted him to management and he had to have his mind "in the job" even outside of work hours, then switched to being a delivery driver, wh
538.
by codebje 8y ago
Why do you have 100kloc operating directly on a single shared mutable structure in the first place? That sounds like an architectural choice that's going to make any sort of change far more difficult than it needs to be. Avoiding abstr
539.
by codebje 8y ago
"A parser for a thing is a function from a string to a list of pairs of strings and things." > Traditional parser combinators are just a recursive descent parser DSL, with a 1:1 translation between both representations. Yes, ex
540.
by codebje 8y ago
I'll talk about this declaration only: data PreOrder : (a : Type) -> (a -> a -> Type) -> Type where PrO : {lte : a -> a -> Type} -- <= -> ((x : a) -> (y : a) -> (z : a) -> lte x y

More ›