skysight-inc/HackerNews huggingface dataset:
Yeah that’s great. But macOS wouldn’t be the way it is if it didn’t make breaking changes over the years.

Windows 10 compatibility is an excellent achievement. But it comes at a cost of a significantly worse user experience (in my opinion, at least). Like legacy menu hell.
Being prepared doesn't have to mean being a loon hiding in a bunker. Elsewhere in this thread I have recommended having some canned food, water, and a flashlight. These are very easy ways to prepare for a wide variety of unlikely scenarios.
interestingly first time gun ownership is off the charts. I guess a lot of people who would normally balk at owning a gun have reconsidered.
Does R work on Amazon ARM chip (graviton)?
I feel like you always appear to plug your vaporware every time any music production tool comes up on the front page. I would be OK with that if what you're linking actually had some content on it or we could actually play with it.

But the last 10 times I've seen you mention it, it's been without any details what so ever and without any ability to actually see/use it.

Might actually been more than 10 times now when I searched for it. https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
Illuminati.
Not sure where you are located but where I live a Civil Union is just as risky as a marriage, in terms of finances, mostly for men (though obviously not always) in terms of support payments for a former spouse without the tax benefits.
Hundreds of thousands find their voice in Parler – Downloads nearing 4M
Wow gotcha!! Thanks for explaining!
Google Workspace (formerly G Suite) has an unlimited storage plan for $20/month. You might have to contact them to sign up for it. The plan is called Enterprise Standard.

Of course it's not especially wise to switch from a gutted google product to another gutted google product, but there aren't many good options for high capacity cloud storage at a reasonable price.
Ah, I see what you mean. You mean that I explicitly told Louise how to compose
each program from its sub-programs. In truth, I did not. In the incremental
learning problems for ordered/3 and ordered_leq/3 I gave Louise three learning
targets and a few primitives from which to construct them. I specifically and
very deliberately did not tell it to use each target to define another. It
figured it out on its own.

For instance, I did not direct Louise to define shorter/2 by means of
length/2. In order to do this I would have to specify length/2 as BK for
shorter/2, but I didn't. Note the BK declarations in the experiment file I put
on pastebin:

background_knowledge(llength/2, [tail/2,p/2]).
background_knowledge(shorter/2, [s/2]).
% ground_peano/1 is added here so it's reported by list_mil_problem/1
background_knowledge(ordered/3, [ground_peano/1]).
background_knowledge(ordered_leq/3, [leq/2,ground_peano/1]).

Remember how in an erarlier comment I pointed out that the definition of
shorter/2 changed to use leq/2, instead of s/2, when the examples of
ordered_leq/3 where in the BK? Again, Louise figured that on its own.

In fact, this ability of Louise (actually, its learning procedure, Top Program
Construction, or TPC) is kind of native, in the sense that TPC was
originally conceived as an algorithm to select relevant background knowledge
for a different learning system ("Thelma" for "Theory Learning Machine"; hence
"Louise"). So it can figure out what BK it needs on its own. Automatic
selection of relevant background knowledge in ILP was the original subject of
my PhD research. Interestingly, it turns out that once we had a system that
could perform this task, it could also learn its own programs.
No. They want users to become customers AND products.
Yes, you’re absolutely right. Unfortunately services blatantly and openly violate their customers privacy and by and large customers don’t care. I would also prefer zero trust as a first choice, but for now would be happy to settle for trusting companies that just seem decent. Sadly those are few and far between and the norm is to harvest, sell and abuse customer data.
From what I've read, the PoP franchisee revenue is based on a 70/30 split of subscriber revenue generated by that PoP (with a guaranteed minimum monthly return). The idea is the PoP will serve 1000s of monthly customers and part of Wifi Dabba's take from that income is what is paying for the upstream/backhaul.
They recently announced an expansion into Millcreek, Utah, so they're not completely stopped. Millcreek is an adjacent suburb of Salt Lake City. It's clearly an expansion of an existing deployment, not a true new city, but still nice.
I will disagree with the idea that doomsday preppers are an extreme minority and with the idea that they are an invention of media. Doomsday prepping is pushed by several large religious organizations such as LDS, JW, and SDA to name a few. Between just these three organizations there are ~10M US citizens whose beliefs align with a doomsday scenario, and a large percentage of these people prep at the insistence and recommendation of their church.
Debt to purchase productive and appreciating assets is the most common way to get rich that I have seen.

