skysight-inc/HackerNews huggingface dataset:
Two additional notes:

1. Zhang posted an attempt at solving this problem in 2007 that he later more or less admitted was flawed: https://mathoverflow.net/questions/131221/yitang-zhangs-2007.... But speaking with mathematicians who are intimately familiar with Zhang's previous work, there seems to be good reason to be optimistic nevertheless. First, the idea behind Zhang's proof is similar to the zero-repulsion ideas appearing in known results about Siegel zeros, and is thus reasonable. Second, Zhang seems to have matured late, and unlike the flawed 2007 paper, his 2013 paper on bounded gaps in primes is meticulously written. He came a long way between those two papers, and he may have come even further since then.

2. Zhang is 67 years old. If the paper is correct, then Zhang constitutes a strong counterexample to G.H. Hardy's famous claims that "mathematics is a young man's game" and nobody alive today could say, as Hardy did, that "I do not know an instance of a major mathematical advance initiated by a man past fifty."
What are we calling 'edible'? I soak rice a minimum of 30m before cooking, I've definitely ended up leaving it longer than 90m on several occasions, I wouldn't just eat it without cooking as a result.
> I so miss killfiles and scorefiles, and it's mindboggling how 30+ years after Usenet clients had them they're still virtually non-existent in any social media readers that I'm aware of.

Indeed and I don't think people realize how great these were. There's some kind of fallacy you often read when you mention that, which to me can be summed with the following bogus reasoning: "Usenet got killed by the Web, so anything Usenet and Usenet clients had were wrong ways to do things".

Killfiles/scorefiles were better than any system I've used since then. Nothing even comes close.
They don't actually mention what SPARK is nor link to any product page. Not very useful self-promotion.
Why is some Thunderbolt today not USB 4 but still Thunderbolt? Weren't they supposed to be merged?
Yeah, I do similarly.

But OP wanted something that any guest could connect to over WiFi. OP's setup also offers the advantage of AirPlay which offers true lossless 44.1/16 streaming and other advantages relative to Bluetooth.
Literally fake news. Don't believe everything you read, especially if the source is a prosecutor.
You can totaly do that. You can also eat meat completly raw. These guys[0][1] are certainly looking better than most vegans at least (from a muscle perspective)

[0]https://www.news.com.au/lifestyle/food/eat/bodybuilder-brian...

[1]https://nypost.com/2021/10/05/man-has-lived-on-raw-meat-diet...
From the full text:

> It has recently been reported that the incidence of myocarditis and pericarditis is increased in COVID-19 patients during the acute illness [12]. However; whether or not myocarditis and pericarditis after the recovery period are a part of the long COVID-19 syndrome is yet unknown. Herein, we studied the incidence of myocarditis and pericarditis in a large cohort of COVID-19 patients after recovering from the acute infection.

It's looking at myocarditis and pericarditis not in the acute phase, but post. And iirc there has been other papers showing there is an increased risk in a 12 month followup.
Why not just disable the network interface and see what stops working.

Why not set the Windows computer's gateway to a computer that the user can properly control, i.e., do not give the Windows computer direct access to the internet.

Windows is an OS that was created before the public had access to the internet.

It worked just fine "offline", i.e., connected to a LAN but not an internet.

Same for the Mac.

To be honest, I cannot think of many PowerPoints that needed internet access, at least not in the fields I have worked in.

Obviously, "tech" companies want personal computers to be online for every waking moment of their owner's day. Neverthless it is in fact possible to "block", i.e., not assent to, much of this outgoing transfer of personal data/metadata to "tech" companies at the user's expense. I have been doing it for over 20 years. With few exceptions, I inspect all HTTPS traffic that I allow over the networks I control. The "tech" companies gathering this data do not pay for the user's internet or cellular service. The user covers the cost of the data transfer.

Change begins with the people who know how to make it. For example, it is not difficult to stop PowerPoint from phoning home. Why go along with it. But when those with the requisite knowledge year after year make statements on HN how it is futile to thwart any personal data mining because it is not 100% "perfect" solution,^1 I have been seeing these comments on HN for many years, then it is arguable this becomes a self-fulfilling prophecy.

