skysight-inc/HackerNews huggingface dataset:
I'm not an academic but I can find a lot wrong with this essay.

> Nor would this student need to take very extensive notes since everything done in the lecture is better done in the textbooks.

Strongly disagree. As an undergraduate I generally found my lecturers to give a more approachable / less bewildering account of mathematical topics than did textbooks. (This is mere anecdote, of course.)

> The experienced observer will note that, though the general outlines of proofs are reasonably well done, the fine detail is often tackled inefficiently or vaguely with, for example, a four line proof where one line will do.

It's teaching material, not a research mathematics publication. The proof should be optimised for approachability/intuitiveness, not density.

> A lecture takes place in real time, so to speak, with 50 minutes of mathematics occupying 50 minutes of exposition whereas a chapter of a book that takes ten minutes to read may have taken as many days to compose

Except it doesn't take ten minutes to read. It's just not the case that students can absorb new material five times faster through reading than through lectures.

Again this seems confused about the target audience. It may be true that for a research mathematician brushing up on a topic they haven't seen in a few years, consulting a book is far more efficient that watching a lecture. That's not who we're talking about, though.

I realise page 3 refutes these earlier points against lectures, but it seems to miss a lot of this.

> We do not learn to play the violin by playing the violin or rock climbing by climbing rocks. We learn by watching experts doing these things and then imitating them.

Not sure about the climbing example. I suspect there are plenty of skilled self-taught climbers.

With all of that said it's an interesting read, and I do like the taxonomy of types of questions, in the final paragraphs.
>and that better to allow the ideas to fight it out in the open than to squash any hope of discovering many truths.

This assumes two things: firstly, that truth is itself an ultimate goal, and this pursuit overrides all other conflicts of rights; secondly, that ideas really do "fight it out in the open" and the long-run result of this process is desirable. It says nothing of what happens along the way (the "means"), it only cares about the ends.

Why is there a dichotomy between "[any and all ideas] fighting in the open" and "squashing hope of discovering many truths"? I also see no reason why this argument on the basis of truth would not justify restrictions on things which do not even foster dialogue on truth. The truth-value of 'hate speech' (if there is any truth value) is likely negligible compared to the same ideas expressed otherwise.
agree, i think this page has a lot of value in explaining how jquery works which is very valuable for beginners, need a more accurate title i guess
Interesting. In my experience it used to be the case that my
FitBit would break once or twice a year—and like you they
would always replace it. But I've noticed a trend toward reliability.

My Versa 2 has been operating like a champ since the day I
got it when it came out. I push it too the limit in the outdoors with activities like surfing, snorkeling, et cetera.

Every year I buy the Apple Watch thinking this will be the
year I switch. But again, just returned it on Friday.
Hardware is super impressive, but it just feels like putting
an iPad on my wrist. I don't want a computer on my wrist I
just want to be healthy. And the battery life on the Versa 2
is just so much better. I put it on and only have to take
it off about once a week for an hour to charge.
What is a good lightweight 24/7 heart rate and sleep tracker that's not a Fitbit? I have an Apple Watch but the Fitbit's sleep tracking is way better and I keep it on for days (whereas I charge my Apple Watch overnight). I am super happy with my Fitbit but given Google I assume it will be "sunset" within a year or two so I want to switch early.
Well, this debate has never happened before.
The central problem here is in what circumstances free people should give up the right to decide what information they can consume. This is not a question that can be answered easily but without first accepting it as the central issue we are not going to make meaningful progress.
No bias obvious in this comment :D
Could pi-hole help with this by limiting access to certain domains?
I think the answer is - because the software can. And most of the time, the software can be more resilient with a trivial amount resource usage.

If there was a physical device that could filter gas and non-gas liquids that could be installed in a car we would expect car manufacturers to do that.