I don’t really know anyone who got rich (as in you don’t have to worry about working) with their labor. It’s buying something with 10% down that appreciates 2-3x+ and then taking those gains and investing it in something else that appreciates and so on and so forth that got the people I know rich.

For real estate in the US, you also get to take advantage of the 1031 tax exchange and basically build your wealth tax free.
Robbers will choose the easyiest route. They just want stuff and not assasinate specifically someone, they will rob somebody other if they find a hard target. Probably somebody like you. It works the same with muggings. 2 people is enough to get some sleep and run errands.
Same filter works the other way too for the skip operation
> Even though they're technically different concepts, I've found in practice they're almost always coupled together.

Not really. Event sourcing is typically implemented with CQRS, mainly due to how ES relies on streams of command messages and as CAP-related requirements already require mutable and immutable commands to be processed differently. However, CQRS has zero requirements other than segregating interfaces.

Hell, in languages like C++ you already get CQRS out-of the-box by following const-correctness.
I use chisel for dancing across firewalls and across Big Corp's (TM) network policies. Chisel is fantastic. It wraps an SSH tunnel for proxying TCP (or reverse proxying) in HTTP, which I expose over TLS.

https://github.com/jpillora/chisel
Depending on the situation, real data might be statistically fished out of fake data.
In finance and fintech is pretty standard.
flights[["year", "month", "day"]].head(10)
> except the narrowest of uses like decryption, compression

These seem like broad use cases to me. Also consider ETL and database applications. Time series, finance, machine learning, search engines. It seems like the primary benefit is in terms of latency and minimizing data bussed to the main CPU.
Does anyone know how and/or who is behind Tk? It is in my opinion the best open-source cross-platform gui toolkit, but it seems like both of these are true:

1. Hardly anybody uses it

2. It keeps getting steady updates and improvements

So what am I missing?
I don't know if this is true or not, but I would guess that all of those combined pale in comparison to the storage space of Youtube.
We'll have to update our priors on leading a bayesian horse to content.
I really love this idea. Thanks.
It seems to me like Lean has a lot of the momentum at the moment. It's clear that other projects like Coq suffer from a lack of traditional mathematicians formalising modern, fashionable topics. Kevin Buzzard's implementation in Lean of perfectoid spaces is a great example of that boundary being broken, as far as I can tell the most advanced Coq proofs are the four colour theorem and Feit-Thompson theorem, which have analogue proofs from the 60s and 70s.
> The current google API does not allow photos to be downloaded at original resolution. This is very important if you are, for example, relying on "Google Photos" as a backup of your photos. You will not be able to use rclone to redownload original images. You could use 'google takeout' to recover the original photos as a last resort

https://rclone.org/googlephotos/#limitations
Google Fiber to offer 2 Gig internet for $100 a month starting this year
If you're just looking to back up your photos off your phone, I use SyncThing to sync them to my server, which works quite well.
Oh wow they went from C/C++ to JavaScript? That's just trading one dangerous footgun for another. Glad to see they finally found a better tool. I can't function in JavaScript without Typescript...I constantly have to be looking up docs cause I don't have intellisense, and once something works I'm terrified to ever touch it again. Typescript made front end development reasonable again...not perfect, but not so pathetically bad that I want to rage quit like I did before.
The first hyperloop passenger ride
How often are those attackers actually trained to take on a heavily armed semi-crazed target in his own home and surroundings?
PS4 updates are limited by the server at that point. You'll never get a download from a single source at gigabit speed (well at least not for many years).

