skysight-inc/HackerNews huggingface dataset:
Yeah, seems neither self-host (onemodel) or letting someone else (you or Evernote) is particularly attractive, because the chance of data loss is always there.

Is it possible there is a solution that makes the data more permanent and allows multiple parties to backup the same sources, or something similar? Some sort of federation protocol maybe.
TSX can provide very important speedups where there aren't adversarial workloads sharing memory. Your web browser shouldn't be using it, but I think turning it off globally doesn't make much sense. Unlike hyperthreading use of TSX can be decided on an app to app basis.

As core counts increase spinlocks and other synchronization primitives simply become too expensive. We'll need transactional hardware support eventually.
Wow! There are a number of articles linked in that long chain of comments that expand upon the issues talked about:

https://underunderstood.com/podcast/episode/yelp-grubhub-dar...

https://www.vice.com/en_us/article/wjwebw/yelp-is-sneakily-r...

https://www.inquirer.com/food/grubhub-doordash-caviar-restau...

These are some slimy business practices. A number of these stories also sound grossly illegal.
Change Data Capture Tool Debezium 1.0 Final Released
Tl;dr: knowing a language of a country is a plus when relocating; weather varies between countries; your expenses depend on your lifestyle and some countries are more expensive than the others.
> Imagine if someone comes along and takes away Google's search business? At this point, their results are such a trash fire it can't be that hard. And if that happens, they've got nothing, because they've been lazy and arrogant (or at least appear that way to an outside observer).

How do you imagine that happening in practice? Say that someone comes with a competitor search that is overall better than Google search is right now. It won't be hugely better because Google search is pretty decent but even if it's significantly better it would have to so good that almost everyone cares enough to change their default search AND it would require that Google doesn't react to the new competition. With >100 billions of dollars in the treasure chest it seems extremely unlikely that Google wouldn't have the time and resources to react and improve their search engine in the face of true competition and they wouldn't even need to make it better than the competition, just make it good enough that's not worth for most people to switch.

Also, creating a competing search engine isn't just a matter of secret juice and algorithms, it's mostly a matter of tons of network bandwidth, CPU, memory and storage. While I'm sure there are plenty of people outside of Google that can come up with brilliant new searching algorithms to actually make that into a successful product that matches the scale of Google's web products you'd need a lot of money and time.
That's true, a better Microsoft analogue would be the Kin.
I do a similar thing with my laptop's swap partition. swapoff, add it to btrfs, then remove it and mkswap again. Always seemed safer than a potentially dodgy USB drive.
Uh, isn't Canonical already shipping ZFS in the latest Ubuntu? https://www.techrepublic.com/article/something-exciting-is-c...

Their argument (as I understand it) is that loadable kernel modules are separate discrete pieces of software that do not become "part of" the kernel and do not have to care about kernel licensing. They can be any license, including proprietary, like nvidia drivers.

There is about zero need for "integration" as in static linking / inclusion in the linux repo btw. Nothing wrong with dkms.
If the girls want to give it a try they will almost certainly appreciate it. Everyone who has tried a bidet that I personally know has preferred it to just TP. Plus, I believe (from experience) that a bidet is essential if you're a mensurating girl or woman who uses sanitary pads.

But the best thing about a bidet attachment is one or more toilet users can choose to not use it and it's not any different from a bidet-less toilet. It doesn't get in the way or anything, so it's there if you want it but not any inconvenience if you don't. My husband didn't use ours for the first year we owned it but after he eventually gave it a try he's now a regular user.

Plus it's so ridiculously cheap ($40) that it's worth trying out.
This is completely false. PoS is securing billions of dollars on Cosmos and Tezos alone
Yes, no damage whatsoever!

When I finally got rid of it round about 2010, it was still working as it always had. But it was hard to justify keeping that massive, heavy box around forever (IIRC, it was something like 40kg!)
This is such bs. You choose how to use the tech, if it is taking over your life, maybe look in the mirror? There were idiots before smartphones is what I'm saying.