I have seen software that puts the onus on users to use it correctly "Hey user, don't enter more than 5 items in this list". Because the software can't be bothered. And if the user enters 6 items in the list and the software crashes and the user loses all their work, everybody can point at the user and tell them it's their fault for not following directions. But personally I'd be embarrassed if that was my software.
Ugandans Are Voting. Will Their President of 35 Years Win Again?
I would very much like to know why my initial reply to this comment has been [flagged]. What in the hell is going on with this forum? Has everyone lost their minds?
I'm always irritated by people calling it a $35 computer when you can get complete systems for just a little more.
Wolf or not wolf, winter is coming.
That's not exactly a new innovation though; Lisp has had a whole numeric tower for a few decades now…
Unless there's a guarantee that breaking the user agreement results in a fine that exceeds the money they got by breaking the agreement, the user agreement is mostly worthless.
It says that Dire Wolves are an offshoot of "dogs"... I thought dogs evolved from wolves in close contact with humans for long periods of time, circa 15-30k years ago. If that's true, how would these early dogs made it to North America? What am I missing?
My point was that we haven't had a job crisis in the software field, for a while. That would be a true test. I have no idea when it will happen but it's reasonable to assume that nothing keeps going up forever.
They seem perfectly capable of moderating comments for being insufficiently conservative. They should be able to moderate violent conspiracies too.
The problem is obviously that people very often do not want what they say they want.

When a man says he supports freedom of speech, he isn't thinking about the speech that he wishes to limit as he finds it so abhorrent, and where that line lies differs from one man to the other.

Such initiatives fail, as even when men come together and admit they allow for the most abhorrent of opinions to be censored, they seldom realize that each and every one of them has a very different idea of what that is.
Thanks, TIL! I really should read the `find` man page more carefully one of these days.

(The original version will also fail to remove files with names containing spaces.)
That reminds me how SQL was advertised - "Now you can program computers in plain English and fire all your programmers!". Fast forward, and today good luck getting a job as a Microsoft SQL programmer if you only know Oracle SQL.
Managers in US software companies base their seniority on experience in software engineering. Up-valuing software engineers also up-values their own position.