I have gigabit and can barely max it out even when I start five torrents at once. By the time it's found enough peers, it's already done.
Don't they make more by treating their customers as products (though i wouldn't call them customers because they receive no support, whether they pay or not)
That's a very dishonest example. Yes, terribly written pandas code looks terrible.
I’ve been working on an app that’s pretty much exactly “the latter”! [0]

The amount of disk space it takes up isn’t crazy. It has been very useful for me.

[0] https://apse.io
i've been using tailscale for this and am very happy with it
Me, too. I'd like to know if these will have a practical impact on, say, media-storage for editing.
Laser-Induced Graphene Supercapacitors from Kapton Tape
Pet store. It will not have passed the quality controll for human consumption, but it's maybe better than nothing
Integrate the takeout somewhat into www.digikam.org!
Show HN: Disco, a platform for independent artists to reach more fans
Just launched the MVP of my startup today after two weeks of non-stop work.

Right now, Disco is an artist discovery platform where artists can submit their Spotify tracks for users to listen to through a Tinder-like UI, swiping right on the ones they like.

The vision is far grander, of course, and involves fostering greater artist <-> fan connection while also providing a sustainable source of revenue for artists.

The music industry in its current state is too impersonal and not sustainable for all but the biggest artists. The solution to both problems is artist <-> fan connection/engagement, where an artist's fans can interact directly with the artist and actually connect with them rather than cheer them on from far away. I believe loyal fans will be willing to financially support their favorite artists in exchange for that level of connection.

Disco is aiming to build the platform to enable that. I focused the MVP on discovery in order to focus on artists who are just starting their career. I'm excited to conduct lots of interviews to really understand the problems they face.

More info on the future of Disco is here: https://info.disco.so

The actual app is here: https://disco.so

As always, I am open to any and all feedback :)
the long term cost of buying something like a 12TB USB3.0 external hard drive and periodically letting it synchronize from your master copies, then unplugging it and storing it at a trusted family member's house is a great deal less than paying for 12TB+ of "cloud" storage indefinitely forever.
It should all work fine eventually, even if not on day 1 at least after a while. But I think there will be a transition phase for edge cases.

For ARM support for linux, my understanding is that pure server stuff is completely fine and battle tested, hobby/side peoject level utilities are a riskier bet. I remember hitting some of those on a rasberry pi a while ago, but then the situation might be way better already with all the buzz surroubding ARM nowadays.

For reference the github issue tracking page:
https://github.com/Homebrew/brew/issues/7857
My suspicion is that they're not useful at all. Once I bought such a cooler pad, and placed a 2011 13" MacBook on it. Then I benchmarked it (i.e. max out the CPU), and measured the sensor "CPU Near". I could not measure a difference between the cooler pad on or off.

I can't remember the brand of the cooler pad, but it had two 10 cm fans.
Why does a US President have so much power in seemingly appointing incompetent political hacks or party donors to all sorts of important roles ???.

In most cases a country has a professional civil service where political hackery are kept to a minimum and policy making is decided by the ministers and it all filters down.
The thing is, bad guys have guns too. You can't really defend against many thugs if they take you by surprise. Somebody could just wait somewhere near you house and snipe you, it's impossible to detect everything all the time if you leave your house or go near windows even once. And bad guys can use even explosives to break into your house.

Don't get me wrong though, since guns are extremely useful for defense and most of the bad guys aren't very tough. Surviving without a community in a serious scenario is just impossible.
The same issues happen with third party applications. I use rclone.
Duplication, missing items, quotas, stalled sync ... Some days, it just doesn’t want to work server side.
I'm with Cox and they have a $50/month add-on, but even during covid I'm unlikely to regularly exceed my cap by enough to make that worth it. I'm usually right around the cap.
> "Meanwhile, America’s so-called “marriage divide” is only widening. College-educated and economically better off Americans are more likely to marry and stay married, but working-class and poor Americans face more family instability and higher levels of singleness. For Americans in the top third income bracket, 64% are in an intact marriage, meaning they have only married once and are still in their first marriage. In contrast, only 24% of Americans in the lower-third income bracket are in an intact marriage, according to my analysis of the 2018 Census data."