Social media seems to magnify idiots making it look like society is 99% idiots now. It's not remotely true, but maybe it's having a bad effect?
Amazon Slashes Echo Buds to $90
For user authentication: Hosted (Auth0 or Okta), self-hosted: Hydra

For Service Identity: SPIRE/SPIFFE... (or Oauth CC flow if mTLS is not possible)
So did your chute slow the payload down enough to keep it from being damaged? Do you need insurance against it coming down on someone or their property?
Many people who post here are involved.
JIRA is great but only in an enterprise where there's a team to manage it, I've moved on from it and I miss the flexibility that it offers - but that flexibility comes with extreme complexity. Most small to medium sized businesses don't need it and can make do with something with less features.
Google bought AppSheet (mentioned in the announcement). Also, Retool (YC alum).
n is n steps ahead of 0,and thats what < checks for.
What are you using for this, what is blocked / how do you construct blocklists?
As someone unfamiliar with creating scientific papers I'm curious if anyone knows what format the citation modal is using?

https://imgur.com/a/bem4e8u

Is it for TeX or a common syntax for some publishing platforms to pick up?
Fires happen in important British collections too.

https://en.wikipedia.org/wiki/Glasgow_School_of_Art#Fires
My brain-dump to improve higher education
The Xbox 360 was aimed at a niche of people (college-aged 'gamers'), and I qualified my statement saying that it was too early for the demographic the Wii was targeting.
yes, they mention it in the announcement as a replacement.
That doesn't help: mathematicians have two definitions for "the natural numbers", one starting at zero, and one at one.
...aren't them from the same age?
If the database is PostgreSQL, I would strongly advise about forgetting about filesystem snapshots and instead using streamed backups (if on premises use barman, if in cloud WAL-E or WAL-G (never used it but looks like improvement over WAL-E).

This gives you backup with a replay value, so you can restore at any point in time. You can also use such backup for setting up replication. There's still a daily backup which is there to speed up recovery and increase resiliency. Those backups don't really put much load on the database, but if that's a concern you can back up the replica (which is what cloud providers or at least AWS is doing).

As for ZFS, out of the box ZFS is not a good file system for databases, although you can get a good performance after tuning. You for example want to configure it to have block sizes alizened with database blocks, configure ZIL, perhaps changing block hashing algorithms (although I think current default should be fast).

As for your question how are cloud providers are doing it, most of us can speculate. To me it looks like standard RDS instances are simply on EBS (which are utilizing S3). In Aurora they skipped EBS and implemented another database storage directly.

It seems like the backups are performed in traditional way though.
Swap ~ and 0
Can you elaborate re: present situation?
Bibtex. Originally for the bibtex tool (which generates bibliographies for (La)TeX documents), but now common with other citation tools too.
I'm not aware of anything that would conflict with my stance. The point being that no object is more important than the principles here. The world will keep on spinning if all this stuff is destroyed. The bar for conflicting would be something that causes problems for our continued existence on earth.

Perhaps something such as a country "owning" a river and deciding to freely dump nuclear waste into it which in turn causes problems for everyone.
We need DoH (DNS over HTTPS) and/or DoT (DNS over TLS) faster and everywhere, including routers, browsers, OSes.
And we need to get rid or find a viable alternative to this hostile hotel and airport WiFi hijacking DNS login methods which is essentially the same this hackers have done in a larger scale! We need some alternative and good method for that.
https://lukaszkups.net with blog at https://lukaszkups.net/notes/ - feel free to take a look around! ;)
> What you are in essence implying here is that the SeL4 verification can be handled fully automatically by TLC.

No, I am not. Read what I wrote again :)

> and please don't forget to collect your Turing Award!

Some people have already beat me to it. The 2007 Turing Award was awarded for the invention of model checkers that precisely and soundly check deep properties.

> One problem with model-checking is that you handle loops by replacing loops with approximations

