Good lord! Since when did engineering become making crap then fixing crap as a flex? To just make payroll so some corporate robo moron can make rent? You cannot be in my team. Or my company.
Willy nilly giving an agent more (write) access to figure out a bug ... man you're daydreaming.
I sort of agree ... bit casting from an N width integer into an array of ... woah ... that's too far. It's bitcast not byte-cast which has an implied reinterpretation on a same or smaller word size in the cpu.
Once you see that the fact somebody has a u24 in their code is between them and the compiler alone.
As others probably noted byte casting (keeping the same endianess) is what unions are for.
I was briefly employed by a robotics company in the US ... robotics is too nice: glorified if/then/else is better.
The owner was the son of an old school magnate out of PA.
Among other things his line has always stuck with me: "A whale that surfaces is soon harpooned."
The company never made money. I think the whole thing was run as a loss on purpose for tax purposes. I became tired of the head manager/engineer combo (big fish in this tiny, tiny world) and left.
Even they knew this company was never really trying to do anything serious. Strange indeed
The PDF describes model checking in TLA working through minimal background (fairness, model state etc.), application in TLA, two non-trivial models, and two appendices with reference background on TLA, and its procedural cousin PlusCal.
No, not tyranny necessarily. If it's malign morphing into hate speech, racial or genetic seregation, imposing religion, esp. backed up by state power that's a problem. For example, the US has a senate to balance out the house while at the same time California's take on something cannot be rejected out of hand reflexively as tyranny
Politics? Is it? Or is politics a grand word for whining and adults in a perpetual small world? Law, history are at least more grounded as a basis to argue for or against.
Let's not let politics' meaning become so diffuse it's just free speech by another name. Herein "politics" seems to be too inconsequential for a far more consequential result than cycling out party A for B for a few years would have.
I've half joked before that brexit was the only solution Cameron et al saw left because they didnt have a way to hold Brussel's paper pushers to account. Taking your ball and going home is not bold leadership: it's an admission one's argument and solution is weak.
>If the people want to change them, they absolutely have the right to do so
Not so fast. They are in a union with other provinces ergo they have a say.
If nonetheless in some asinine way they secede, will they take their portion of Canada's debt, and other liabilities?
Won't all other provinces require them to negotiate a border, security, and trade policy? Surely they can't expect to be separate yet equal to BC or even the NWT?
Exactly. The dod was dumb enough to sign the restrictive contracts too. Simultaneously it's darn time the dod gets off their duff and either demands much higher customer satisfaction or tells the other side we'll handle selected repairs ourselves.
It's the enlisted men/women who ultimately have to bear up under their choices: does their equipment work in battle or not? And tax payers to pay. As soon as the dod discovers they have ultimately accountability whence ultimate control things will balance better
And an aside: it'd be awesome if every round didnt cost 500 million+ ... I have recently been depressed to hear we spent a large majority of missiles etc in Iran. Iran? Really? How in the hell are we gonna deal with something serious? (Iran/oil is serious of course .. but Iran isn't china)
Reactionary. At worst young kids are lazy (in selected cases only) and nieve about how work works.
Entitlement comes from mental disorder or growing up in affluence like much of the upper 5%.
Moreover, kids from middle to lower income brackets i think work harder, are more resilient, and take their education more seriously than those that just fall in Harvard. The underlying difference? Consequences in the real world. When you always land on your feet or feel untouchable entitlement is 6 months away to a lifetime of clueless.
Im learning zig for kernel bypass packet work. Aside from some noise, and one bug filed on cross compliation (prob simple to fix) bug, it works like I expect. Export of zig code to clib works fine. Comptime is great. Compile time superb. Like TB I will import no other modules ... and avoid all async.
But this link has got me concerned. When I get more ibverbs work done ill see how good/bad it is in rust.
In this kind of extremely low latency high throughput work there is hardly any (mostly none) MT data structures. Memory is pre-allocated for one pinned thread. Atomics are not much used either. So rust isn't going to help on design much. But I think rust/c interoperability is worse than zig.
In fairness to zig many of these issues were closed when zig 0.16.0 was released, which is what im using.
You cannot observe infinity operationally. Take 0 and add 1 repeatedly. For what n does n+1 become infinite? Never. Since you can't construct infinity you can only believe in it like God.
Hence the jargon "completed infinity". Semantically --- but not in the symbols themselves 0+1+1..." one can pass from finite to infinite by arguing since every n has a successor define Z to be the set of all successors "completing into infinity".
Not having infinity is the real reason a+b=b+a can't be proved in ultra finitism. Induction which depends on the idea of completed infinity is what is otherwise is used.
Willy nilly giving an agent more (write) access to figure out a bug ... man you're daydreaming.