skysight-inc/HackerNews huggingface dataset:
It doesn't have to enter transdermally...we just breathe it in! The stuff sheds microplastics just in normal wear...

https://www.inputmag.com/style/microfibers-clothes-fashion-p...
I'm the opposite - I need the framerate to be as fast as possible. I can't even look at a 30fps game!
People tell me most of Inbox's features have been integrated into Gmail now. But it just isn't the same..
Democracy Now is super left wing, though? I don’t think they cover many points of view.
Not sure if that's a regional thing - I've taken mine apart a few times to repair various things, and the electronics aren't coated in anything (UK)
Similar story in Isabelle/HOL - no special tactics required for this example:

lemma
fixes a :: "'a::comm_ring"
shows "a + b + c + d = d + b + c + a"
by fastforce

Just for fun, I wrote up an equivalent but completely manual proof where every proof step consist of just one application of an existing fact - this is extremely verbose, but still quite short for this example:

lemma
fixes a :: "'a::comm_ring"
shows "a + b + c + d = d + b + c + a"
proof -
note assoc = ab_semigroup_add_class.add_ac(1)

have "a + b + c + d = a + (b + c + d)"
unfolding assoc[of a] by rule

also have "… = a + (d + (b + c))"
unfolding add.commute[of d "b + c"] by rule

also have "… = d + (b + c) + a"
unfolding add.commute[of a "d + (b + c)"] by rule

also have "… = d + b + c + a"
unfolding assoc by rule

finally show ?thesis .
qed
> I’m also a serious adult. I don’t joke around with my friends like I did in my youth. My hangout sessions with friends are all calendared weeks/months ahead. I have friends, we joke, but it’s different and not side splitting type jokes; more like chuckles.

I see adults do that, but I don't understand it. To me, 'serious' means having consequential responsibilities, prioritizing them, and reliably delivering on them. That doesn't rule out side-splitting laughs when it doesn't interfere with the responsibilities, does it?
Great project, but terrible name.
It also sucks when terrible people abuse public profiles to harass and intimidate people. Privacy should always be an option for those who want or need it, otherwise we indirectly force marginalized people out of these spaces entirely.
For libraries, with many consumers of the code, type hinting seems like a good thing. Many times I download a third-party library and waste tons of time looking at sample code. For application code (internal to the service or whatever), it feels less valuable.
This is exactly my experience. I've also found that Python's type annotations for even basic stuff like are way clunkier to write.

For example an optional requires a typing.Optional import or a an ugly "| None" instead of a question mark like TS has. And good luck trying to annotate some complex / nested json, you'll need a bazillion intermediary classes.
Ask HN: Distributed blind review site for papers
I was just thinking about how difficult and expensive it is to get a review. How could a blind review of manuscripts, independent of journals look like, would this be relevant for accelerating research progress. Someone like Ramanujan faced a lot of difficulty in being accepted in the Mathematics community until GH Hardy welcomed him and saw his genius at Cambridge. The use-cases I am thinking of are people who might be out of the academic circle, perhaps at a startup, high-school, sabbatical or a pseudonymous collective like Bourbaki.

Other advantages are , we could be able to find a way to hack the PhD program with this approach, meaning people who are not at colleges could demonstrate their abilities in a particular topic and can be awarded a PhD by an independent institution.
Or just takes a loan against his shares
Good point! Some people would see that as a bloat issue, maybe? Things like that occasionally cause complaints for emacs. Personally I think it's a great idea.

I expect you've already considered this, but undo data can be huge. Often I paste something big into a file and then immediately (for whatever reason) delete it, and the big thing is then in my undo data forever if I persist it. Of course, there could be settings to allow user control over this, just like with the Trash in MacOS.
The minimalist line-art style was fairly fashionable in the '80s and early '90s, with people like Keith Haring making a big splash. His work was visually distinct from what's on display here, but I think the two are not entirely unrelated.
>Remember when someone famously said 640kb of memory ought to be enough for anybody