The "majority of people", "general public", etc., do not know they have a choice. They will use whatever is presented to them. What happens when those who do know there is a choice go along with what "tech" companies present to them. They are in no position to blame "the majority".

Certainly, those working at or investing in "tech" companies would welcome a lax attitude toward avoiding data collection. "Nothing is going to change because no one cares." Tell that to Zuckerberg after Apple prsented its customers with the means to "block" some of Facebook's data collection.

https://www.cnbc.com/2022/02/02/facebook-says-apple-ios-priv...

1. All-or-nothing, black-and-white, binary style reasoning.
I don’t know if I’m hearing more deeply, but basically the same experience: failed every hearing test I ever took but I’m not deaf either. Just need to rely more on post-processing than others, and the best I’ve been able to figure is I didn’t get enough socialization at critical points of my early development, which is true, I just can’t prove that it’s also related to my hearing.
Note that editions don't allow multiple standard libraries, but it would be possible (trivial, even) to use an edition-specific lint to deny access to a deprecated function on a newer edition. Even with that, editions don't allow you to expose two different symbols with the same name from the one single libstd so you can't easily "reclaim" or "redefine" an existing function, however since Rust already does mangling it should be possible (though potentially hairy) to expose identically-named functions that resolve to different symbols depending on the chosen edition of the crate.

Neither of these things have ever been done, though they have been proposed, and it's just up to the library team to determine if they ever think it would be worth it to do so.
Yes, I would have asked why you would present yourself as a "left-handed robotocist" or (like I already mentioned) a "robotocist with shoe size 43" or any other unrelated characteristic, especially if it had recently become commonplace for people to mention such characteristics. I'm a "whole person" as well including my left-handedness but I don't mention this other than in circumstances where handedness can be an issue, e.g when using certain tools.
Are you talking about this?

A mind-bending digital info screen, developed in partnership with Misapplied Sciences and dubbed Parallel Reality, will debut in beta form on June 29 near the Delta Sky Club in Concourse A of the McNamara Terminal.

According to a news release, numerous passengers can look at the same screen at once, and each passenger will see personalized flight information that the other people looking at the screen will not see, because they'll be looking at their own personalized flight info.

The Parallel Reality display conveys the same sort of stuff you find on traditional airport screens—about departure times, gate numbers, baggage carousel locations, and so on—but you don't have to scan lists of data because the screen semi-magically shows you only what you're looking for, while up to 100 other people are simultaneously looking at the same screen semi-magically showing them what they're looking for.

https://www.frommers.com/blogs/passportable/blog_posts/delta...
Are there any C++-centric roles?

I seem to remember there were some previously, but I guess those has been filled?
shrug ... my corporate card worked great, and I just purchased one for now. They are trying to support business customers, see: https://www.reddit.com/r/framework/comments/ye62r3/business_...)
Beautiful story. Incidentally, we now have Twitter rebranding Birdwatch as Community Notes…
I miss the days when Jobs would tell shareholders to pound sand rather than make product compromises.

Under Tim Cook, there is no possible way things will get better, and I suspect they will get much worse. They'll continue making whatever comprises to the user experience are necessary to obtain quarterly growth. And the more difficult that becomes, the more drastic and user hostile the changes will be.

It's bizarrely short-sighted, and I can't figure out why. I mean there are several videos of Steve Jobs himself warning about this exact trajectory, and I'm sure Tim Cook must have seen them.
Septembers demolish communities.
Plane needs to burn energy to stay up there, the sattelite just ... sits in a curvature of space time...
A genomic snapshot of Upper Mesopotamia during the Neolithic Transition
It's not a goal of any current fediverse tool. More advanced discoverability will come. It's not hard to e.g. ask instances to opt in to relays or crawl for profiles. It can happen the easy way (cooperation on a non-commercial solution) or someone will build some ad-supported hellhole to do it once they think the traffic would be worth it.
> Maybe her tech team gives like 1/8 of a fuck

