skysight-inc/HackerNews huggingface dataset:
It underclocks, but generates more heat in the AVX-512 case (that’s the whole reason for the underclocking). If miners are undervolting to reduce power consumption, heat generation is going to lower by necessity.
It checks null. It doesn't check for some nonsense thing inserted by a third party.
it's true that correlation doesn't equal causation as the article itself pointed out.

Is there another event besides the releasing of the first smart phone in conjunction with social media that we is a possible contributor to the rise of suicide and depression from 2009 - 2015?
A sale of the week is less sketchy than my buddy the salesman giving me a special discount because we are such good new friends, but still need to jump on the offer because...
Sadly, middleboxes are a real problem, esp. with our Enterprise customers. We had this problem even with HTTP/2 rollout so there is even a special HTTP/1.1-only mode in the Desktop Client for environments where h2 is disabled.

In the future we are planing on having an HTTP/3 support which will give us pretty much the same benefits as SCTP with a better middlebox compatibility.
It could not be more convenient.
This has been the main thing preventing me from switching to matrix full time, very exciting!
> Does this behavior anger anyone else on a deep level?

Since you're asking about feelings: Nope. I'm not a miner, and I believe the whole crypto thing is a pyramid scheme that is basically gambling in another form, so I'm not angered. In fact, I'm glad: I hope it keeps uninformed people from spending huge sums on bogus "get rich quick" schemes, just like the 2008 housing market was enabled by people who didn't understand balloon mortgages, and slimy lenders that exploited them. Now if I could only convince my friends that are losing their shirts in DOGE + Robinhood to cut their losses and put that money into actual investments.
The focus is on transaction layer because that is what the crypto currencies provides. The blockchain doesn't run customer support, doesn't handle cash logistics, doesn't decide in conflicts involving the real world (e.g. if you do a blockchain escrow thing with multisig or smart contracts or whatever to give customers the equivalent of chargebacks in case of fraud, you still need humans to make the decision), ... so you can not just pretend all those human roles go away - and the people already working in blockchain ecosystems also aren't calculated against the blockchains in the calculations. Deciding which ones won't exist in the hypothetical all-blockchain world has far-reaching consequences, and probably something there is little consensus on. Proposals and estimations based on that would be interesting though.
> Couldn't they suspend your account for violating ToS? I guess some people could setup their own channel but I don't think that's what most people do.

I someone can, someone else will for you.... that's the thing. I can't make a Paypal alternative for myself, so I can't do it for anything, but if I can build an alternative on the lightning network... well... someone else can do it and take care of people that can't.

