skysight-inc/HackerNews huggingface dataset:
I'd also wonder about how old this part is and whether it's partially based on Windows. USB behavior on Windows used to be optimized for speed and would do caching (hence the need to eject flash drives before removal) but in one of the Win10 updates it was changed to safe removal which basically disables write caching on removable devices. So, at least on Windows, there was absolutely a time where the OS would report completion before things were actually written.
I'm more than a decade in on my 1Pwd journey. Loved it the whole time!
No, my assumption is that a war would leave Taiwan scorched and useless to anyone.

"a) mostly independent because it produces a lot of technology domestically" would ensure that China doesn't suffer from the lack of availability due to this destruction, and "b) the next-in-line for supplying the tech to the world if the current main supplier disappears" would ensure China profits.

That assumes these two assumptions are actually true.
Veloxity – The New Force in CRM
Google vs. Oracle
I just wish I could donate. I don't need the premium features, and I don't need yet-another-subscription-plan to worry about.
I think you can use the ticket for only one subway ride in one go, that severely limits your plan. And 90 minutes are counted since the first trip.
The ones called IPTV are the ones with really questionable sources, in my experience. I'm not sure how the term IPTV became synonymous with that.
> which itself [uncomputable numbers] is the most intuitive way to define uncountable sets

Can you explain your intuition for this step?
I hope he would do something more interesting than spending his money on a yacht.
This is not a hard-stop like the TLS warning pages. So not a "big" issue.
It's not about working hard. It's about working "smart" and hard. You can work crazy hard to dig a hole in the middle of a field, but unless you are actually trying to accomplish a goal, the effort is wasted and leads nowhere.

In much the same way, you can bust your ass working as a cart fetcher at a grocery store, but unless you are intentional about how you are going to use that hard work to leverage yourself into a better position, you are just going to maintain.

Hard work should always be balanced by some amount of self education and intention, or else you run the risk of treading water and getting nowhere.

The reality is that learning is an uncomfortable process. A lot of people find a comfortable rut and they seem to prefer just staying in it. This is why public education is so important. It forces people to give themselves at least a bare minimum amount of education. Just imagine how dumb and poor everyone would end up if parents weren't legally required to educate their kids.
Yeah, they were a shitty low class bus line with all the baggage that comes with that but they offered $5 tickets and that's what people could afford. Being able to go between Boston and NYC for $5 made a heck of a lot of people's lives better.

>Megabus and Boltbus in their wake is unequivocally a good thing.

Only if the difference between $5 and $15 (or even $35, which is what the Megabus website is telling me a Boston-> NYC ticket for today costs) is not meaningful. $15 tickets and Fung Wah coexisted. Clearly there was no shortage of people willing to take on the extra risk of riding Fung Wah in order to save $10. As far as I care that makes it a useful service you can hemm and haw about whether or not it was justified but the fact of the matter is that said useful service no longer exists thanks to the state.

>Fung Wah being shut down isn't an elitist conspiracy — they were completely irresponsible, riding their buses was dangerous,

This is exactly what I mean. If you don't care about the difference between $5 and $15 then of course you don't see any reason for Fung Wah or any similiar service to exist because it is all downside.
Options for Enhancing Video of a Burglary?
My home was burglarized last week. My neighbor's security camera captured two 30s video clips of the individual, one at my front door prior to forcing it, and one with him leaving with a cloth grocery bag containing property he was taking.

The video shows his face, but it's not as clear as I would like. I don't know how to quantify its quality except to say its "not bad" but "not great either."

I would welcome any suggestions for extracting and improving still images from the two clips. I'd prefer to outsource this to someone that has experience in this kind of work.

I don't have a lot of confidence that the local police are going to invest a lot of time and effort in this, only because they are overloaded.

Any recommendations for providers or other actions to take would be appreciated.
Bioplastics continue to blossom–are they better for the environment?
It's ironic (contrary to expectation) that those who work in tech/web/software, myself included, are often wary of adopting new technology like the Smart Home.