r/suspiciouslyspecific
Al Gore made a movie about climate change so the other team was obligated to violently disbelieve in it.
Overton's window creates opportunities for the brave
Kurzgesagt had a video about the topic: https://m.youtube.com/watch?v=1AElONvi9WQ
> Currently I'm incensed by Zoom showing me ads after calls even though I pay for it monthly, I wish I could drop it.

I use Meet extensively across my professional engagements with GSuite/Workspace. Works great. No ads.
Examining why parties in conflict cease fighting
cparse.d
Some early computer monitors had a "mono/color" switch which could disable chroma separation. Set to "mono" for text mode; "color" for games. :)
That's why open ecosystem is a must, so you can easily migrate.

Constantly repeated argument from Apple users is that Appstore/iMessage/iOS is closed/doesn't allow sideloading/alternative clients in order to protect the users.

Now you can see what happens if you put company in the position, where you have to spend thousands of dollars, multiple hours hours and lots of explaining to your friends in order to leave their walled garden.
It is totally ok to not understand stuff, and it's totally ok to not want to learn it as long as you don't need it.

Rust is a language with plenty of things to learn, some of which take some time to get used to. And often, having a concrete need for something makes it easier to learn the associated technique.
The funniest thing is that this trickles down to small SAAS companies, all of whom think they need two native apps. Talking to them about it is illuminating. Their app doesn't need to:

- use bluetooth, accelerometer data, or anything else not exposed to a browser

- spy on their user closely to generate valuable data (your app is the product, not the user)

- be discovered in the apple or google app stores. Relatively expensive, niche, high touch, business to business apps are not impulse buys for bored managing directors.

And their dev team is usually already over burdened just dealing with the web stuff.

But still they pour money into the two native apps bucket. Before they're even profitable...