The buy guys only care about the big numbers... but open the door to the smaller guys, and you'll see, they'll take care of the smaller numbers too.
on contrary, miners tend to run gpus undervolted and underclocked for efficiency. gamers tend to run gpus overclocked (and sometimes overvolted) for performance.
Even for something as subtle as following a nature account – chances are that when you see it, you'll be in bed or on the toilet or at work and not in nature. You could still feel like you're missing out :(
I just spent a wonderful hour learning about the hidden history of aviation near where I grew up. This site is clearly a labor of love and there is a lot of history here.
Why do you think they are NOT listening? Whatsapp and facebook messenger/chatter thing both have mic access for a lot of people and it is truly bizzare how topics of conversations, even the first time they are broached, end up in facebook ads.
What is "social media as a whole"?

Does HN count as social media?

Where do you draw the line?
> extremely unfortunate implementation (I probably spent more time in the Hadoop codebase

Well in fairness, have you ever seen the S3 codebase? I mean honestly it could be a fork of HDFS for all we know.
Learned what? How to create a bunch of junk that will be unusable in a few years?

https://en.wikipedia.org/wiki/Planned_obsolescence
Incels as a group are a growing threat on a number of domestic terrorism watchlists. Its pretty serious actually.

I don't want to understate them as a threat, but I don't want to overstate them as a threat either. Nonetheless, they are becoming more-and-more violent.

https://en.wikipedia.org/wiki/Incel#Mass_murders_and_violenc...

Its definitely one of those things we need to keep an eye on. If they get more violent and become a larger movement, it could be dangerous.

The grievances they air easily turn into mass shooting events. They're beginning to recognize each other as martyrs (ex: Nikolas Cruz memorialized Elliot Rodger). For some reason, they're able to find each other online and push each other into extremism and even violent acts.
To me, much of this is a subset of causes of epistemic failures (plus dishonesty, selfishness) - I have witnessed first hand many people who consider themselves to be better at thinking because they are a scientist, or are scientific thinkers, or believe in The Science. To me, this is like a form of intellectual cancer in our society.

> being moved by a misplaced sense of humanitarian responsibility to try to prevent the escalation of geopolitical tensions between superpowers ("virologists the world over have a vital role to play at this present moment in standing shoulder to shoulder in heading off the looming threat of war").

> If I were cynical, I'd think that recent changes to reporting on the subject were as much a result of changes to the occupancy of 1600 Pennsylvania Ave. as they were to evidence that has come to light over the last few months.

I actually consider these to be fairly valid motivations. True, it violates strict epistemology, but if it is done with full knowledge at least it is understandable. However, I haven't encountered many examples of people who acknowledge that they are lying for the greater good - rather, it seems much more common that people are lying to themselves and others, motivated by a fear of Trump (or whatever the boogeyman du jour is). If lying is done with awareness, I seem to consider it less dangerous (which is perhaps a dumb way to think...."it depends" I imagine).
Man, that half a millimetre difference between connected and disconnected drove me nuts. It is absolutely infuriating because there is zero physical feedback when you try to connect the cable.

I don't have anything helpful to offer but I feel your pain. Reading your comment almost brings on PTSD from remembering what it was like.

I actually restored my 2015 Macbook Pro and have been so happy and content using that in the past two years or so. Not sure about the other sizes, but my 13" from 2015 does everything better than the one from 2017. Performance, keyboard, connectors. None of the overheating bullshit where the fan is constantly going and performance is throttled.
Is excessive screen time the cause, the symptom, or it is unrelated?

Some people can become addicted to food, shopping, television, etc. Does that mean that each person that eats food will become addicted? No.

People who become addicted are often people with issues in their dopamine or endorphine systems, and a common way to end up that way is by having a difficult childhood.
I really like the whole idea, and I even agree with items like: "Get uncomfortable, if you are not feeling uncomfortable, your life is too easy and you are not learning enough". BUT I must say that's not the best approach to improve yourself, you don't need to force yourself into a uncomfortable. For me time is the key, getting more free time and disposal to learn stuff and be better is much more effect and safe.
I'd be really surprised if it made the cut.
Your statement 1 of Gödel's first result is not quite correct.

Suppose that Halt[e] means that expression e halts.

The predicate Halt is algorithmically undecidable. That is,

there is no algorithm that decides Halt.

But this does not directly say that Halt is inferentially

undecidable. That is, Halt[e] can always be proved or

disproved.
MagSafe great again instead of USB-C charging?
Well, simply because it doesn’t involve itself in it. For instance, one might well ask “Why does the Forestry department not care about the mental health of visitors?”

They don’t, except incidentally, because they have an orthogonal pursuit - that of the preservation, maintenance, and accessibility of our forests.
I do think it’s funny that whenever these ‘magic’ products appear. It always turns out that they’re just packaging the accepted best method in a way that’s easy to consume.
You could even call it SCTP.
Oh, like a politician, then.
It's called R(ecent) Acknowledgement and yes the work came out of Google. This is the single biggest change to TCP loss recovery in a decade. It is now a Standards Track RFC: https://datatracker.ietf.org/doc/html/rfc8985. The Windows implementation was one of the earliest amongst a handful and Microsoft participated in the standardization.
It's admittedly an extreme case, but I've been seeing Instagram fairly directly harm a friend's mental health. She is repeatedly seeing people on Instagram doing elaborate things - decoration, cooking, parenting, etc., and it's giving her unrealistic expectations about what standards she should be upholding in everything she does, be it cooking or crafting or interior décor or parenting or whatever. She isn't just trying to keep up with the Joneses, she's trying to keep up with the Joneses and the Nguyens and the Singhs and the Smiths and the Telliers all at the same time. The extreme impossibility of anyone actually doing this has more or less turned her life into (in her estimation) an endless stream of failure, and it's really wearing her down.

The craziest thing is, it happened so quickly. On year she was doing her own thing and loving it. Then her mom got her onto Instagram, and a year later she was trying to do everyone else's thing and chronically burnt out.

I'm not sure it's entirely Instagram's fault, though. A while back I decided to stop renewing my Make Magazine subscription for more or less the same reason.
An 80 billion market cap in Ponzi scheme products with no star companies that testify the usage of said products sounds like a scam.
According to this plants can tell time.

https://youtu.be/CA-YsWXRSHU?t=453
Biden got an absolute majority of the Democratic primary vote. Sanders got half that, and Yang's share was minuscule.
'It is difficult to get a man to understand something, when his salary depends on his not understanding it.' - Upton Sinclair
> Social media is best used for keeping in touch with friends and family.

Not even that... Facebook can show you the worst of your friends and family. Doesn't feel healthy.
The opposite happens too - terms used seriously by one community are adopted by others to parody them. Eg, “woke” started as a term used seriously by the left, and was later adopted by the right as a way to make fun of the left.
I think the data/power usage would be noticeable.
> Here's where you started throwing a hissy-fit about politics.

Why are you are reading emotion into this?

> Someone else suggested that being "in business" isn't a right.

Yes, in the context of ransomware attacks. I.e. if you can’t protect your data, then perhaps you don’t have the right to be in business.

> > @ryan_j_naughton: No business "deserves" to be in business.

> Indeed, another person agreed. They then offered an corollary opinion.

No. They didn’t agree. They added a decontextualized statement a bit like the one they were following.

> > We should fight the rent seekers who believe they are entitled to their markets and use regulatory capture to maintain their position

And then added a political statement that was a complete non-sequitur to the conversation.

> There's nothing wrong with offering an opinion, nor about it being political.

Why do you feel the need to defend these statements?
Well I didn't read the entire website, but from what I saw, the quote I cited above seemed representative of the general attitude, so I'm wondering where the outrage is coming from. As a matter of fact they seem to go to a lot of trouble to make it clear that they aren't attacking the field of math or math pedagogy, but merely are trying to add resources that could help the teaching of math. Of course it's possible I missed something, hence the inquiry. But thanks for your observation.
One would think so, but Instagram’s feed is highly configurable. I only see stuff that my friends have posted, all stories are chronological, and there’s a little “you’ve caught up” anti-doomscroller card.

However, Instagram is supposed to be Public Enemy No 1. So that’s clearly not the problem.
The point was not made in a generous way, but it's worth considering that adolescence is famously - and in Western culture universally - viewed as a time of great emotional distress, raging hormones, rapid physical change, rebellion, and so on. And the OP's point was specifically that every generation seems to blame the "new thing" for this exact phenomenon, to the point where it is now obvious that it is not the "new thing" but instead maybe something less ephemeral.
Sites where you can peek into other people's lives, or at least what you think is.

To me HN is nothing more innocent than a virtual programming club.
> Stepping back, it appears that screen time is correlated with depressive symptoms, with or without social media

You might have some other study to back it up, but from the study you've cited we can't conclude that, because they measure screen time without any such breakdown. Social media could as well be the most important hidden variable.
Everything would be running on https / wss

It would need a character creator, and somewhere to store characters and accounts.
A portal / teleport / server list system to move between servers.
A server would need to be able to authenticate users from different servers / databases. OAuth would probably do the trick, unless there is a better standard for decentralized systems now.
A basic «admin» mode where you would access a level / server editor
Basic multiplayer capabilities, walk around the same area, chat, etc...

I am thinking that the client should just run in the browser, web based 3d graphics are not amazing, but good enough for an MVP, and it makes loading custom server assets super easy, just like CDN`s,

Websockets for networking.

A basic version of the server could be based on node.js, for ease of scripability / extensability, i think it would be limiting when it comes to scalability of single server / node, but that would not be that critical for an MVP.

I am probably forgetting important stuff, its been a while since I last thought about this.
> once you have the infrastructure up and running with a compatible schema design, there's not too much to worry about from a coding standpoint

Isn’t that the same for a normal sharded MySQL database though?
Yes but that is because /r/apple is a bunch of apple worshipers that believe apple does no wrong...

HN on the other hand is ... ohh nevermind :)
I just personally don't think it's funny because it's depressing to think about the people who actually think this way. I'd rather not give it any air at all. Like I don't think it's funny to dunk on really, and I think those people are generally unwell so it's really punching down which is not something I think is good or funny. My opinion on this doesn't actually matter to anyone who isn't me, so whatever I guess, just stating it, same as anyone else here.

However in the context of the GP, they're 100% correct in the sense that this isn't appropriate for the workplace. So it's kind of a shame that it's actually technically very good/useful.

The author is free to do whatever they want. I'm not asking them to change, but it's definitely a shame to tie this otherwise good code to this meme.
"It basically says that it is important that teachers are not racist and be aware of their implicit biases. That seems pretty reasonable and non-controversial."

That is definitely not what they are saying in this document.

They are saying that math and the way that is taught effectively around the world is a form of 'White Supremacy'.

If you don't think that isn't controversial, and probably racist, then what is?

You're missing a little bit the underlying philosophy here, when they say 'stop racist teaching' they don't really mean racism in the common sense.

They are implying that math, in the manner that we view it is in and of itself systematically racist.

Detractors are not randomly throwing around the term 'White Supremacy' etc. - here is the very first paragraph of the note:

"to dismantling white supremacy in math classrooms by making visi- ble the toxic characteristics of white supremacy culture"

They are directly implying that a 'focus on the correct answer' etc. is 'White Supremacy Culture' - which is not only ridiculous, but arguably very racist in and of itself.

Consider that there is absolutely no evidence that math instruction is racist. None whatsoever - in fact - almost none of their wild assertions are founded in any objective analysis.

They are ideological: it's a fundamental redefinition of the terms 'racism' etc. towards their view that minorities are systematically oppressed de-facto by the expression of the majority culture.

"White supremacy culture shows up in math classrooms when... Grading practices center what students don't understand rather than what they do understand."

"White supremacy culture shows up in math classrooms when... Students are required to “show their work” in standardized, prescribed ways."

These are interesting thoughts on teaching but 1) there's no evidence presented that teachers are currently engaged in these practices 2) there's no basis for correlating these teaching methods with 'White Supremacy' and most importantly 3) no evidence that the proscribed methods are better in an way.

That people are trying create better learning conditions for everyone is positive - but don't conflate solutions, especially those based on arbitrary ideological objectives - are necessary valuable, in many cases, they can be destructive.
I wouldn't take that as a clear sign. They still made an M1 touch bar 13" MBP, they bothered to refresh it and keep it when swapping from butterfly back to scissor and the MBA only has touchID too.

The touch bar is handled by the T1/T2/M1 chips in the laptops. It could be that just cramming a T2+OLED into a keyboard may have made it way too expensive for a keyboard. Plus does Bluetooth even have enough bandwidth to handle sending screen data that size reliably?

It is a niche item and it does suck but for some reason they keep tacking it on...
OOC, since you know what these tanks are made out of, what is the duty cycle/lifespan of those tanks? I was presented some info on Kevlar tanks for drones using fuel cells and remember thinking that the lifespan was very short.
The problem is ransomware is software just like all the others. What do you do when some random script kiddie in way over their head manages to encrypt a seriously important network but can't develop decryption tools - or worse, loses the encryption key? Nobody really wants to promote unsophisticated attackers in this space. At least the existing criminals give you proven tools once you pay the ransom.
Well, effect size is effect size, but this is non generalizable. Still, it looks like you have a clear intervention in the n=1 case which is great!
"The first document just says that teachers should be aware of the effect that the history of racism has on their students and how to actively counter these effects. I really do not see how any of this is controversial."

I don't see how anyone could read that document and come to that conclusion.

"requiring perfectionism from your students is idiotic in a pedagogical setting."

And what does that have to do with 'White Supremacy'?

Where is your evidence that this is the nature of math teaching?

Where is your evidence that something else would be materially more beneficial for students of colour?

I'd would be interesting to see, but I think on the face of it it's kind of ridiculous.

They need to provide some objective evidence of 'how math is racist' - and - how other, specific training methods are 'less racist' - or this document should be held up as ideological fantasy.
What if a government required Ethereum traders to pay taxes in Ethereum, then kept and staked it, thus increasing their Ethereum even more. Wouldn't that government eventually gain complete control of governance in Ethereum?
You captured the nuance nicely. Parent comment about toxicity is getting downvoted into oblivion, but repackaging toxicity as: "dude, it's just a joke" is one of the mechanisms by which toxcicity spreads (see: the 2013-to present redpill/alt-right/whitenationalist culture). Like the "trad-wife / Aryan" quad-panel meme, which also has been "normalized" but started off as a horribly racist meme, so the bad guys sort of "won" with it.

That said, I see where the github creator is going and can have a chuckle at this and still cringe, but he probably had no idea of how this would be received by non bro-grammers. Everyone needs to learn that ignorance is no excuse at some point in their lives. And that's a hard lesson to learn when you are from the apex intersections.
Whatever happened to Arc?
ETH price is +500% YTD and it’s not really worth it to buy hardware to mine now because in less than a year it is expected to move to proof of stake (no more mining)
Schrodingers production environment.
Your statement 2 of Gödel's second result is false because

Gödel's second result is false for foundational theories.

Foundational theories can in fact prove their own consistency.

However, the self-proof of consistency is not very convincing

because the proof is valid even if the theory is inconsistent.

Fortunately, there is another way to prove consistency by

showing that a theory has a mathematical model.

See the following for an overview:

https://papers.ssrn.com/abstract=3603021
Transwomen aren't real women, and that includes Thea. I mean, it's in the word itself.

That's not to disparage Thea's work, which is both interesting and valuable. But this self-promotion as a woman is really quite absurd.

It reminds me of the recent Pwn2Own competition, where Alisa Shevchenko became the first woman to participate and win a category in the contest. Nevertheless, that didn't stop some people trying to claim that a transwoman, who had previously competed as a man, was somehow the first woman to do this. Alisa put them right and was pilloried for it: https://twitter.com/alisaesage/status/1381543050476838913

It's sad to see real women having their achievements downplayed or shoved aside like this, just to tickle the egos of men who don't feel comfortable being men, in this male-dominated space.
John McWhorter has an interesting take on it (excuse the inflammatory title):

https://johnmcwhorter.substack.com/p/no-more-tests-we-should...
It makes memory, not compute, the limit.

It halves the exponent on the number of operations. 2^128 - reasonably secure by todays standards! 2^64 - horribly insecure.

(CAVEAT: where the speedup is applicable, which is often hard.)
To disagree, I don't think the topic does come up when discussing (voting) adults.

Does your politican campaign on a policy that specifically sets out reduces self-harm or suicide in their adult electorate?

"Let me be judged if I don't reduce suicides by 5% in my term!"

No. Because that's not what we want to hear. We want to be left alone with our guns and alcohol, but by all means help me with my teenager listening to "rap music" or being upset as her bullying classmate was unkind to her on tiktok.