No because that is a made up quote.
He ran and won in another district in 2020.
Right, you also have to look at the embarrassingly low subscribers they got using that dollar figure.
I have enjoyed that one for a while. My wife and I are expecting that I will give up that joke in a few weeks for the same reason.
That looks cool (especially sponsorblock), thanks for the tip!
Translation, how is privacy a good feature for users?
I have had this dream for YEARS.

I wanted to make a community bank and then build the software to run it and start selling to other credit unions / community banks and start getting rid of the jack henry crap everywhere.

Big congrats to you!
well social networks are per se public profiles

if make your whole profile private this would exclude you from the network
Excited to kick the tires on this. Assuming it's correct to think of Column as a very special BaaS vendor (which owns its own bank and thus AVOIDS the double program manager problem), how would you compare and contrast your your unique value prop compared to other BaaS vendors like a Unit, Synapse, Treasury Prime?

Would it be fair to assume better economics because your supply chain is more vertically integrated, or is there more to it than that which I'm missing?
Musk literally published the "master plan" for Tesla over time, and has largely executed on it, and described the goal of rocket reusability for the purpose of colonizing Mars forever ago.

Are you sure that you're not confusing failed predictions with malevolent lying?
> Abolishing right to buy once it had happened was bolting the stable door after the horse had bolted. The council housing stock was already gone.

the next 32 years of governments were more than capable of building more

they fact they didn't... is Thatcher's fault?

> And we're not talking about her foreign policy per se (Pinochet excluded)

you brought it up

> LGBTQ+ people in particular were affected by Section 28.

yes, agreed

> But no, you've glibly responded to what is obviously a retelling of an OLD joke to paint anyone left of her as evil, adding nothing at all to the conversation other than more political point scoring.

the sad part is it's not a joke
They apparently have over 200 reactors "in development" (i.e. announced), of which 19 are under construction, and another 43 waiting for approval.[1]

[1]: https://www.energymonitor.ai/sectors/power/weekly-data-china...
The Seven Deadly Sins of AI Prediction
I question the legitimacy of this service. You say that you're all about oral health but yet the marketing material [1] goes onto use the fictional condition of halitosis. Which Listerine basically [2] made up for marketing purposes because it sounded scientific. So aren't you just playing to peoples fears rather than actually trying to do so some good education?

[1] https://assets.website-files.com/621fba879a7423c6c3a5c77d/62...

[2] https://dentaldepotarizona.com/history-of-halitosis/
Well, it depends on who has write permission on the . DS_Store file.

If you have readonly access to the folders you can't persist a change to the layout.
how hard would wide implementation of the Profile Manager be?

Honest question. Im a biologist not at all a software guy but have ‘managed’ low level IT at startups so I think I get the value prop.
Choice is generally good in my opinion. Considering what the majority of Github is as a community I would very much doubt that the majority is going to be making their profiles private. Making it private makes no sense if you collaborate and contribute with open source projects (or host your own), and it doesn't help with having a public profile that you can potentially show off to companies you want to be hired by.

So who is this feature for? Those who have no interest in the social aspects of Github and want to use it privately. I'm sure that's going to be a minority.
Fires were intentionally set by humans for thousands of years. The forests evolved with them. There needs to be fire. The causes don't need to be "addressed".
Ok, based on this response and others it seems like this might be something on my end... I'll look into getting a bug report to support.
They're substantially improved in 6.000:

"Notifications

We ended up rewriting large parts of the code dealing with notifications. The user experience isn’t vastly different, but hopefully most of the annoying things that you had to put up with are gone now. Some examples:

When syncing a folder for the first time, the app no longer creates notifications. That’s a good thing. When setting up the app, you don’t want to get notifications for messages that are 2 years old but happen to be unread.

The app no longer creates notifications when you manually refresh the message list. However, you will still get notifications when manually refreshing a whole account or all accounts. This is so you don’t miss new messages in folders that aren’t currently displayed.

When displaying the message list screen, notifications for messages in that list are automatically removed. Previously, all notifications belonging to that account had been removed

