bennettnate5

9 ms·

91.
by bennettnate5 3y ago
The paywall on Fortune that is telling me to pay $1 monthly to see the article is so, so sweetly ironic
92.
by bennettnate5 3y ago
> those applications need the proof for correctness so that more dangerous code---say, what would need `unsafe` in Rust---can be safely added There are actually already tools built for this very purpose in Rust (see Kani [1] for instance
93.
by bennettnate5 3y ago
Not the original commenter, but here's a more recent anecdote: My wife and I were staying at a family farm outside the US for several weeks during Covid lockdowns. We had data turned off since our plans would charge us hefty fees for i
94.
by bennettnate5 3y ago
> the NSA is able to Or, you know, your telco provider, who then bundles and sells such data in aggregation to third party services. They've been caught doing it with location services over and over; it wouldn't take much for t
95.
by bennettnate5 3y ago
To make this worse, they won't even let you apply a credit freeze online until you're eighteen years old.
96.
by bennettnate5 3y ago
> Do you remember two advertisements you saw today? Thanks to uBlock, Newpipe and the like, I generally see less than two advertisements a week.
97.
by bennettnate5 3y ago
Looks like my first impressions were mistaken--that's rather disappointing.
98.
by bennettnate5 3y ago
Everything needed to run it locally on your ownmachine or self host it is open source (Apache v2.0); its the integrations with various other services (Google Drive, Atlassian and the like) that are kept proprietary.
99.
by bennettnate5 3y ago
Draw.io has one of the most well-executed open source business models I've ever come across. They have a minimum core product available open-source (which I like because I have confidence I can make changes to SVG files I create years
100.
Draw.io: Open Source Online Diagramming(github.com)
68 points by bennettnate5 3y ago|20 comments
101.
by bennettnate5 3y ago
I don't think he's giving a blanket free pass on censorship during war time, but rather is acknowledging that there are necessarily censored fields of information during war that would otherwise be used to the enemy's strateg
102.
by bennettnate5 3y ago
I'd love to hear more about what kinds of carrots you were fed coming in from a non-STEM background. For me, the one I can remember was a family friend recommending I stick to an engineering field (mechanical, electrical, civil, etc.)
103.
by bennettnate5 3y ago
> More conservative provinces have worse wait times. This feels like a pretty glaring generalization. If we look at the actual data, the story becomes a little more nuanced [1]. "Conservative" provinces have wait times that are
104.
by bennettnate5 3y ago
Nope, not for wifi calling. The moment your phone connects to cell towers, they siphon location information to what is known as a Gateway Mobile Location Center (GMLC) which collects and aggregates location data on phones connected to the c
105.
by bennettnate5 3y ago
Debian is 6 letters as well, though I agree--Debian really brings most of what I love about Ubuntu.
106.
by bennettnate5 3y ago
This is a good point--my understanding is that it also takes a little longer to run than simple value-store RFID tags do (second(s) instead of milliseconds). Pressure sensors in tires might be far enough removed from the corresponding reade
107.
by bennettnate5 3y ago
Your contactless credit card uses RFID; I sure hope it would use encryption :)
108.
by bennettnate5 3y ago
Data provenance is going to be more important moving forward from here, especially if copyright rules lean away from allowing generative AI outputs to be copyrighted. Providing demonstratable proof you were the original author of a work--wh
109.
by bennettnate5 3y ago
I've found strace | grep "open" particularly useful for locating config files. They're usually opened right at the start of the program as well. (For reference, strace prints out every system call used by a program with
110.
by bennettnate5 3y ago
... You're joking, right?
111.
by bennettnate5 3y ago
I've always wondered if Daniel gets a particular amount of email of this sort because his address includes "haxx"--for someone without tech savvy, it's not all that much of a jump to assume an email that includes somethi
112.
by bennettnate5 3y ago
Perhaps maybe values are only _mostly_ represented, such that storing a `maybe` will baybe result in true or false actually being stored, contingent on the compiler and surrounding code. Thus, maybe accurately describes itself--storing a ma
113.
by bennettnate5 3y ago
For reference, large scale studies have indicated that infertility rates have plateaued from 1995 to 2019 [1]. Studies from years prior to 1995 indicated that fertility rates were actually _declining_ up until 1995. I've noticed a pret
114.
by bennettnate5 3y ago
Piracy will never die while people can still play movies on devices they have control over. Pirates can still screen capture audio+video from a streaming platform while it's playing; even if a video is never released to Blu-Ray, it can
115.
by bennettnate5 3y ago
Statistically speaking, Mormons have one of the lowest rates of divorce among religions in America, at least when looking at marital status [1]. Only Hinduism has a lower rate of divorced individuals. That being said, I'm sorry that wa
116.
by bennettnate5 3y ago
Granted, the reason for that could be that through the years the greybeards that call the shots have weeded out (whether unintentionally or intentionally) any voices that are incompatible with their way of doing things. I agree that it does
117.
by bennettnate5 3y ago
Did Graydon write the Rust analyzer? Did Graydon personally pen all of the documentation (let alone the books and tutorials) that contribute to Rust's usability? Rust is great primarily because it has a community of contributors that
118.
by bennettnate5 3y ago
Seems like you're conflating (in)fertility levels with fertility rate. Fertility rate has been dropping steadily, particularly in developed countries; however, this doesn't mean individuals are slowly all becoming infertile. In fa
119.
by bennettnate5 3y ago
They measure completely different things. BMI is a pure weight to height ratio--someone could have almost no skeletal muscle and have a "better" BMI than someone who works out daily and has heavy muscle density. They're stron
120.
by bennettnate5 3y ago
"Grind to a halt" is an awful overstatement here. They should really be saying "farmers lose 4% efficiency boost from downed GPS system" instead. I worry there's a serious misconception in the discussion of this art

More ›