_vdpp

8 ms·

31.
by _vdpp 4y ago
A few random thoughts: 1. For as much as we spend on education, teachers seem to be grossly underpaid - to be getting robbed of their share of the budget. Where does that money go? 2. It seems that education degrees are seen as easier to ac
32.
by _vdpp 4y ago
That’s already happening.
33.
by _vdpp 4y ago
Counterpoint: Star Wars Special Editions.
34.
by _vdpp 4y ago
Vegas, yes. What was wrong with it?
35.
by _vdpp 4y ago
Nobody’s stopping you from starting a anarchist syndicate or commune or kibbutz or whatever. They are out there, but I don’t think they are any kind of utopia.
36.
by _vdpp 4y ago
Just drink it straight. Municipal water (with few exceptions) is already filtered, treated, and regularly-tested for contaminants. It’s an insidious message from the bottled water industry that tap water is somehow poisonous without being f
37.
by _vdpp 4y ago
With some exceptions (e.g. Flint, MI) tap water is very clean already, cleaner than a lot of bottled water in some cases.
38.
by _vdpp 4y ago
Eh, I’d argue the opposite: developers expect the end-user to rely on Stack Overflow or perusing GitHub issues to figure out how to use their product, instead of making easy-to-use products.
39.
by _vdpp 4y ago
This reminds me of a small organic farm owner who said something to the effect of “why can’t I just trade my extra produce with the farmer down the street who has extra eggs? And then I can use the eggs to make pastries and trade those with
40.
by _vdpp 4y ago
Really interesting article. I wonder if there’s any possibility of creating ultrapure water from ultrapure streams of hydrogen and oxygen - but maybe it’s harder to filter the component gases than just filtering the water itself.
41.
by _vdpp 4y ago
I’ve been wondering if SWE pay rates have been artificially high for a while due to easy lending - it will be interesting to see if your prediction comes true. Probably a lot of SW companies out there right now are dependent on discretionar
42.
by _vdpp 4y ago
Maybe there’s just a higher number of elderly there in general, from people retiring to warmer climes?
43.
by _vdpp 4y ago
How is physical strength unimportant? Stronger people are harder to kill (h/t Rippetoe) and improved strength also helps to avoid carpal tunnel syndrome and neck/back pain for those of us at a computer all day.
44.
by _vdpp 4y ago
Arguably a lot of pre-existing, accredited institutions are now pretty overtly not a traditional degree program (not even in say, English, or History) but a religio-political indoctrination program designed to create warriors for a particul
45.
by _vdpp 4y ago
I think most people would be better served with the original nootropics - caffeine and nicotine (smokeless of course).
46.
by _vdpp 4y ago
The folks holding those assets didn’t have the money either though, until it was time to sell and they sold.
47.
by _vdpp 4y ago
Yes, there can still be side-channel and out-of-band attacks in FV systems. For example, pouring water into the server rack. That’s a cheeky example, but things like timing side-channels via speculative execution and cache hits wouldn’t be
48.
by _vdpp 4y ago
Granted it was 1982, before software played such a big role in everyone’s life. Maybe it would be a bigger deal now.
49.
by _vdpp 4y ago
A lot of people take undecidability to mean “no program can be proven to terminate” when in reality it means “there exist programs which are impossible to prove termination,” and like you said most of the useful programs we write can be sho
50.
by _vdpp 4y ago
I think the cost of provably correct software is actually much lower, but you pay more of it up front. The perceived incentives of being first to market are higher than that of quality software. I suspect eventually there will be a big laws
51.
by _vdpp 4y ago
One thing that will help drive adoption is the ability to run SMT solvers more quickly so the proof stage of your design/build has a faster feedback loop. I ran some experiments with the Z3 and alt-ergo solvers (verifying SPARK/Ad
52.
by _vdpp 4y ago
In the SPARK subset of Ada, the specifications and contracts live alongside your code in the same language, then you can prove that the specs are satisfied. You can also leave out the contracts and just prove absence of behaviors like divid
53.
by _vdpp 4y ago
Formal verification predates Rust by decades. The addition of lifetimes and the borrow checker are worthwhile contributions to the field of provably-safe software, but there are a lot of other soundness properties that Rust doesn’t check (t
54.
by _vdpp 4y ago
“Mail hacking” was a thing. I forget the name they gave it but read an article in 2600 or Phrack some time ago that talked about some of the tricks like the one you mentioned. The only other one I remember was to put a smear of Vaseline in
55.
by _vdpp 4y ago
This is sage advice for non-collectors too. My parents had the good sense to hold an estate sale before they downsized and moved in with a relative, they knew that it’s a massive burden to leave children with a house full of unwanted things
56.
by _vdpp 4y ago
Most people don’t save a bunch of cash and then dump it all in the market at once, though. Continue to invest in diverse assets throughout downturns and you’ll be fine.
57.
by _vdpp 4y ago
So don’t do that. Diversify.
58.
by _vdpp 4y ago
I’d like to see RAD tools, WYSIWYG editors (that don’t generate awful code), one-click build/deploy without any yaml. I feel like the big cloud providers are really under-invested in this area.
59.
by _vdpp 4y ago
It seems like another “standard” that puts an immense burden on everyone else so the big players can save .01% on their bandwidth/power costs.
60.
by _vdpp 4y ago
It almost sounds like a carnival or arcade where you can buy tokens and gamble them to try and win tickets. I wonder if that’s a potential defense.

More ›