In earlier versions, going back after opening a message via a notification would open the folder the message belongs to. Now the Unified Inbox is opened (if the message is part of the Unified Inbox).

Notifications for new messages are now restored when the app is restarted. That’s useful e.g. after a device reboot."

https://k9mail.app/2022/04/18/K-9-Mail-6.000
I never use github's social features. They aren't useful to me compared to their features like source code hosting, issues / pull requests, wiki, and version release.
It worked before the firmware update through a Winamp plug in. But to your point I will be avoiding this product in the same way I avoid Apple products.
Except in an M1 world.. if there was ever a time? Arm on server is already compelling, and when it comes to Arm chips Apple seems to ve 'killing it'.
> I wouldn’t mind if it wasn’t priced so high (what isn’t these days).

It's funny, to me it seems extremely cheap. With $2M, you can basically guarantee 100k/yr in perpetuity while being hedged against MMT interest-rate-fiddling, money-printing-induced inflation, a crypto crash, a stock market crash, a housing bubble crash, a tech bubble pop, etc.
seems to be a matter of principle with the (some?) core devs position that it adds complexity and shouldn't be necessary. I remember the big debate long ago that resulted in postgres rejecting the standard sql merge command in favor of a proprietary syntax for upserting despite the common practice of using merge w/hints for doing upserts in most other engines - iirc it boiled down to postgres devs do not want hints, ever.
Thinking in pejorative memes is becoming very popular on this site.

https://en.wikipedia.org/wiki/Truth_value

In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.

(Much more at the link)

Judging by your about page, you are clearly not a dumb person, and I suspect you are aware of what the term means, yet you call it gibberish. To me, this is fascinating.

I look forward to the next instalment in this Hacker News guidelines compliant conversation.
Why does Windows userbase care more about Linux drive interop than Mac userbase does?
Venmo (PayPal) enrolls users in Arbitration
Unless you opt-out with a signed letter sent by snail mail, you agree to arbitrate any disputes.
Many folks in this thread are recommending which specific subreddits and blogs they like, but I thought I'd comment on the "how" of my web routine that I found useful.

I use feedly.com to follow HN, blogs, subreddits, and news outlets. I split up "Backlogging" and "Reading" as separate activities, which I think promotes focus when reading.

To "backlog", I browse through my feedly feed of HN/Reddit/blogpost titles, marking the ones that sound interesting to "Read Later".

Then later I read through those "read later' posts, saving the best ones in lists and highlights/notes for the future.

As for specifics,

1. https://www.reddit.com/r/ExperiencedDevs/

2. https://www.joelonsoftware.com/

3. https://martinfowler.com/

4. https://refactoring.fm/
Yes, and I think yes but I would need to test it to be sure. I do know the contributions disappear if you only have public contributions enabled and then turn a repo private but if you have private enabled then as long as the contributions still map to your ID it should show up. Does it not work that way for you?
Even better than the first one, which was kind of odd.
Thanks, didn't know about the Rebol3 version in the link. I'll have to look into it. AFAIK the Red developers goal is to extend the Rebol philosophy to a modern, open source tool that can serve a number of high and low level purposes. Red is coming along but slowly. Not surprising given the lofty ambitions of the project. I too hope they succeed.
You don't understand what "strongly typed" means... I give you a hint, `"1" == 1` is a type error in Python but "okay" in JavaScript because this one is "weakly typed", you're confusing "dynamic typing vs static typing" with "strongly typed vs weakly typed".
> Poor application code maintainability: hints in queries require massive refactoring.

> Interference with upgrades: today's helpful hints become anti-performance after an upgrade.

> Encouraging bad DBA habits slap a hint on instead of figuring out the real issue.
Does not scale with data size: the hint that's right when a table is small is likely to be wrong when it gets larger.

> Failure to actually improve query performance: most of the time, the optimizer is actually right.

> Interfering with improving the query planner: people who use hints seldom report the query problem to the project.