No, that's what sound static analysis with abstract interpretation does. Model checkers are both sound and precise, i.e. they have neither false positives nor false negatives. To the extent they use sound abstraction (i.e. over-approximation), as in CEGAR algorithms, they do so to increase performance and to sometimes be able to handle infinite state spaces. A model checker, however, is always sound and precise, or else it's not a model checker.

> In other words extremely shallow properties.

Model checkers commonly check arbitrarily deep properties. Engineers in industry use them for this purpose every day.

> All mathematics is deductive.

Yes, and all (or much, depending on your favorite philosophy of mathematics) of it has models. If you have two apples in one hand and one apple in the other and you count how many you have, you have not done so using deduction in any logical theory. That had you used such a process you would have also reached the same result is because of soundness and completeness meta-theorems. That mathematics has both proof and model theories, and that they're compatible, is the most important result in formal logic.

> All I'm saying is that they too have scalability limits, just that the scale involved here is not lines of code.

All verification methods are limited by both size of code and depth of properties. For non-trivial property, the least scalable method, on average, is deductive proof. Which is not to say it is not useful when automated methods have failed.
>but the instant it's in a rootkit everybody will be able to do it.

This makes no sense. If you have the privileges to install a rootkit, there is no need to use any speculative execution exploit.
Newrons – Smart glasses with a gentle memory assist
Newrons are smart glasses that offer a gentle memory assist by flashing a light in the wearer's peripheral vision when they are in the vicinity of an object associated with an event on their calendar. For example, if the user has "Take Medicine" on their calendar at 2:00PM, and they are near a pill bottle around that time, a light on the glasses will flash to jog the wearer's memory.

This offers the advantage of reminding the wearer of something they need to do exactly when it is convenient to do so. Smartphone notifications can often be dismissed and forgotten because they give an alert at a time when they are inconvenient or impossible to immediately act on. It is also completely passive and doesn't require one to have their phone at hand.

Full details:
https://github.com/nickbild/newrons
https://www.youtube.com/watch?v=C8D3Lubc3Jo&t=1s
useState is a memoization technique and an abstraction to hide global state. You can do:

let _count = 0;

function Component() {
return (
<div>
<div>{_count}</div>
<button onClick={() => { _count++; render(); }}>Increase</button>
</div>
);
}

function render() {
React.render(<Component />, root)
}

Or you can abstract it:

let _count;

function useCount(initialValue) {
return [_count, (value) => { _count = value; render(); }]
}

function Component() {
const [count, setCount] = useCount(0);

return (
<div>
<div>{count}</div>
<button onClick={() => setCount(count + 1)}>Increase</button>
</div>
);
}

And then generalize it and make each state dependent on the order of useState calls:

const states = [];

function useState(initialValue) {
const state = states.shift() || { value: initialValue }; // Pop or create
setTimeout(() => states.push(state), 0); // Defer the push

return [state.value, (value) => { state.value = value; render(); }];
}

function Component() {
const [count, setCount] = useState(0);
const [name, setName] = useState('World');

return (
<div>
<div>{count}</div>
<button onClick={() => setCount(count + 1)}>Increase</button>
<h1>Hello {name}</h1>
<input value={name} onChange={(e) => setName(e.currentTarget.value)} />
</div>
);
}

Actual hooks also track the component that's being rendered, and don't just call the global render function, but that's pretty much the whole useState implementation.

Here's a codepen: https://codepen.io/lxe/pen/RwbXPKo
The perception that the rulers of the country are a bunch of kleptocrats who are likely to be ousted by another set of kleptocrats in short order.

Generally however as long as the artifacts are in hands of a museum they're generally safe no matter how unstable the host government is. The only exception is when certain religious extremists gain power and go on an spree of cultural destruction like in Syria.
I think that's just a thing with Apple version 1. The original iPhone, Macbook Air, and Apple Watch were all pretty underpowered, and were quickly and thoroughly obsoleted by the next one or two models. The first Apple Watch model faded so hard that it's now informally called Series 0.
Here is a source: http://www.diken.com.tr/bu-da-oldu-erisim-engelini-asan-vpn-...
https://www.pri.org/stories/2018-08-12/why-did-us-try-block-...