I wonder how much this "IT LOOKS BETTER IN THE APP" propaganda is affecting their business sense. Twitter and Facebooks business model is a bit different from B2B SAAS SME.
What do you think about the idea of having a "challenge period", i.e. a time where other parties than the applicant can come up with solutions to the problem stated in the patent (or with prior art)? I bet there is an army of volunteers that would want to help fight illegitimate patents. Also, if $BIGCORP tries to file a patent application, then why can't $SMALL_COMPETITOR contest it during such a challenge period without going through a court of law?
Tall people (I am 195cm/6'5") generally require bigger cars to fit in (European D segment vehicles like BMW 3 series or Honda Accord are basically a small city car with barely usable rear seats when I am driving), and bigger cars have bigger mass. Hopefully electric cars with large cabins like IONIQ 5 are a start of fixing this :)

Which is only to point out that types of vehicles would be correlated for people on extremes, and certainly a type of vehicle matters for crash survivability on average.
I don't feel like I've ever been let down by C. In what way has C let you down?

I almost feel the opposite, C is the only language that has *never* let me down. It's the only one that's always delivered on it's promises, it's the only one that never fights me on what I want to do. It always feels like the sky is the limit. And it's so nice to know that you're the one who's wasting cycles and memory, not the language.
You would likely prefer to be judged on what you are doing now than what happened 9 years ago. From what I am seeing they already apologized, what do you expect this thread to do?
Wasn't they planning to release a kit to turn mainboard into a home server like Mac Mini? I guess it was part of appeal that you can reuse mainboard after it no longer used in laptop.
In 2012 bitcoin was worth ~ $7.00. So 2,000 bitcoin is only $14,000 but the feds too $3 billion back. Does not seem fair.
Wow, from the 2015 article:

[A journal reviewer of his famous paper says]: "you should be careful. This guy posted a paper once, and it was wrong. He never published it, but he didn’t take it down, either.’ ” The reader meant a paper that Zhang posted on the Web site arxiv.org, where mathematicians often post results before submitting them to a journal, in order to have them seen quickly. Zhang posted a paper in 2007 that fell short of a proof. It concerned another famous problem, the Landau-Siegel zeros conjecture, and he left it up because he hopes to correct it.

Looks like he might have lived up to that!
They kinda were forced to by Android limiting what they can do: https://community.signalusers.org/t/signal-blog-removing-sms...
Raptor Lake is roughly equivalent in perf/watt to Zen 4 and Apple's M series, at least going by eco mode benchmarks. Seems like E cores would get better idle consumption as well.

The days of 14nm+++++++ are over.

edit: sorry meant Raptor Lake.
> When it comes to the safety of your child, most humans go for effective over ethical.

Wouldn't the balance of the child's needs change the ethical judgement (now considered ethical as well as effective)? I don't see how they would be mutually exclusive.
You actually prefer when your phone runs native stalking code that you can't inspect or block?
You did not include the most relevant part of the paper's abstract:

> We did not observe an increased incidence of neither pericarditis nor myocarditis in adult patients recovering from COVID-19 infection.
Yes, back in the day the goal was to provide a "batteries included" stdlib with Rust, but eventually it became obvious that good library design was hard and so almost all of the "batteries" (like rand, rustc_serialize, many of the collections, datetime, and more) were all offloaded to crates.io.

As for cargo, what we have today is literally Rust's third package manager, after the experience with using the first two led people to conclude that they just needed to hire domain experts to design and implement it (the bundler folks).
Is this using Google Docs new(ish) canvas-based rendering?
https://workspaceupdates.googleblog.com/2021/05/Google-Docs-...

Honestly not sure if it's harder to support canvas or DOM based rendering.
> That's a styling issue, not to be solved by typing two spaces unless you're using a typewriter. Just adjust the size of a space to the appropriate size when the text is rendered for the reader (in a word processor for example).

Except that advice is way less accessible and has a fairly high cost-benefit ratio:

* Typing two spaces after a sentence: something everyone who can type already understands.

* "[A]djust[ing] the size of a space to the appropriate size when the text is rendered for the reader (in a word processor for example)": something only a tiny fraction know how do do, and even fewer are comfortable with. It's likely some unintuitive UI that is nonstandard, and that has even been changed at points between different versions of the same Word Processor.
Didn't realize there was an automation for it - neat.
Thank you for accurately listing her accomplishments. It's a short list at zero.
That's awesome. =)

self professed audiophiles

The positive news here is that in recent years, there has been a growing trend of objective audiophiles who understand things from an engineering perspective and eschew that kind of snake oil stuff.

We would find it totally unsurprising that your $1.50 "crapbox" was indistinguishable from the fancy gear. And congratulate you for helping to expose those frauds.
Exactly! That’s what I count as cool :)
There's 27 countries in the EU. You can buy a Framework in exactly 5 of them.
It's 28 lines because it's formatted to have every attribute on a different line.

I'd put the <svg> tag and all its attributes on a line, the entirety of the path on a single line, and then with the closing </svg> tag it's reduced to 3 lines.

This is how I do embedded SVGs:

https://imgur.com/a/zVVEVps

Note your example also looks way worse because of line wrap
LaTeX renders slightly longer space between sentences by default. You need to put "\ " after a dot that is not an end of a sentence to have a normal space there.
I hope you don't mind if I ask a few nosy questions.

1. How much time do you get given to perform a search? How comprehensive is searching (and how much time is given) if PCT or EP searches have already been performed?

2. Given existing citations (e.g. from a US PCT search), how long do you get to perform examination? How long do you get given for later reports?

3. How common is searching following amendments and how long do you get given?

4. How much time do you get given for further reports?

5. Do examiners do classification as an additional duty? If so, how much time do you get?