https://wiki.postgresql.org/wiki/OptimizerHintsDiscussion
Artificial Intelligence for Children-Toolkit by WEF
It’s amazing right? watching these people in real-time download a new narrative overnight. 2 years ago he was their darling, saving the world and fighting climate change. Now “he’s LiTeRaLLy HiTL3R !1!1! “

They don’t even question what they’re saying it’s as if a toggle gets checked and they immediately download a new software update.
Tesla Teases a Custom Robotaxi, Are They Crazy?
Yes and no. C will let you do things like:

*(unsigned long*)0xFFFFFF14 = 0x749235f8;

It will not let you do things like:

*0xFFFFFF14 = 0x749235f8;

or

char* s = "abc";
*(unsigned long*)0xFFFFFF14 = s;

It also won't let you call thing.method without thing.method definitely existing.

Best of all, all of these are enforced at compile time.

Now, C absolutely will let you convert an int to a pointer, or a char to an int, or an array to a pointer, or... well, it will let you convert lots of things to lots of things. Some of those things are unsafe unless you are quite sure what you're doing.

> A programming language that will let you do basically anything to any value because it doesn't enforce type safety is of course C.

False on several grounds. You can't call something that isn't a function. You can't call a function on something that doesn't have it. You can't use an int as a pointer or an array without casting it. You can't use an int as a dict (not that C has any built-in idea of what a dict is...)

> Python is safer than C.

Depends on what you're doing, and what kinds of errors you are more prone to.
It left something in their memories that we need to fix Facebook with more censorship. Now the reason is to protect us from Russian misinformation.
I just discovered r/overemployed. And my biggest concern was the fact my j1 is mostly open source on GitHub.

Thank you Microsoft? Eugh nope. Still weird.
I disagree on multiple grounds. Forcing someone to have an abortion is a terrible thing to do and should never be allowed. Having an abortion is not shameful, and so my slander was aimed at Must, not his putative lovers. Second, I didn't say all of them had an abortion, so any individual lover isn't being accused of anything.

I understand you disagree with me. Call me deranged is over the top. Calling me immature and thoughtless and not even remotely creative is also a broadside that you can't possibly know. How about we talk about ideas rather than you psychoanalyzing me?

You have taken great offense that I hypothetically might say something untrue on twitter. Have you spent this much energy combating the actual harmful BS that is actually on twitter? Have you written more about my comment or about Elon Musk calling that scuba diver who helped rescue those kids a pedophile?
> it seems fair to expect reasonable people to dismiss it as uninteresting.

Do you think that's a fair treatment of someone who disagrees with you but has been respectful of your opinion so far?

I realize proglang debates are flamewar territory. But I have been very careful to state I find Python type hints puzzling and less useful than they should be. It is obviously an interesting opinion shared by many others, not just me or the article's author.

As a fan of statically typed languages, I do indeed find some Python programmers engage in a form of Stockholm's syndrome. It usually takes the form of the assertion "I never found a bug that was a type error". Have you or anyone you know ever said this?

In my mind, the opposite statement of the one you attribute to me would be "wishful thinking and a positive attitude is enough to catch mistakes, it's not necessary to have help from automated tooling". In this day and age, I cannot disagree more.
Author here. I needed to split this up into multiple posts because it required a lot deeper dive than I had originally expected.

What I'm really interested in, however, is help with answering the following questions:

What would open sourcing the Twitter algorithm actually look like?

Would it be possible to abstract away all of the engineering complexity that it takes to run a global, production system like Twitter and produce an OSS spec or API that is actually useful?

Would it be possible to produce meaningful results without access to Twitter’s full data set?

What does meaningful even mean here? How would we define success?

What would need to happen in order to make this a reality?

