codebje

21 ms·

481.
by codebje 7y ago
This should be a type error, because there's no further information available to resolve which implementation of FromIterator<> should be used. (Also you'd need to use filterMap to ever arrive at Vec<string> since you
482.
by codebje 7y ago
The most common intersection, IMO, is inductive reasoning. If you can write a working recursive function, you are also writing an inductive proof. The only explanation I have for why people think there's either no link to math, or that
483.
by codebje 7y ago
I'm not sure it's really true that the NES represents a single hardware target. There's two families of CPUs (2A03, 2A07) with different clock speeds depending on whether the device is NTSC or PAL, within each family there&#x
484.
by codebje 7y ago
There really are still games out there that aren't built on the freemium model, yes. There really should be freemium games that advertise a monthly ceiling on possible spend as a feature to attract customers who are wary of pay-to-win
485.
by codebje 7y ago
That throws the baby out with the bathwater due to its coarse grained nature. I'm fine with having a free game using an IAP to unlock full functionality, or to have a small! series of IAPs for it. I think there's also a viable mod
486.
by codebje 7y ago
There's an interesting duality in that. Companies are choosing to maximise profits by tapping into addiction and gambling, and consumers are choosing to accept and reward that. I don't agree though that there's only up-front
487.
by codebje 7y ago
I've been trying to find such games for my kids (4 & 6) - there really are no search options to help. Indiscriminate third party advertising and freemium games are going to cause significant long-term harm to mobile gaming, and pos
488.
by codebje 7y ago
Check the regulators on those cheap boards, they're often well under spec and cause brown-out reboots when the wifi gets working. If you don't use the more power hungry board features they still work fine.
489.
by codebje 7y ago
I buy unlocked Nexus devices to avoid mftr and carrier bloatware and update delays. Never again for a Samsung device, they churn through models absurdly quickly, delay updates for months, and shovel tons of crap on.
490.
by codebje 7y ago
Build systems tend to get very complex Turing complete scripts, such as gradle for Java or Make for C. Having something almost as powerful but reducible to a normal form is very helpful for CASE tools.
491.
by codebje 7y ago
Recursion is fine, as long as an argument gets smaller at every iteration, since that guarantees termination.
492.
by codebje 7y ago
Six or seven, or thereabouts.
493.
by codebje 7y ago
The OS thread model is lightweight processes - each OS thread is essentially a separate process sharing a common section of the process control block. Context switches are still relatively heavyweight involving a kernel mode switch, CPU sta
494.
by codebje 7y ago
You're probably not going to need a separate function for a binary operator.
495.
by codebje 7y ago
I usually start with types. A signature saying I'm going from a pair of ints to one int doesn't say why I want to do that, I trust that the function name will, but it does help guide me to a function that's more likely correc
496.
by codebje 7y ago
The IRR is also controlled by a few entities that would be vulnerable to government intervention, but that's the tool we currently rely on. RPKI roots trust at the RIRs, and that is a vulnerability, but any government intervention woul
497.
by codebje 7y ago
Here at the University of Queensland formal methods are in optional classes for computing degrees. I'm in the last six months of a part-time postgrad coursework degree, during which I did both a formal specification and a concurrency v
498.
by codebje 7y ago
There's several fine replies already. Another aspect to consider is that inheritance is tied up with polymorphism. If your B class inherits from an A class, then anywhere that an A is expected, a B may be supplied instead. If another b
499.
by codebje 8y ago
All validation is only performed up to an assumed platform. There's usually little value in worrying too much about how a real platform won't correspond precisely to that assumed platform, since the goal of validation is to remove
500.
by codebje 8y ago
> Did the event happen yet? Did it succeed? Events have already happened when you see them in the event log. It's happened, it succeeded. > I didn't like having an event ledger say "comment created," where my appli
501.
by codebje 8y ago
If you took event sourcing out of the picture, how would you solve it? This is a problem to do with distributed transactions, not event sourcing. If you don't need distributed transactions, don't use them. If you do need distribut
502.
by codebje 8y ago
Basic event sourcing is quite simple to implement. All the bells and whistles people sell alongside event sourcing are hard - whether you do event sourcing or not. Your typical application presents a user interface based on data in a set of
503.
by codebje 8y ago
Most problems are pretty quick to solve, maybe 30-60 minutes. Scheduling that time every day can be tough. Some problems are pretty tricky. I still haven't solved all of 2017's, "some offset delay" indeed. I might not ha
504.
by codebje 8y ago
try { MyType x{args, args}; x.DoSomething(); } catch (SomeException &e) { ... } You can't do much with the x if it didn't construct correctly, so you either need a strategy for a safe defaul
505.
by codebje 8y ago
> > As for sequential, we're in the age of multiple cores and GPUs.. > What point are you trying to make? Obviously what I mean by sequential code here is that you can easily reason "if control flow reaches point A, then
506.
by codebje 8y ago
Less code should not mean either less readable code, or cleverer code. It should just mean ... less code. Using abstractions, removing dead code, refactoring to share common code paths, etc, all reduce the amount of code you have, and all t
507.
by codebje 8y ago
The Events here give up on the naming, granularity, and semantics problem: they're extremely low level fine-grained changes to fields in a database. Events themselves are no longer interesting or semantically meaningful, because they&#
508.
by codebje 8y ago
The massive rise of carrier grade NATs perhaps.
509.
by codebje 8y ago
SPIN and TLA+ aren't proof assistants at all - they're model checkers, that is, they simulate a model some number of times and check that the desired properties hold in all explored states. Obviously this means they're not pr
510.
by codebje 8y ago
If actions are fully deterministic, a list of actions is isomorphic to a list of events: you can always determine what happened by looking at what was requested. A list of all past states avoids the determinism problem, but the consequence

More ›