6. Have you Epoque (the EPO's search software)? If so, how does it compare to the tools you use?
You may be right but I took this quote of Klabnik's to essentially be him offloading some of the blame to the tool - just my interpretation.

"Twitter makes it so hard not to accidentally be an asshole."
I'm happy to see framework is on their way to eating the lunches of the usual suspects.
Bar-tailed Godwits travel 13,500km with 5 gram satellite tracker
I wish they would figure out how to have one account on multiple devices. The work around now is using groups, but that's kludgy. I use Signal to chat with friends and family. I want to be able to switch between personal and work phone and my conversations go with me. Again, groups are a work around, but I'd rather something better.

I feel like this should be a priority over more features because it's been asked for for ages and they say they're working on it.
Anything to do with the later Demonoid?
They didn't have much choice, unfortunately: https://community.signalusers.org/t/signal-blog-removing-sms...
It was analogous to the “Messages” app that iPhones have—a single, zero-decision place to go for texting, that opportunistically upgrades privacy without the user having to understand anything.
Citrix Workspace: Apple Silicon
Hahaha, you're kind of right. The app peaked in popularity when I was in high school, so of course I used it with everyone else. I can't stand it now, though.
I find the narrative being pushed here ridiculously hypocritical. The problem isn't that students are against free speech but that they have their own opinions and morals, daring to not just voice them but even to act upon them. The goal here is to penalise students who criticise right wing conservative ideas and force left leaning student societies to promote them against their will. Students are clearly too young to know right from wrong so their ideas aren't good enough apparently to count as 'free speech'.
You would switch to a new, incompatible messaging app because the one you use adds a single feature that you don’t personally want to use?
The lack of a business model is why any attempt to revive Usenet or run a new federated protocol like Mastodon is probably not going to get anywhere. Somebody's got to pay for it, and the quality of discussion isn't nearly good enough to attract paying customers. (The binaries may be, but isn't it silly to pay for piracy?) Ad-supported services have bad incentives all around, but nobody's ever come up with an alternative way to pay for it, aside from being small enough that voluntary donations will do.
> because who would want a phone that doesn't have WhatsApp?

Me!

I hate whatsapp ui. And not having desktop app. Tend to use Telegram, and Viber as last resort, to talk with elderly family and with businesses(when ordering something online).

Vibr sucks as well, but not as much as WA.
Nitter is best Twitter.
We now support volume ordering in all countries we ship to. You can order multiple in-stock laptops per order. For larger quantities or multiple units of pre-order laptops, our B2B team can help you out: https://frame.work/support?category=business-volume-ordering...

Note that from a support/warranty perspective, this still uses the normal consumer paths. This is something we're exploring business-focused versions of for the future.
You did the right thing. If more people spoke up and stood up, the world would be a much happier place.
I had the exact opposite experience, starting out mostly coding in high level languages moving to C as the language I use day-to-day I realized how incredibly limited I was by the abstractions I was saddled with.
As a library maintainer, you can't copy-paste a line for a type that isn't written yet.

As a library user, you can't copy-paste a line for a type you just created in a library you don't maintain.

Being able to do what you describe lets a maintainer create an interface for all the future types that satisfy given requirements.
Definitely in the living room.

Tools like the command line and exercise equipment help improve capability and personal agency. Hiding either away pushes the default toward passive consumption.
It's just not ready for prime-time, even (IMHO) among nerds, but wow, are normal folks having a hard time.

As someone who’s been on Mastodon for a few years, the front-ends and apps aren’t very good, with the UI/UX being particularly bad.

One of the few apps I would recommend for iPhone users is Metatex, which is the best mobile app I’ve seen—by far [1].

[1]: https://apps.apple.com/app/id1523996615
Still using mine to this day

You can also put multiple chromecast audios in a group in google home and they will perfectly sync audio across multiple rooms like a ghetto Sonos setup!
As someone who used to do all this kind of stuff, what I settled on in the end was having a subwoofer and two speakers on a desk with a 3.5mm cable strewn across in case anyone wanted to use it.

I mostly gave up on wireless this and that and constantly on electronics doing things in the background. Now I just watch shows on my laptop, keep my media on a 2.5" sata HDD with a sata to USB cable, and be sure to copy anything I've downloaded onto it every once in a while. I keep it simple, I'm now of the opinion that if you spend more time administering than using software it's not worth it. And to me, the amount of time I'd put into setting this stuff up, troubleshooting, updating software and whatever else just doesn't make up for having to plug things in when I need to.