What are some practical proposals that would help improve the status quo?
I do get excited when I happen to find a mmWave hotspot and can pull 2 gigabit on my phone (for what purpose, I don't know), but after that, life proceeds as normal.
What's with the defensive tone over a corporation? The only way I could understand it is if they had a large stake on the company.
If there's a war in East Asia, I would bet against China. It should be clear that having the world's largest standing army don't really matter, we can see what a paper tiger Russia turned out to be and PLA has far worse corruption. Especially since the PLA only has had success fighting its own, it's lost every single war and hasn't fought a major war since losing to Vietnam in a quick war.

The US + allies aren't exactly worried here. It possesses complete air superiority in the region as well as early warning radar.

I mean if a small country like Taiwan could lodge missiles at the Three Gorges dam that would completely flood the mainland, think what Korea or Japan can do without even the US helping.

The PLA is a paper tiger and this angers a great deal of PRC nationalists and sympathizers but its the truth. There's very little chance it could enter into a prolonged war with QUAD + South Korea, Taiwan.

I don't know what this sanction proof economy is about but it clearly isn't working out for Russia with Ukraine.
Letting perfect be the enemy of the good is not the same thing as doing a cost benefit analysis. In the authors estimation, the costs outweigh the benefits. You don't seem to be considering the cost of type checking at all.
> don't feel like writing `private static final synchronized` forty time, type hints are great.

We should think about whether there's a reason why we want to be writing `private static final synchronized` over and over again, after looking at the state of the software engineer these days.
> $250 on a Behringer mixer.

Yamaha, Mackie, Allen & Heath, Soundcraft, and ART all make mixers with at least 6 channels on them in the $250 price range. So, there's more to the mixer landscape than Teenage Eng. and Behringer.

I can't comment on all the brands, but I've used Yamaha and Mackie for years, with virtually zero problems. My old Yamaha 12 channel (which would retail for $300 today) was an absolute tank. It did countless shows in dirty warehouses, clubs, fields, and never even had a road case! Which, I I'd qualify as pretty reliable.

> If you are trying to figure out why you'd pay for this you aren't their target market

I actually think that I am their target market. I've got many thousands of dollars worth of eurorack modular (which is the same niche), synthesizers (including Sequential), guitars, and studio equipment. I obsess over this stuff, and spend money on it.

But, I cannot figure out why I would spend $1200 on this 6 channel mixer. The Burr Brown ADC? I guess you could argue the size is the selling point. But, that seems more like a solution looking for a problem. And, frankly, if you intend to use a mixer in your performance, the size could do more harm than good.
If student spending inflates the economy to the point where there is significant impact on the dollar, what you are saying is we NEED this generation debt-burdened so the rest of us can live decently. If that is true we never really had a functional economy in the first place.

We need to grapple with that truth instead of perpetuating this suffering.
Really, where? Serious question, no down-voting, I'd really like it pointed out at me. I only see sarcasm towards alarmist statements that "Apple is falling behind".
The saying goes:

"If you owe the bank $100, that's your problem. If you owe the bank $100 million, that's the bank's problem."

and comes from 1976 "As I see it: the autobiography of J. Paul Getty". There were no billionaires back then. When you owe a bank 20 Billion while being worth 260 you are still in the first category.
Everyone in the comments seems to know what this is about. Can anyone explain?
>"Metal Jesus", whatever that is, notwithstanding

I don't quite have a dog in the race of Playdate, but I do want to note that MetalJesusRocks is in fact a legitmate and longstanding video game reviewer, over a decade old by now. He's not qiute a pre-Google YT era reviewer, but he's close.

I don't have any particular attachment to him nor his opinion, but I have watched a few of his reviews over the years. Particularly a few Vita game reviews (he's given more focus to portable/handheld games that other reviewers). His name definitely betrays his presentation (asusmedly because the channel, in actual pre-Google days, had some music coverage).
What the US Space Force might be actually planning if they had unlimited budget, would be a permanent space station with unmanned drones and missiles in several sub-carrier types permanently hovering over a hostile country.

You control the sea, air, land, and finally space. You would have complete dominance that would render ICBM's moot.
Income and on-demand transit: Diversity data gap
I remember the same type of articles in the early years of 4G.
I mean it’s free. Of course there’s no comparison.