Most large employers of engineers in Europe are rather old industrial companies. Management generally do not have software engineering backgrounds.
Spark plug ceramic is used to break tempered windows. The ceramic is so hard that when it contacts glass all the force is concentrated on a small point causing the tempered window to fail.
Sorry, I didn't see this earlier. It's Supermicro board with an Epyc 3201 (8c/8t), base frequency is ~1.5 Ghz. There's no CPU fan, so it can get quite hot. It throttles at 94 degrees celcius, and it will hit that if more than around 4-6 cores are being fully used. However there are options in the bios to disable some of the cores. In my case I've disabled 4 of the cores and the temperature is much more reasonable now.
They spoke about US companies in the US, which is understandably different.
Afaik none of that data is stored server-side anyway.
I wonder where this leaves the AWS-sponsored Open Distro for Elasticsearch? (https://opendistro.github.io/for-elasticsearch/)

Seems to me that they have no choice but to hard fork off of the last Apache-licensed release of Elasticsearch et al
HIPAA Compliance: Using Address Verification for Verification of Identity
Don't you find Flatpacks and snaps a little slower? The overreliance of Ubuntu 20.04 on snaps was my reason to finally ditch it for something else
Tracing the Python GIL
I had the similar doubts when valuation passed GM and I regret for that now. you will never know what will happen.
The problem I have with the SSPL is that Section 13. Offering the Program as a Service seems pretty vague. Here's the part I don't understand.

> Making the functionality of the Program or modified version available to third parties as a service includes, without limitation, enabling third parties to interact with the functionality of the Program or modified version remotely through a computer network, offering a service the value of which entirely or primarily derives from the value of the Program or modified version, or offering a service that accomplishes for users the primary purpose of the Program or modified version.

Does this include services you don't charge for? For example I might offer services for marketing reasons. At what point is the service no longer primarily derived from the Program? For example if I build an application that offers query capabilities but does not expose the Program API, does that count?

For contrast GPL V2 worked because it tied virality to linking, which is pretty easy to validate.
WEBB Traders | Junior Software Engineer | Amsterdam | Full-time
WEBB Traders is a fast growing global proprietary trading company and market maker active in electronic trading on leading international financial markets, driven by data and technology. We are entrepreneurial and innovative - embracing teamwork and creativity.
Are you the all-round software engineer who will bolster our development team in Amsterdam?
Your work will mainly consist of:
- Development and optimization of software solutions for trading and all supporting processes, using C + +, Python, SQL and GCP
- Deeply understanding and improving the numerous processes across the company
- Collaborating with your team to devise the most effective solutions
- Interacting with users to understand their objectives and improve their work through your technical ingenuity

For more information or to apply directly please visit: https://webbtraders.recruitee.com/o/junior-software-engineer...
With the Samsung Galaxy S21, it’s time for Bixby to put up or shut up
Watch this TED talk by Aaron O'Conell's experiment if you haven't seen it. Even objects large enough to be seen can exhibit quantum effects. It's not the size of the object that matters but the condition of its environment. Of course the smaller the object, the easier it gets to create those conditions

https://ed.ted.com/lessons/making-sense-of-a-visible-quantum...
The Soviet Union could not have won without US support of arms and materiel. It might have been able to survive in some form by completely abandoning everything east of the Urals. US industrial production was crucial to Soviet survival, not a nice to have. Costly business, dividing up Eastern Europe in the Molotov-Ribbentrop Pact.
I assume that this stuff is being uploaded by random users, not Archive.org themselves. The difference compared to any other online host that gets DMCA takedown requests is that they're allowed to store the content for preservation purposes (being a library) and will make it generally available when the rights on it expire.
You probably have seen it already, but recent Phoenix docs have a section on contexts and what is their intended use case: https://hexdocs.pm/phoenix/contexts.html

The way I see it, context are just the public API to access your data model. Your Ecto schema is a piece of data, which in a functional language has no behaviour attached. The (business) logic to deal with this piece of data lives in the context. That's it.

It's nothing particular and specific about Ecto or Phoenix, it's just a good design practice that's applicable and recommended in any language.

Gary Bernhardt at https://www.destroyallsoftware.com has a few screencasts and talks about this very topic.
My mom got me a fitbit for Christmas and I think I'll return it unopened now. I've thought about warning her about this new relationship with Google but she's elderly, it's probably not an issue she cares as much about and I'm the one who introduced her to fitbits in the first place.
That's not true at all. Even early Nokia (Symbian) or Blackberry phones had fine grained permission prompts. As did early Android, actually, but they were deemed to annoying for users.

Apple does deserve credit for leading and influencing Android in this regard, but neither the concept nor the implementation is new.
Afaik, Greenwald was told the above by Parler CEO. Greenwald then proceeded to uncritically believe that.
The moment I read the news of the acquisition I took off my Fitbit Charge HR2 (it was my second Fitbit device) and I deleted my Fitbit account. I have no illusions this will change anything and I did it entirely on principle.
Facebook knows their audience well and is catering to it. It's social media for middle-aged conservatives, so it makes sense to advertise to them.

I don't know of a lot of young people who use the platform still, they've all gone off to TikTok or Instagram(still FB I know).
Have you calculated how many more moderators could be deployed full time out of facebook's $16 billion profit?

At $20 per hour, approximately 400,000.
Harness snags $85M Series C on $1.7B valuation as revenue grows 3x
True but please don't stop on weed, please also liberalize non-narcotic prescription medications availability to let people buy whatever they know they need without having to visit a doctor.
Anything that says otherwise will be deleted. What more proof do you need?
I agree with this. I was worried about FitBit ever since the
Apple Watch came out and decimated FitBit's profits.

But Google acquiring them makes me feel like they'll last a
long time, and I won't have to switch ecosystems yet again
(I was coming from Microsoft Band).

I would have loved it if FitBit could have remained
independent, but basically impossible in today's messed up
competitive environment.
Why do philosophers make unsuitable life partners?
I traded my Prius for a used Fiat 500e, even trade, and it was the best decision I ever made about a car. I love my electric car, and hope to never own a gas-powered vehicle ever again! (After my wife's car eventually dies.)

Sure, for rare longer trips we have to take her car, but all of the benefits you mention for your Tesla are also true for my cheap, limited-range Fiat. The acceleration, the handling, it's a thing of beauty and a joy forever!
It's pointless from the practical standpoint that historically only 1/1,000 people are transgender.

That is increasing, so we'll see how common that becomes.

There is a law in Canada that specifies about 85 pronouns. If you send email to Canada, you may need to support that.

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

http://www.ohrc.on.ca/en/questions-and-answers-about-gender-...

This kind of navel-gazing happens when a society becomes soft and doesn't have more immediate problems. Rome fell this way.
You can activate the wipers for one-time spraying and wiping from the stalk, and you can select wiper speed by voice command. If none of those options are suitable, it's the touchscreen.
The most accurate answer is "we don't know", unfortunately.

My personal concern is that 0.38g of Mars environment would be not enough for long-term survival and procreation of humans there.
Trump did not say anything to incite the Capitol riots. It appears Capitol staff and antifa were involved in the breach of the building and breaking the window.

The left burned our cities for 2 months and did nothing about it.

Those are the facts.
Apologies for being a bit unclear. I have red hair, which in British colloquy is known as "ginger". Some take offence to the term, others revel in it as we love our hair colour. I am firmly in the latter camp and my some of my friends adopted the nickname I once gave to myself of "ginger menace" :-)

My use of this was to show that I take no offence at someone using one of my attributes as part of my identity.
It's also prime and therefore "indivisible"
I've spent the past half hour reading up on Matrix again. What about the metadata issue? Seems like Signal goes to great lengths to ensure that the only data they have about a user is their phone number and the most recent day they connected to the network.

Meanwhile, Matrix servers just ... log everything by default? https://github.com/matrix-org/synapse/issues/4565
Mastering the iOS Interview: A Video Course
if you are willing to read lies, you deserve to be deceived.

This is too simple a statement. Most lies aren't advertised as such, so you are presuming:

1) subject matter expertise in every reader

