sbf501

39 ms·

421.
by sbf501 4y ago
I totally missed hash_equals. D'oh! This was fun, I'd like to practice more "spot the flaw" scenarios. Is there a website/tutorial that shows bad code like this? I would find it helpful.
422.
by sbf501 4y ago
Advantage over what? The idea that RISC is somehow simpler went the way of the dinosaur 30 years ago. The ISA does not define performance, that is the microarchitecture, which is where all of the engineering effort is spent. You can have th
423.
by sbf501 4y ago
I didn't know that existed. What a fantastic project. Thanks for the link.
424.
by sbf501 4y ago
That's what I was getting at with the second sentence in my post: we can verify the code matches the spec, but not that the spec is flawed. So this verification is what CPU designers do: they create a RTL (HDL, VHDL, Verilog) and then
425.
by sbf501 4y ago
The thing I'd like to understand that the paper didn't touch on: how do we know the example TCP RFC English Language description isn't logically flawed? If the F* code adheres to the RFC, does the verification prove that the
426.
by sbf501 4y ago
I'm surprised the author didn't discuss actual electronics. Early BOSS pedals in the 80's were wonders of analog design. Check out the schematics of the chorus, flanger, and phaser. They are delightful to study: https:/
427.
by sbf501 4y ago
> Anyone who isn't directly contributing to a product can't be high performing. Are you implying managers don't directly contribute to a product? Because wow, you're really either horribly naive or wildly narcissistic
428.
by sbf501 4y ago
Really high performance MANAGERS understand you can't succeed at scale without indicators. You seem to come from the naive viewpoint that solo devs rule the world and run open-loop like some imaginary hotshot. That couldn't be mor
429.
by sbf501 4y ago
> It's absolute insanity that they don't see that the best talent can and will walk out the door if this happens. E When your 51% CEO has so little life experience, what did you expect? There's a reason why - IN GENERAL -
430.
by sbf501 4y ago
See what I mean? WTF.
431.
by sbf501 4y ago
i've always used 0i\t\t\t\t...\esc to shift. never occurred to me to use >>. probably because the three keystroke savings didn't register with me. but that's what I mean, once I learn the basics, the rest are just gravy
432.
by sbf501 4y ago
because i've always found the vi documentation a bear to navigate. i don't know what shiftwidth is even for. here's the help for it: shiftwidth([{col}]) shiftwidth()
433.
by sbf501 4y ago
You and one million other kids have made LEDs blink. /golf clap/
434.
by sbf501 4y ago
" My vimrc from 1994 to about 2000 set et set ts=4 " Added this circa 2000 syntax on " Added this ~2013 let g:solarized_termcolors=256 set background=light colorscheme solarized
435.
by sbf501 4y ago
The penalty for using linux & micropython in an embedded platform is enormous: power and performance with both will be inferior to a baremetal or RToS solution and C. As an embedded developer, you are far better off learning how to use
436.
by sbf501 4y ago
The type of crypto the world ends up with will absolutely not be BTC or ETH. It will be closer to Zcash with zero-knowledge proofs, and will like only be used for things like international exchanges, escrow, new types of trusts (contracts a
437.
by sbf501 4y ago
There is ample evidence before of people predicting pretty much everything that happened (with the exception of the bizarre transfer devices that evolved out of staking, tethering, contracts, etc.). I think smugness is 100% warranted, espec
438.
by sbf501 4y ago
And an avalanche of "I told you so". Don't forget that part.
439.
by sbf501 4y ago
I'm just gonna stop quoting anyone but myself.
440.
by sbf501 4y ago
Seriously. I just liked being strong! Fortunately, I managed to avoid any injuries, so I count myself lucky. Now I just jog (not run) for cardio and do yoga for mobility. I look forward to it and don't have to wait in line at a gym (or
441.
by sbf501 4y ago
Not unless it is continued later into life. I am experiencing early onset osteoporosis and I spent my late 20's and 30's lifting weights (C&J, squats, DLs, etc). I was told that these kinds of exercises will increase bone dens
442.
by sbf501 4y ago
Good question. I'm actually working on a project to address that. Stay tuned.
443.
by sbf501 4y ago
Whew, I was worried I was promulgating another myth. Finally got one right!
444.
by sbf501 4y ago
> from a network that somebody had used for a lot side note: I still can't edit wikipedia because my block of IP addresses has been banned for some reason. I just moved to a new house and can only edit if I go to a coffee shop!
445.
by sbf501 4y ago
Ah. I see. But doesn't blocking Google's CDN create all kinds of functionality problems on non-google sites.
446.
by sbf501 4y ago
I've been doing this since 2013 and the only spam I ever get is from the one email I put on my websites. Spam filters are so good that the spam never sees my inbox (I use RunBox.com email because of their extreme privacy). The only dow
447.
by sbf501 4y ago
Yep. There needs to be a policy for data rights that is larger than the companies. Something government level.
448.
by sbf501 4y ago
But he DOES race motorcycles. So there's that.
449.
by sbf501 4y ago
...and the other 10,000 sites you interact with per year? I realize security posture is about layers, but this is pointless.
450.
by sbf501 4y ago
I should have been more specific. Yes, you are correct, an apple guide that explains how to use the red/yellow/green buttons, and what windows and double-clicking are certainly is the user manual I asked for. I meant something mor

More ›