>Companies who sell formula often make nutrition and health claims in their advertising and on their labels which suggest that a certain ingredient, such as DHA or ARA, will lead to better eyesight, brain development or neurological development, Starken says. Instead, she insists, these companies should include warnings that formula can actually lead to increased rates of diarrhea, respiratory disease, obesity and cardiovascular disease, as well as various other long-term consequences.

The problem is misleading marketing claims are currently allowed. Claims like this would be banned under the resolution.
> This isn’t so compelling in today’s world of mostly people who live in high level programming

Array indexing is less compelling on higher level languages, so I think the needs of those languages can be safely ignored here anyway.
That's bibtex, for LaTeX.
Personally I think that in the case of a CoW filesystem, bugs which cause corruption should be very uncommon because of the very nature of the CoW mechanism, especially if coupled together with data checksums as publicized in the case of BTRFS.

If things still get trashed then I tend to think that the very foundation of the FS is bad.

But maybe I'm just naive :)
Show HN: Reaching $1k MRR with user feedback tool
Really highlights their ignorance when the example they follow it up with is from multiple centuries after the end of the Middle Ages.
Not Pittsburgh (upstate NY), but I got a chance to learn something new today! thank you.
Thanks. That is on the future roadmap (though I have been slow lately): selective sharing/copying/synch. I encourage anyone with possible interest to sign up for the announcements list at least, and maybe decide sometime to help. :)
You could set the failure budget really low if you never want any new features, but many users do want new releases now and then.
>4. Lots of random cruft related to weird design patterns that folks have advocated for over the years. You don't have to use any of it, but the fact that it's there leads a lot of people to believe they should be using it, which leads to bad codebases.

If i saw this sentence out of context I would have bet a decent amount of money you're talking about C++. This describes C++ to a T.
The first feature of a rootkit is to get root access. A userspace kernel-information leak utility would be very useful for this step.
If you have possible future interest, there is an announcements list.
Thanks, that's a great explanation.
Schedule a Python Script to Run Daily
So the solution is to deprive them of their privacy for your own benefit? I don't blame them for clicking "no" if they don't know what it will be used for.
YES! We have been using hound for several years now, having all hundreds of our org repos searchable in one spot, in a LIGHTNING FAST manner has been an invaluable tool to help our various teams keep up with the legacy sprawl and effectively remove old features and all their dependencies from our sprawly systems. I even wrote a microservice that uses gitlab global hooks to keep hound up to date without polling, and a little c# config generator that runs as a cron job on our gitlab instance and redeploys hound with the newest repos included.

Hound falls short on access control front (we wrapped our instance with a saml proxy), but it's still a 'you either can search every piece of software for \'password\'' or you don't have any access at all. Having to index a specific branch instead of all of them kinda stinks too; for those two specific reasons we have been eyeing sourcegraph, esp. as the gitlab integration matures.

I can't emphasize enough how fast hound is and how pleasurable it is having a regex based code search that doesn't make me wait.
1. Yes, but we also made sure that our payload was properly protected. Basically, it was a paint can with foam inside and the payload stuffed into the foam. It definitely didn't slow it down TOO much and without proper protection, the payload would have likely been destroyed. Also, the foam was necessary for thermal reasons too, the electronics needed to stay warm enough to operate when ambient temperature is -100F.

2. We didn't purchase any specifically, but given we were an official campus organization, we would have likely gone through them had something like that happened. Given the rural area we were launching from, and where we knew it would travel, the likelihood of this happening is close enough to 0 that we didn't have to worry.
There's definitely no external access without going through the web proxy. And a new uncategorized site would be blocked by the web proxy - and it wouldn't pass review.

I work in a highly regulated industry...