2) a mental framework of truth and trust to accurately evaluate a source

Yes, critical thinking skills are important, but they must be taught, cultivated and honed to be effective. And even then, the deception skills of most (successful) deceivers are greater than the thinking skills of the general population. Remember that most deceivers have university degrees in sociology, psychology, marketing or economics.
What kind of people is that? Americans?

You guys should file for divorce already, the rest of the world is over the bullshit.
It's pretty obvious that the tech crowd right now is so intoxicated by its own groupthink that these attempts to come up with "solutions" are going to have awful results. You don't even know what the problem really is.

"I fear that many decentralised web projects are designed for censorship resistance not so much because they deliberately want to become hubs for neo-nazis, but rather out of a kind of naive utopian belief that more speech is always better. But I think we have learnt in the last decade that this is not the case."

What you should have learned in the last decade is that social networks designed around virality, engagement and "influencing" are awful for the society in the long run. But somehow now the conversation has turned away from that and towards "better moderation".

Engage your brain. Read Marshall McLuhan. The design of a medium is far more important than how it is moderated.
What do you mean "except?". That's exactly what I am referring to - high expectations employers who compete for too talent.
Yep, playing D&D was not something to admit to in a general audience.

to this day I have difficulty talking about D&D with people in public.
Entire National Mall to Close on Inauguration Day
Results matter more than intent.