I've used a "dumb phone" for a long time, and only bought a "smart" one due to work necessity. Even now, I barely use the latter personally, or carry it around with me, since I know it's basically a spying device for third-party apps.

I love the concept of the Internet of Things, and have started studying it deeper as a hobby. If my home is going to be "smart", I want to minimize its dependencies, to understand how it works, what services it's connecting to, what data it's sending, and make sure everything is under my control, repairable and extensible.

Like the HP printers that stop working if they can't phone home (without informed consent, I'm sure) - or these Charter security devices that will simply become useless after the company shut down.. I believe the reluctance on some part of the tech-savvy population is justified, because we/they understand the risks better than naive tech enthusiasts.

Either that, or, we're getting older and suspicious of new things - but for good reasons, as our trust has been betrayed countless times by tech companies.
Could it mean that a person must be guarded with their political views or face societal ostracizing and career stagnation?
I personally like "deferred maintenance". Similarly doesn't have a monetary value to it, unless you actually do a check-up where you could calculate it (man hour estimations).
LastPass is riddled with problems, and the quality has dropped precipitously since their acquisition by LogMeIn. For a sampling of their problems I suggest searching this site for their name.

https://hn.algolia.com/?q=lastpass
What’s the deal recently with new accounts on HN peddling anti-western conspiracy theories? There’s a kernel of truth here but the conclusions and narrative are simplistic and false.

There’s no shortage of good historical resources on the Bengal famine which demanded at its peak 3x as much food as was sailing past to war-torn Europe, and with which Churchill asked FDR for assistance, but instead we just get inflammatory rhetoric.
Internet Explorer Scripting Engine Memory Corruption Vulnerability
In my other life (2000-2008 ish I think) I've also dealt with the large (tens of thousands) deployments all consumer grade as in your case. No SQLite though. Obviously we've had some hard drive failures. What is very interesting is that the results were exactly opposite. WD drives lived and Seagate drives failed. I am wondering if such discrepancy was caused by the usage patter.
Bucket sort can be pretty effective physically. An example would be separating the papers by first initial if you're sorting by name (pick whatever matches your sorting key), then sorting each bucket individually (pick whatever seems appropriate, another layer of buckets or just insertion sort for instance). When you've sorted each bucket, you just put the buckets in order, no real merge work needed.