Any workaround would be grounds for termination. So there's no point to my comment really - just curious if anyone else is in the same boat.
Unfortunately for the article's point, despite a brief moment of viability, even human+computer chess teams are now far outclassed by computers alone.
Thanks! I wasn't aware of this library, so this is exactly what I was hoping to hear as an answer. I'll add it to our list to analyze.
(If one has possible future interest, there is an announcements list, and feedback is also appreciated.)
> but you’ve repeatedly talked about apartheid which is a highly inappropriate metaphor

The apartheid accusation doesn't have much to do with Arab Israelis; the fact is that Israel exercises complete civil and military control over vast portions of the West Bank; in these areas, you can be Jewish- in which case you're an Israeli citizen, subject to civil law and able to vote for the government that effectively controls the area; or, if you're Palestinian, you're subject to the military law and vote for a government that is powerless on the territory. This is an apartheid situation, but Israel can deny it because it happens outside of its legal borders, where Israel enjoys every privilege of sovereignty without any of the duties.
PCI DSS.

Paypal told us it applied to us and we either had to do it or they would block our seven digit monthly charges.
Collaboration was certainly my driver for using Google Sheets, but most, if not all, of that functionality is in Excel Online now.
Consider that companies may prioritize team productivity over individual productivity. Communication and density could be beneficial towards that.
Hum, no. He is using a generalized version of counting that works for 0 items too.

A computer should start counting from 0, there's no reason to special case the empty set.
I can build an AI with common sense reasoning in about 9 months. The problem has already been solved. Why do we care so much about making computers more like people? Isn't that excessively cruel? Part of the utility of computing is that computers don't have needs for fulfillment, companionship, communion. We deploy them in awful conditions to do the most horrible, tedious time-waster jobs. Why do such minds need to be human?
Where is the race to optic fiber?
You can extend it, trivial one would be by subclassing and overriding methods to iterate over all entries doing deep-equal. Better complexity can be achieved by hashing (doesn't need to be collision free) and scanning subsets per hash etc.
>think how easy Rails was in 2006

So why not use Rails?
Purely functional languages have no reason to 0-indexed arrays. Imperative languages that deal with for loops are more logically consistent with 0-indexed arrays. I think.
Honestly, the risk of me losing my local data is much higher than a note service shutting down. It has happened countless of times and I'm just too sloppy with the backups. Purely personal of course but for me your argument is reversed.
"think how easy Rails was in 2006"

There is your answer!

But for anyone with a decent amount of programming experience in a mainstream high level language like C# / Java / JS / Python / Ruby etc. it's probably best to stick to your own language and pick it's stack, if it is dev speed you are after. Some might be easier to set up than others, but there are plenty of example github repos you can clone to get started anyway.

For (what I'll call.. sue me) "systems" languages C, C++, Haskell, Rust, GO etc, I'd probably move over to one of the mainstream stacks for getting things done fast, as they will have a better ecosystem. Also if you already know one of those languages you can easily work with the mainstream ones!
The Simple Secrets of Superconnectors
It's unfortunate that we still don't have cheap torque controlled robot actuators. Controlling force rather than position led to a drastic improvement in walking robots. I would also highly recommend using something beefier than an arduino to control a walking robot as most approaches to walking robots today rely on performing fast optimization. MIT's minicheetah has used a control approach that involves simulating the robot about 0.5 seconds into the future 50 times a second.
3G was particularly bad in dense urban areas such as Los Angeles and NYC. It wasn't so bad if you were in some heartland city like Rochester, NY. 4G increased the ability to handle high density to the point where NYC quit making excuses about how their infrastructure was wiped out by the flood.
What are the best 'early' or 'pre-steps' a smaller company can do before they're likely to be on your radar? And what is the best stage at which to start focusing on your type of orgs?

At what point do such firms start developing 'quadrants' for smaller, niche services or industries? There are surely a lot of SaaS type platforms out there that just don't make the cut into your reports, so where is that threshold?
I was just wondering which was more ergonomic! Do you have a link to the study?