As a side note: as long as they (FB, YT, ...) can not moderate properly and automatically, they have not solved scale. They might have figured out making money but scale regarding social networks? - I do not grant them that achievement.
I agree Apple's in a tough spot, facing multiple risks with the transition, but if they waffle they become Microsoft, and they can't afford that.

If they express any interest in keeping Intel around, the transition is at great risk, because software developers can just trust that Rosetta will continue to make their software work, and customers will keep buying Intel machines that Apple will have to support for years to come.

And I believe that was what the parent was saying:

> Apple has solved the chicken and egg problem regarding software compatibility by forcing everyone to move on to ARM in the near future.

Clearly there's no way that every computer user is going to be moving to ARM, but every new macOS user will, so the sentence only makes sense in the narrow scope of Apple customers.
The original Raspberry Pi was based on surplus stock of Broadcom's SoCs. It was a set top box chip that was produced in high volume.
> That’s why you can buy a set of knives on Amazon but not a 10 pack of Glocks.

No, it's because Amazon doesn't sell guns. There's also no reason to own 10 of the same firearm - it's not like you're setting your dinner table with handguns.

As for guns being "mostly used to kill people", that's just not true. My gun collection has only been used to kill paper targets and, occasionally, deer. Properly used they are no more risk to society than a kitchen knife, arguably less since there are more stabbings than shootings every year.

Banning Parler and banning guns both strike me as infantilizing and highly ineffective. Look at what all of the anti-gun rhetoric has done for gun sales in the US - the same thing will happen with alternative social media platforms.
I have the Versa 2 and absolutely love it. Just gave the
Apple Watch another spin but returned it. If you want an
iPad on your wrist that's the way to go. If you just want
health features I'd recommend the FitBits.

Will probably upgrade to the Versa 3 or Sense, but the 2 is
just awesome. I've also had the Charge 2, Charge, Ionic, Microsoft Band 2, and Microsoft Band 1. Versa 2 was a major leap.

Finally, I still consider these things early adopter territory, but in 10 years I think everyone and their dog will be wearing one.
I’ve been trying to gain an understanding of threat modeling and one thing I’m struggling with is the definition of trust boundary - none of the descriptions I’ve read really clicked for me. Could you describe what it means?
I guess you aren't in the US because we're possibly at the early stages of a civil war led by a brainwashed bourgeoisie.
Side note: we, here on HN, all likely have more money than 99% of all humans on this planet [0] (the link is about income; wealth is even more unequally distributed).

Earning more than $60k/year puts you in the 1% already. [1]

[0] https://income-inequality.info/

[1] https://howrichami.givingwhatwecan.org/how-rich-am-i
Great, then I can also get mandatory personalized ads based on my current exact nutritional needs!
I've heard good things about the Oura Ring https://ouraring.com/. It tracks sleep and has a 7 day battery life.
If we only had to use 1st party data, that might be easier. But then again, if you’re building your product incrementally, you’re still going to have instrumentation holes that you may or may not be able to partially backfill.
FWIW I have also seen the same body armor ads but have not seen insurrection posts. In addition, I've seen ads for gun cleaning supplies, rifle scopes, tactical equipment, dad-bod t-shirts, fish hook removal equipment, and day trading algos bots.
if you make something illegal, you don't reduce it's use necessarily, but you do increase the harm done by pushing users into the dark. Compare the harms of alcohol abuse now to the harms of alcohol as an illicit substance during prohibition, with the explosion in organized crime that came with it. Legalizing reduced the harm.
It's scary that paying simple attention to the complexity of reality is now considered "leaping into conspiracy land", and that so many people are just fine with the media guessing at what is true, and asserting it as fact (which is then absorbed into people's minds, becoming the fabric of reality).

> It was a riot, plain and simple, and that's how most outlets reported it.

a) This is an incredibly simplistic description of what it really was (which is unknown in the entirety, and will remain that way).

b) That is but one small portion of how they reported it.

Relevant: https://news.ycombinator.com/item?id=25777278