I think looking at it in terms of education mistakes the symptoms for the disease. Most people obviously had intact marriages back when few people went to college. A college education isn't a prerequisite for stable marriages. The delta is caused by something else that's correlated with both.

This is the thing that turned me away from liberalism after I got married and had kids. In Asian culture, we strongly believe that marriage and families are the purpose of life. Not only that, we believe that society has a responsibility to establish and reinforce norms that encourage people to get married and support their marriages. In my culture, elders get involved pretty intensively in e.g. mediating disputes between young couples to help establish healthy relationships. When I hear "elite" social conservatives lament about the breakdown of norms and social support around marriages, it strikes me as very much in line with how my culture perceives the same issues. And I can't help but agree with them when they complain that social elites won't preach what they practice when it comes to these norms.
I agree that the bullet points are on the victim blaming end of things, but Far Right is a factual term and I'm not sure what the issue with it is - could you elaborate on your point please?
The thing is, "those sorts of people" don't really exist. There have been PLENTY of disasters resulting in short or long term societal collapse all over the world in the last century, and none of them resulted in widespread banditry.
I'm not sure that was the use-case. With pre-DHTML HTML4, there really just wasn't anything on a page that could continue to interact with the server after the page finished loading. So, presuming the button was for your described use-case, what would the difference be between "going offline" and just... not clicking any more links? (It's not like Netscape could or should signal your modem to hang up — Netscape doesn't know what else in your OS might also be using the modem.)
The classical newspaper model then. Sell a paper and there in sell attention for ads.
The analysis misses some aspects of how the phase 3 study is performed. Even if there were much more than 90% of the sick people in the placebo group, it doesn't follow at all that the vaccine is "more effective" than 90%.

The reason is, there were only 94 sick people observed. But to calculate efficacy, one has to factor in that the population on which the final vaccine is to be applied doesn't have to reflect by age, existing risk factors etc. the group of people who got sick up to now.

It's very probable that people who got sick in the study aren't exactly representative of the whole populations.
The types of things you should be packing, in a real emergency, will still be perfectly edible.
UK Political Parties Must Improve Data Protection Practices
'What's My Update?' Personal Report Also Working on iPhone, iPad and Apple Watch
Ever if you have menu disabled, you can still open it by pressing Alt, no need to suffer using hamburger.
In what way is it locked down ? I guess the FPGA may be big enough that it isn't covered by the free version of the Vivado toolchain.
The Strange and Twisted Tale of Hydroxychloroquine
I was amazed to see gigabit AT&T in the Red River Gorge (Stanton, KY) when I was there last month. I have a feeling the public-owned fiber backbone (Kentucky Wired) has something to do with that level of accessibility
> Chrome has small ads at the bottom

Congratulations, you've got malware on your machine. Chrome doesn't do that.
Sorry, what is a DF sponsorship? What does it entail?
No matter what, you could only ever hope to verify things that you know can only ever be called by the very code being analyzed. Proving the negative is what you're really trying to do. So static languages can exhaustively prove "deadness" for any non-exported definitions, but external APIs - be they functions or web endpoints or otherwise - are outside the scope of the problem.
Did the SR-71 evade detection? I was under the (perhaps wrongful) impression that it just outran the consequences of detection.
How do they make money from giving their users free photo storage? I think the only path for that to be profitable was to grow the username for future subscription revenue.
Big players do this to lock out competition. Give away a product or keep the price absurdly low until all the competition is wiped out. Then slowly start turning up the cranks to maximize profits.
There are bunch of Tek scopes of the era (the TDS 700 series etc) for which you can buy kits that replace the CRT screen by an LCD panel.
I had a cluster of ODroid C2s. It was nice - quad core, 2GB memory. But honestly, only for some workloads.

In my experience memory is a much bigger bottleneck than CPU, net IO or disk iops.

