codebje

11 ms·

241.
by codebje 2y ago
Path length is dependent on where you stand and look at it all, of course. If anyone knows of a place in which a border router is only one (or 1.1 average) hop away from every other network on the planet, please let me know what real estate
242.
by codebje 2y ago
> The purported performance hit wouldn't be from the propagation delay on any given router, but rather from shifts in traffic resulting in a longer path. You are right, I neglected to point out that origin validation is (in the abse
243.
by codebje 2y ago
> But what impacts does this have on performance? Great we solved hijacking issue. But this other ASN which used to be a preferred route doesn’t use ROA/ROV (yet or refuses). No performance impact: a routing table is a very (ahaha)
244.
by codebje 2y ago
This is in general only true for either trivial toy compilers or ones which have gone to lengths to have reproducible builds. GCC for instance uses a randomised branch prediction model in some circumstances.
245.
by codebje 2y ago
Guaranteed the time spent doing that is considered work.
246.
by codebje 2y ago
Crowdsourced data is not individually reliable and is already accounting for invalid and incorrect submissions. We can have our cake and eat it too. The ‘us vs them’ mindset comes from ‘then’ determining what is acceptable for ‘us’ to do pu
247.
by codebje 2y ago
You can separate all of those examples into one of two categories: one in which the owner of the phone has a vested interest in providing accurate location and an easy means to enforce consequences for undesired behaviour (I want my ride to
248.
by codebje 2y ago
The fact that with transformer stacks you can wind up with state changes being discarded on exception if you get the stack arranged in a particular order isn't what I'd call a _feature_ of transformer stacks :-) If effect A is inv
249.
by codebje 2y ago
Yes, but transformers have a few drawbacks: the order of stacking alters behaviour, and you need to write n^2 instances for n transformers. Compare ExceptT e (StateT m a) and StateT (ExceptT e m a): if you just want your computation to have
250.
by codebje 2y ago
Schematics don't scale well at all - net labels and multiple sheets demonstrate this. HDLs rule for gate and transistor level circuit design. I don't know what major PCB houses do but I'd be horrified to discover that 16-laye
251.
by codebje 2y ago
The function gives the same result regardless of the sign of the two components, so there's axes of symmetry around the lines defined by (x ± xi): in the first image that gives four axes on the horizontal, vertical, and diagonal lines
252.
by codebje 2y ago
> The only thing i dont like about rp2040 is the package, not hobbyist home soldering friendly for custom board designs. - Use home SMT reflow solutions like toaster ovens or hot sand in frying pans; or - As the other reply suggested, us
253.
by codebje 2y ago
Each wants to claim a keyboard and a mouse, but due to new pair programming requirements set by management there is one fewer set of peripherals than there are developers.
254.
by codebje 2y ago
Either software development teams are a wonderful metaphor for multithreaded code, or multithreaded code is a wonderful metaphor for software development teams. I'm not sure which.
255.
by codebje 2y ago
Maybe - often more to do with overeager coercion, which does tend to go hand in hand with loose typing.
256.
by codebje 2y ago
It's the other way around: null needs to be a subtype of MyType, not a supertype: anywhere I can pass a MyType I should be able to pass a null. You could get most of the way to the blog post's outcomes by simply adding a few metho
257.
by codebje 2y ago
I might choose to rephrase that as "the problem is, some of these languages think that "" and null are equal." :-)
258.
by codebje 2y ago
It took many years to eliminate all the instances of "NULL" from the database.
259.
by codebje 2y ago
I dare say there's a lot more use of a magic value to indicate no value than a distinguishable representation of it :-) I base this mostly on an assumption of C still being one of the most widely used languages for the code that's
260.
by codebje 2y ago
Instruction decoding on a real Z80 CPU works pretty much like that, as it happens. There's a big PLA table that takes the IR inputs and a handful of other control signals (like "is 0xED prefixed") and lights up output control
261.
by codebje 2y ago
It may depend on what you mean by 'practical', perhaps, but in a Haskell-like language divergence (as opposed to induction) more or less takes the form "let x = x in x" with varying degrees of ceremony. If you can provid
262.
by codebje 2y ago
https://github.com/YosysHQ/apicula Project Apicula says "currently supported boards are ... [list of mostly Tang boards]" without qualification. I wouldn't be surprised to discover that it actually is qu
263.
by codebje 2y ago
iCE40 was a good start, but boards based around that family are getting hard to find. For those who are building their own PCB and want an FPGA on it with minimal fuss, the iCE40HX1K comes in a TQFP-144 package and is still readily availabl
264.
by codebje 3y ago
I suspect that the unfathomable nature of condensed knowledge arises from the fact that there is simply no shortcut to expertise. You must earn it through experience. Someone with a similar level of experience to the author may well have th
265.
by codebje 3y ago
> Tell them you need to verify them, and then ask how they propose you do that. Last time I did that, the caller said "but you can just trust that I'm from <X>." So I replied that they, likewise, could just trust tha
266.
by codebje 3y ago
I put in very limited effort in returning cold calls. The contact is being initiated by the other party, the interest in the exchange is theirs, and the onus on making it work is theirs. Companies, including banks, don't call you to pr
267.
by codebje 3y ago
I've had a wide range of responses from people calling me when I tell them I won't give personal details out based on a cold call. A few understand immediately and are good about it. Most have absolutely no idea why I would even b
268.
by codebje 3y ago
Lambda calculus is an abstraction of computation - but it needs to be defined, somehow, and you can use prose ("a term is a character representing a parameter or value, an application of a term to another term is expressed by writing t
269.
by codebje 3y ago
Dafny and Whiley are two examples with explicit verification support. Idris and other dependently typed languages should all be rich enough to express the required predicate but might not necessarily be able to accept a reasonable implement
270.
by codebje 3y ago
It's probably subjective, but I don't see the need to wrap your code in a try/except block as an improvement over an optional sum type, and I really don't see the use of a magic value to indicate no value as an improveme

More ›