You can adapt what you're doing by how the buckets look (huge bucket? do another layer of bucketing in there. Small bucket? Just sort it) and it's easy to see progress and you can "discard" buckets as you go (put them in one output pile as they're done).
Questions I wondered about that weren't answered until the end of the paper:

Q: Do engineers actually implement AWS systems in TLA+?
A: No, TLA+ is called "exhaustively testable pseudo-code" internally, and is only used for designs.

Q: Which AWS systems use it?
A: The first was DynamoDB, followed by S3, and now there are 8 additional complex systems that use it for designs.

Q: Who uses TLA+ at Amazon?
A: All engineers, from entry level to principal.

I thought it was especially interesting that several engineers at AWS were effectively writing their own model checkers by writing programs that tried to brute force rare combinations of conditions that would lead to system failure. Obviously TLA+ does this better and faster so they switched to that.
For me, the single file is the nr 1 reason.
It sluist works, the file is the data.. very clear.
It's $11/day, not $11/hr.

Yes, the authors are either using a poor interpretation of PPP, or a very inclusive definition of middle-class.
The long-term solution for web is:

- Use more static HTML
- Since your assets are versioned and static, start calculating hashes for everything you publish
- When you link to something, include the URL and the integrity <a href="URL" integrity="sha256:...">...</a>

In the immediate future this will fix broken links. Things that are important will be cached and accessible via content addressing. In the long-term future this will fix other problems like linking to a page and then it being changed to something you don't endorse.
With how widespread both SQLite and WD are wouldn't half the world have apps crashing left and right, if just the hard drive brand was the cause of the problem?
You do need enough free time to start said small business, though, as well as enough capital (even if not "massive loans"). For many people those requirements are pretty tough.
Thanks a lot for the response. Even though admittedly I can hardly comprehend what it means, it certainly gives me finally some topics and concepts to dive a bit deeper into to try and get my head around such a complicated topic, especially your points on the logic gates used. i've always looked at it more from a down to up approach, but this explains exactly why that has gotten me no where so far. thanks a lot. :D
Apple 2019 International Transparency Report [pdf]
If you care about Pi reliability then don't have the root partition on an sd card.
I'm not an expert, but yes compile times can get crazy if you're not careful. In theory, the situation is no different from (ab)use of C++ templates, the Rust macro discussed here, and so on. In practice, whereas C and Rust will choke on a 100kloc function, Idris might choke on a 100-liner, depending on what you're doing. Edwin Brady is currently making steady progress on a new compiler--this time written in Idris itself--that's much faster in practice:
https://github.com/edwinb/Idris2
The term "food desert" is defined in such a way as to exclude most forms of inexpensive vegetables that poor people actually eat, such as frozen or canned, and many other foods which are approximately just as healthy. These people don't lack access to healthy food, they simply don't have the money to buy expensive boutique fresh foods that only the odd cultural elitist thinks is necessary for healthy eating (and absent any scientific evidence). We've defined "food desert" to mean "nobody buys expensive, unnecessary food", which sounds suspiciously like poor people are demonstrating good judgment.

True food deserts are very rare. I've been poor in many parts of the US. All food deserts per the conventional definition, while never lacking in plenty of healthy food options in reality. Asserting that the vegetables that poor people eat are not hipster enough to count as "vegetables" is a bizarre way to demonstrate that one cares about the welfare of poor people.
> that worries me privacy-wise

This should be addressed by the client, not the server. The server's function is to serve the data, not serve data and pretend it doesn't know who it gave it to.
In that sense, the archaic definition of upper class exists and is being as a mechanism for social prejudice and exclusivity; as a way to keep new money out. I don’t disagree it exists, but I’d argue it’s socially harmful and that we should actively strive to replace that definition with the one that’s actually measurable, rather than arguing against socio-economic status as a synonym for social class like the GP’s comment did.
If the service is down for a limited amount of individuals I consider it still up. This does beg the question of how many constitutes "down". I think the nature of the problem and quantity of users affected is important.
darn paypal.corn XD
Yeah...I mean I’ve made $25K in the stock market already this year for doing absolutely nothing
> I'm not familiar with "theregister.co.uk"

Then you're not qualified to be discussing software or the tech industry, frankly.
They provide code and data for full verification. https://github.com/deepmind/deepmind-research/blob/master/al...
> "Adding manpower to a late software project makes it later, but adding documentation to a late software project makes it easier to add manpower.."

I think this is shared by all big engineering works.

> This is a cultural mechanic

I'd call this "structural" instead of "cultural", where I am of the opinion that culture is implicit and structure is explicit in nature.
My first impression of this is that Sumerian is to Aframe as UiPath is to VB, where the former is WebVR and the latter is Automation
I always look for the "I reject" or "Configure" buttons, and where they are missing or obscured by dark patterns, then I know enough: This site is not for me (even though I have Badger and uBlock).
No, it won't. Working smart will though. Designing your life so passion, mission, and connection are overlapping. It is very possible to be fulfilled by your work while earning a good living and making a difference in the lives of others.
SVG, Canvas, WebGL? Visualization Options for the Web
> And all those new middle-class consumers are doing a real number on the environment,

They are enjoying life, good for them!
and 1 day unlimited pass is a thing, for just 230 rub.
You telling me Biden, warren and Sanders are president material? 2 of them never held a real job. One of them lie to the top.

I am so happy that Trump is president. He is making correct business decisions not political correct decision.
Ahem! https://duckduckgo.com/?q=dam+methane
Orange Badge
Throwaway to avoid stigma of what I’m about to say:

It’s worse. This site is a good example. It’s rules limit the noise like you get on Reddit which makes it easy to see without automated counting.

Commentary here is often of the “if you disagree with what I see as a fundamental truth, and contextualize, even though it’s a subjective political opinion, well tldr: downvote.”

The group think here is insane. Protectionism of the ideas that we believe prop up our individual identity are not allowed to be challenged.

And I’ve not peddled conspiracy. Just that my work and agency shouldn’t be bent to the whim of elites.

It’s not “tech illiterate politicians”. It’s society addicted to shallow consumerism.

Being addicted to novelty and such is fine, there’s something to be said for that versus war, right?

But this site really doesn’t defend that. It defends social norms that denigrate the masses. That put tons of effort into crap.

That’s by design. Propaganda research went from military to university and was integrated into advertising, marketing, and journalism. That’s not a derpy state idea. It’s plainly recorded in official records.

Every generation ends and we don’t plan for that. We knew fighting to cling to their rules.

While we’re fetishizing their push for quarterly gains, we’re enabling the continued march down the path we’re on.

Gather supplies, coordinate with neighbors, and online to pick a Monday and stay home.

Even a visible enough sustained effort that direction, I feel, would create a ripple that lights a fire under politicians butts.

But let’s discuss fixing tech debt problems the insane grind creates, avoiding burnout it creates, how to get one more todo app of ridiculously shallow value out there, or fetishize Paul Graham’s request for a start up to build a reminder app that helps him send email? Like ffs be creative, Paul. Such low effort amateur ideas from the anointed ones. It’s almost disgusting.
I'm sure it's a lot of things. I'm just saying that whatever minor resources spent on securing moving some jewelry weren't taking away from larger police priorities.
What would it be like if our monitors had ambient light sensors so that they could calibrate their color balance to the surrounding room? The human eye tends to "calibrate" itself based on the average of the scene it's observing, so if you really wanted images to look the same on every display you would have to take that into account.
+1 for @coleifer, peewee is an awesome ORM, he knows his DB stuff very well.
It doesn't have to be a hack to be technical debt. Anything with a shelf life, even out of date design, has risk and costs. The old python 2 is technical debt even if it wasn't a hack. Something needs to be done, it's just a question of what and when.
Modern explosives are reasonably safe without a detonator.

Most bridges in Europe had/have those shafts. The Swiss removed the explosive charges from some bridges in 2014 [1].

It's perfectly possible that the TSMC "explosives in walls" thing is an urban legend, but I don't think it'd be impractical.

[1] https://www.thelocal.ch/20150113/tons-of-tnt-finally-removed...
How to Win a Hackathon – Real-Time Mobile Wildfire Detection in Tensorflow Lite
Simple four-step method to save your marriage and live a happy relationship
Yes. However, keep in mind it's not just SQLite, but pretty much every program that has any kind of state.

For instance, a program may save its state into a file every time it changes by truncating the file and then writing new contents. If an user were to copy the file after truncation, but before write, the user would end up with an useless backup.

That said, this is rather unlikely to happen in practice. Programs usually do stuff (including saving files) when they are interacted with, so a backup copied with File Explorer has a very high probability of working, even when the application is running.

Programs can deal with the issue by performing atomic full writes by performing renames, but most programs don't bother to. SQLite cannot do that, because it cannot afford doing full writes as databases tend to store a lot of data.
Huawei signs maps deal with Dutch firm TomTom
That's not subjectivity so much as a namespace error. It's why quarks have no colors but also have colors.

The amusement arises from intentionally misunderstanding the namespace. It's not a real misunderstanding.
> The best way to get ahead is to inherit wealth.

Sorry to be pedantic, but this is not “getting ahead”. It’s simply being ahead.

The act of getting ahead requires work or fortune, because it implies you are behind.

The act of cruising while ahead just requires discipline. The more money, the less self denial, the less discipline.
Elizabeth Holmes’ financial jeopardy: Will court leave Theranos founder ruined?
I'm surprised that they didn't ID at the shuttle. My ex loved going to casinos and we been to over 20 in North America taking the shuttle buses. For us they either required ID at the shuttle boarding or the member card at shutting boarding. Of course the member card is free, but you needed to be of age at the casino to get one.
Reseller Portal for Software Licensing
Let's take that avenue as a thought experiment...

1. Netgear buys the bug.

2. They keep shipping firmware with a private key.

3. Someone with malicious intent finds it.

4. Someone with malicious intent MITMs a Netgear network and does something bad.

5. Bad actor sells bug online.

6. Millions of Netgear devices continue operating with compromised certs.

Instead, here's what happened/happens now...

1. Researcher tries to coordinate with the vendor, realizes NDAs are involved and the vendor intends to keep shipping their private key.

2. Researcher dumps details of private key on GH instead.

3. Mozilla and Google stop trusting the cert.

4. Now Netgear no longer gets to decide if they want to fix the problem. Browser vendors have fixed it for them.

5. Millions of otherwise insecure Netgear devices are protected by the browser instead.

6. Netgear rightfully gets bad press and hopefully the shaming makes them rethink their positions on NDAs in their bug-bounty program.

7. Future bug hunters submit bugs straight to a receptive Netgear, who has learned a valuable lesson about being a lazy hack.
Even when you have fixed salaries for job titles, employers can't escape market forces - just instead of raising the salary until they fill the post, they have to increase the title too.

That's why you can be a 'senior software engineer' 2 years out of college :)
Using a mounted volume in docker for windows/mac desktop and inside container to edit the same database.

Don't do this btw, the FS sync in docker for windows/mac is really slow and prone to causing corruption and errors if you do.
Absolutely agree that at scale this matters in a big way, but I’d argue most of us are not working at FAANG.

Most of us are probably working on a side project or some extremely targeted piece of software for construction workers or crypto or AI for self driving cars where the scale is x thousands at best.
Generating Verified LLVM from Isabelle/HOL [pdf]
I'm quite sure it's not. Statically-typed programs can recursively parse data, and they can also monadically (sequentially) parse data. The same is true of dynamically-typed programs.
It mentions this question is asked in a survey: "My hard work will be rewarded” with a score from 1 to 9. (reverse scored) POP_MDCr18
But you are right, I couldn't find the data to see how this question was answered.
Curious what the hotpatch was?
Let's say you were charged with a crime, and you knew you weren't there and that you had your cellphone with you? Wouldn't you want to see if one of the many surveillance systems that track you could help prove your innocence?
Backdoors, Golden Keys: Here We Go Again
You pass by reverse on the way to drive on a lot of BMW automatic shift knobs. Drive is on the bottom, but before that is neutral, then reverse, then park. To go from park to drive you have to pass reverse.

I have not had the problem that the other user complained about, of the reverse camera and sensors coming on when changing gears. Perhaps they shift much slower than the manufacturer anticipated, or they aren't depressing the button on the knob.
Thanks burntsushi for this and all your work on FOSS. There's one thing that I'd be interested to hear about that's not in the blog post -- stuff to do with how your FOSS involvement and your professional life impact each other. Ultimately it's zero-sum: 24hrs in a day. Do you often find you much prefer working on your side-projects than on your day job? Do you think you'd be a more productive / more engaged / deeper contributor in your day job if it weren't for the side projects? Or is it more that your love of software would suffer if it weren't for the side projects and hence you'd actually be a worse employee? Perhaps those three sentences are bit facile, but hopefully the question is clear.
Unfortunately this is a problem that's mostly a result of the browser vendors (who are in control of the validation/UI), and can't be fixed by Netgear / etc. They've decided that security trumps usability.

I suspect at done point the router manufacturers will give up and just force setup through a phone app (assuming you could download it over a cellular connection). That makes me sad, though.
I think https could work fine, just give each device a unique key and dns name.
Autodesk and Coal Mining: Correspondences