At the moment my favorite home lab cluster is a bunch of old laptops. They're quad cores too but I've dropped 16 GB of memory in each. It's doing a lot better. Right now the cluster is using 21GB of memory.

I'm able to run everything I've wanted as well as the occasional experiment to try something out.

If I could leave you with something - get more memory than you think you will need. That's been my experience anyway.
It will cost nothing like $10k if you are actually willing to cooperate.

It can be done for around $1000 if you use a document prepare rather than an attorney.
The badly worded question issue is clearly major, but it's received so much publicity, and with meta pollers like 538 existing it seems like it shouldn't be a huge problem when there's such a wide selection of big money polls available. All those ideas seem decent, but as you said they're not really solving the problem, just inching you toward a less biased sample. I'm sure people that already declined to take the poll are real happy to be bothered again about it. As far as I can tell the only way to actually make polling work is to force people to respond, and obviously that won't happen. And even if it did people would give troll answers(at school we had captive polls and the last question was always "how seriously did you take this poll?" of course the least serious people always marked themselves as most serious). Even paying people to respond biases the sample because now you're more likely to get people who want money(not necessarily totally correlated with income). Of course you can infer that your sample is biased by one side being more enthusiastic, but without a way to enumerate how biased you're nowhere.
The article is about prepping, lock picking is fun, so why not.

Learning the basics is not hard and I'm sure you can imagine a situation when making a lot of noise or mess is not the best option.
One of the usual examples given in reaction to this question is the puzzle of Euclid's 5th postulate, the parallel-lines postulate. People tried for centuries to prove that it could be deduced from the other axioms. Turned out, it was independent of the others.

A proof system could identify cases where you need hidden assumptions in order to make proofs. In this case, you would get a null result from the oracle, which would be valuable in itself.

[1] https://en.wikipedia.org/wiki/Parallel_postulate
How My Startup Got Acquired
Build a better home, learning from the story Three Little Pigs. Don't build from straw or sticks.

See https://www.monolithic.org/ for the right way to build. Crashing a vehicle does nothing. One of those homes, at the bottom of a hill, withstood a run-away 18-wheeler with only cosmetic damage. Fire could damage a layer of insulation, but only if the dome isn't covered in stucco or better. Get the impact-resistant windows plus shutters, and get the tornado-resistant door.
It's really common to see weird messages or jokes printed on guitar pedal PCBs
see: https://github.com/c9fe/22120#why-not-warc-or-another-format...

> Both WARC and MHTML require mutilatious modifications of the resources so that the resources can be "forced to fit" the format. At 22120, we believe this is not required
I see you answered this in a thread a year ago [1] (came up in a Google search), my apologies.

[1] https://news.ycombinator.com/item?id=21426056
If you want GPU performance to match a dedicated GPU, you can't fit it in a Macbook (or any Mac except the Mac Pro, for that matter). Even if the M1's graphics units only used 50% as much power as an equivalently-powerful Nvidia or AMD dedicated GPU, putting enough graphics power onboard to match even a midrange GPU would immediately overwhelm the cooling abilities of the computer.

Apple could absolutely choose to make better cooling, but they've demonstrated time and time again that they'd rather just let thermal throttling happen and trust that their users will continue to buy a product that doesn't live up to its spec sheet's promises.

Any cooling that could support dedicated-GPU-level performance would require making the chassis dramatically thicker - take a look at some of the gaming laptops out there today with desktop-class GPUs, they can get be like 2 inches thick in pursuit of cooling good enough to support a full-power GPU without massive throttling.
I really tried! But maybe because my setup was a bit demanding, rPi4 couldn't handle it well. (home-assistant, adguard home, nextcloud, plex, *arr apps, and many more on docker)

I just had to switch to a SFF desktop PC with Ubuntu on it and never looked back. For toying around rPis can be fun but in real life applications, they were getting extremely hot. Had to add extra fans etc.

I still use my rPi4s, one of them connected to my 3D printer with Octoprint installed on it, but that's it.