skysight-inc/HackerNews huggingface dataset:
You don't need to memorize the times tables once you understand multiplication, but having fluency in being able to do that makes subsequent mathematics much easier (for example, I'm not sure how you could learn algebra without having a fluent ability to do arithmetic).
The title was confusing to me. This has nothing to do with sharing a core by context switching i.e. giving multiple programs a timeslot on the same core.

It's about HyperThreading/SMT, a feature that allows multiple programs to run in the same instruction cycle by using idle execution units within a shared core.
My biggest problems as a math major at the undergraduate level were proofs. I could muddle my way through abstract algebra proofs but real analysis just didn't click.

The oddity is that I could read proofs for both subjects: the reasoning made sense. But I couldn't develop a proof.
You get very fast at it, especially if you start early in college - I actually live tex'd the lectures I went to starting sophomore year.

Nowadays I mostly use markdown with inline latex as formatting with latex can be a pain.
Senators treated them well.
I agree, woodworking moderators wouldn't possibly know legal libel when they see it. Nor would any platform. But that's why every forum, website, blog, social media platform, whatever, would then have to adopt your preferred speech policy. Which, of course, is your intent.

I think the key dishonesty in your comment, whether you're aware of it or not, is this idea that "moderation, badging, or editing" is what would be "amplifying" libel. What sense does that make? How does removing a post that, say, promotes the KKK in a woodworking forum have anything to do with a user possibly-falsely claiming in the public forum that "Joe's Tables and Chairs" doesn't use walnut like they claim?

It's a bizarre claim you're making to justify tremendous government overreach in forcing tiny forums and a billion other websites like it on the web to adopt your preferred speech policies.

Edit: And by the way, I'm being very generous with my examples. For one, I'm assuming you're okay with removing ILLEGAL content, such as child porn, without the website owners being subject to lawsuits for libel and other things -- since they're required to remove those things regardless of 230. But also, what about very legal porn? Or what if a Nintendo Switch game forum removes somebody who posts "first!" as a reply to every thread?

If I'm misreading you, and your preferred policy is instead that these websites should be responsible for claims THEY make -- such as, if the owners call a user a Nazi -- well that's already CURRENT LAW! 230 doesn't grant protection there now. But they're not calling people Nazis -- also, I don't think that lawsuit would go far for reasons based in libel law -- so this never comes up. If you're saying they're "implying" people are Nazi's simply by removing content based on hate speech policies, again, 230 doesn't really apply there. It'd still fail under our libel laws, and any suit would fail on the merits.

Now, maybe you want to rewrite libel laws, too! That'd be a big government approach to even FURTHER regulate free speech, but it'd be difficult to write a law that made it possible to be sued just for implying somebody is a Nazi for something they wrote. Certainly it wouldn't pass Constitutional muster, so you'd have to rewrite the Constitution, too. The only Justice who has shown any openness to re-interpreting libel laws to further restrict speech is Justice Thomas and you'd have to go FAR beyond what he's called for.
They're great...just not for math. Use a decent pencil instead, like a Graphgear 1000 and some HB lead.
FWIW I think drugs should be legal too (though I won't go near them myself), and the rest of the country is gradually coming around to that realization.
It's killing me that no one is talking about authentic speech. We have very little.

Social mediums (Twitter, HN, Instagram, Yelp, etc) must also support verified identities. Opt-in. Just like metafilter.com. With onerous penalties for impersonation.

The outrage machine apologists (select examples below) are trying to post-authentic inauthentic speech. Algorithms will save us.

This cannot work. Ever. Because the belligerents in the computational propaganda arms race will always overwhelm authenticity.

Tristan Harris - The Social Dilemma
Casey Newton - The Verge
Philip N. Howard - Lies Machines
Frédéric Filloux - News Quality Scoring Project

All tortured performant whining about censorship and bias and Section 230 is not helping. No one is going to take away anyone's favorite chew toy. The food fight over lies and bias will continue unabated.

--

Said another way:

Journalism is real simple. Show your data, cite your sources, sign your name.

Support authentic journalism, with real infrastructure. Give people an alternative to the outrage machine.
You should check out the movie.

I think there's actually some legit questions about if we tailor folks to be X efficient or manage their potential and who they were made to be... that might have a profound impact on happiness and how we see ourselves, what freedoms we are allowed and etc.
For anyone who wants to learn more: https://github.com/rust-lang/rust/pull/79135
Everything You Know About MongoDB Is Wrong
A tech news website started limiting the length of RSS versions of their articles.

Major improvement, previously I couldn’t stop reading their bloated articles, now I just glance at a couple of most important facts and carry on.
Yup. Already using it with anyone who will bother with it.

I deleted Facebook way back when, on the basis that anyone who couldn't be bothered to find me via another route probably didn't care that much for me to begin with. Will happily apply the same principle for Whatsapp. Parents etc. can just call me the old-fashioned way :)
I honestly see a successful AMP as the end of the web as we know it--there's no way for us to know if the content isn't censored by Google. I'm certain their plan is to sell their hosting service and show providers that they could use Google services. What's the logical next step?
Ouch! My eyes! What is up with the Mark Up web site? They seriously need to hire the Norman Nielson Group to give them usability feedback.
That link does nothing to support a claim that the ammonium nitrate in Beirut is linked to Hezbollah.
I have YouTube Premium, so this doesn't affect me as a YouTube viewer. However, this is the sort of foundational service change that you simply don't do ten years into a lucrative partner program without a good reason. "It's 2020 and our investors are hungry for growth" is not a good enough reason, IMO. Any good business needs to keep it's goals aligned with it's customers or it will stop being a good business and people will want to leave. "Changing the deal" in a very big way like this makes your customers - the people giving you video content with no up-front expectation of payment - very, very mad.

I have a feeling you're going to start to see certain creators deliberately put advertiser unfriendly content in their videos just to get out of monetization now. Certain videos are already deliberately not monetized because they either are viewer-funded channels (which YouTube very much missed the boat on) or are promotional videos. YouTube should grandfather those channels and videos in as monetization-exempt, because that was "the deal" that people signed on to. Hell, if that's already financially untenable, you should at least still allow YouTube Partners - i.e. the people whose financial incentives are most aligned with monetization anyway - deliberately demonetize their own videos. Because, again, they are your customers and that was the deal they signed on to.
Similarly we've gone from the CIA/FBI being "big brother" to social media companies filling the role.
It is superficially sad, but as you point out the 2nd order effects are really positive. Google has really done us all a favor by being actually more authentic: they're saying "We're an Advertising company ." (the period is said out loud). They are a tech company insofar as it serves their ad business. They're not a general tech company, and they have no interests or pursuits in anything else unless it is to develop new lines of ad revenue.

I've stopped using Chrome, use gmail only for dealing with companies (their spam), rarely watch YouTube anymore, and use DDG for search. It's _very_ noticeable how little targeted advertising I receive anymore. I have developed a whole new appreciation for my DVD and BluRay collection, and now feel compelled to buy up whatever is available while they last. Physical, own-able media is becoming frighteningly scarce.

I think the Google situation is a deliberate result of restructuring under Alphabet, and in terms of business it's wise. Google is about ads. Other companies of theirs will be about other things.
In my experience the types of developers building this stuff are personally fans of open source and companies are willing to let them submit upstream due to PR wins and limited downside.
It’s on its own WiFi network for this reason.

Roomba isn’t even a close competitor in terms of cleaning performance, especially for the price.
Litigious people: check.

Working with some strange partners, you don't want to mess with: check.
In the cases of both youtube and reddit, how would one suggest they pay for the developers, and their massive hosting costs? If not ad revenue, then what? Subscriptions? That's a hard veto from a high percentage of users.
In my opinion YouTube Music is more than good enough to be compared to Spotify and the other music streaming services, and paying for YouTube Music gets you YouTube Premium (no ads).

I've always preferred Google Play Music/YouTube Music to Spotify so I'd be paying for it anyways but getting adless YouTube along with it makes it a great value, for me.

I also don't know if I particularly agree with your characterization of YouTube as an amateur outlet nowadays, since there's just SO MUCH MONEY in some of the channels.
FSD50K: An Open Dataset of Human-Labeled Sound Events
something similar must have happened to radio, going from pirates everywhere to today's top 40 autoplays
If you own it sure. However, if you’re suddenly changing contracts after the fact that’s just theft.

What if a backblaze or other backup service just decided it the copyright on all uploaded files after 1 month of non payment and started selling people’s home movies as stock footage?
Hypothetically there should be possibilities for significant memory reduction by being able to deploy only what you need from the runtime instead of having everything loaded at once.

The memory usage part isn't really apart of rust or C, but rather that projects like chromium require significant hoops to jump through if you wanted to compile electron with only what you need.

I expect that servo will be tackling this issue, the browser works standalone and that's a hefty achievement in itself.
Highly recommend the book "How to Prove It" by Velleman.
The norm is already getting to be 2 unskippable pre-roll ads, the creator’s sponsor read (not uncommonly > 3 minutes long), several badly timed mid-roll ads, and a post roll ad.
The ads themselves are mostly repeats to the point that I’m getting an aversion to the companies and products they try to sell.
Goolgle is clearly hoping to get more consumers on YT premium but that’s just priced too high IMHO.
What kind of gaming are we talking about?
I'm up in arms about it because it's illegal.

Google is using their vast profits from an unrelated market, tracking-based advertising, in order to subsidize their product in this market, that of video-streaming services. This is a textbook antitrust violation [1].

It is against the law to price a product below your costs in order to kill off your competitors and then jack up the prices later. This is what they have done by making it ad free for years, only to now force ads on everyone and upsell us to premium.

These laws exist to protect you, the consumer, by ensuring there is proper market competition for your goods and services. You should be up in arms about it because Google has illegally destroyed this market. This is why there are no competitors to YouTube.

[1] https://en.wikipedia.org/wiki/Predatory_pricing

(edit: replaced link to "Dumping" with "Predatory pricing" since that's probably a better description of the law being broken)
It’s a matter of practice. My kid takes lecture notes live using LaTeX. Of course that reflects a ton of practice on PSets and papers over the years.
It could have been breached recently that's true. But not for a website I currently use. I switched off those old emails and I am currently only using aliases (I know it's not very helpful without a list of websites I use).

The other thing I do is that I monitor failed smtp connection attempts to my mail server, particularly when they use one of these unique email aliases. That gives me advanced notice that the website has been breached, and I have quite a few that are not on HIBP's radar.
Look up mutagenic breeding, the idea breeders are taking a more natural approach is nuts.

I do agree we should invest more heavily in tech like bug resistance to reduce necessary pesticides.
> You seem to be ignoring the benchmarks where the M1 beats the Ryzen 9 5950X on several--but not all--benchmarks.

These are all single-threaded benchmarks. They don't even list the 5950X for the multi-threaded benchmarks because it's not even a comparison -- CineBench R23 MT for the M1 is 7833, the 5950X is 28641.

> And regarding power consumption: While AMD’s Zen3 still holds the leads in several workloads, we need to remind ourselves that this comes at a great cost in power consumption in the +49W range while the Apple M1 here is using 7-8W total device active power.

Which is, again, not surprising, because of the way CPU power curves work. The mobile Ryzen U-series processors have a similar power consumption to the M1. The desktop versions of the same processors are only slightly faster for a single thread but use a lot more power, because that last few hundred MHz is extremely inefficient and has only a marginal performance gain, so you only do that on desktop where power consumption isn't a priority.

A mobile processor being more power efficient than a desktop processor isn't a novelty. A mobile processor having about the same single thread performance as a desktop processor isn't a novelty. These things are par for the course. If they weren't true you aren't even in the game. Desktop processors primarily use their TDP to hold higher clocks even when running many threads.

> at a fraction of the cost

But you're again comparing a 16-core desktop processor to a 4+4 core mobile processor when the desktop processor would embarrass it on anything threaded, which is why it costs more. The lower core count processors have nearly the same single thread performance and cost less than half as much, and the "budget" Zen 3 processors, which should again have similar single thread performance, weren't the first to be released.

> It has to make one wonder what the results will be when Apple ships a processor made for higher-end desktops, where they won't have the thermal and power restrictions of a laptop processor?

It's not hard to infer what would happen. It would have marginally better single thread performance and much better multi-thread performance. Which is what the competing desktop processors already have.

> You know there are prototypes in Apple's lab now that far surpass Ryzen that'll be in machines spring/summer 2021.

But then it'll be competing with Zen 4 on 5nm and Socket AM5 with DDR5 memory. And 5nm and faster memory are two of the obvious reasons that the M1 is competitive as it is.
I wish I could somehow manage the ads...

I know that isn't youtube's goal but just watching some neato science videos with my kids ... I got some surprisingly explicit male grooming ads... and some ads that IMO were awfully suggestive.
Man I miss the old youtube, you can hardly find those cool zero budget "filmed on dad's camcorder" kind of videos anymore with all of the high budget 10 minute production videos being dumped onto it. I've had to start watching at 1.25x speed, I think they slow some videos down to hit the 10 minute mark. Youtube sucks.
The primarly problem with all those bulletin board style forums is that discussion is a FIFO queue. It's not dynamic and doesn't allow better content gain further exposure or to really diverge from the thread topic.

Post-reddit/HN these types/format of forums are dead unless they at a minimum include some mechanism to minimize irrelevant content. This is achieved in reddit/HN by voting/nested comments. In twitter by re-tweets/likes and likewise for other modern discussion media.
I think your description is pretty spot-on. Doom was released in 1993. Quake 3 Arena was released in 1999. Doom had all the ingredients needed to make Q3 but Quake 3 Arena still holds up as an arcade-style shooter, whereas Doom feels like a relic of the past. I think that period of time in the 90s was really a remarkable time in the evolution of digital entertainment.
Nowhere it is said in the article that the Hezbollah is responsible for the presence of the ammonium nitrate. Yes they did use it in the past, like almost all terrorist organization/militia, but there is no evidence that they had anything to do with its storage in the port.
The AlJazeera article explain very well how it came here.

Rumours of the responsibility of the Hezbollah, or Israel depending on which side of the fence you are, for the blast has been going on since day one, and there hasn't been any substantial proof.

Don't get me wrong, I have no sympathy for the Hezbollah, but lets be honest, the tragedy can be very well explain by the sheer level of incompetence and corruption of the Lebanese government (in which the Hezbollah also plays a big role).
Why would we expect teachers to understand math when they're generally not mathematicians? Why would we expect teachers to change the system that created them? Why would we expect a system that was created for sorting people to educate people? Students are trained to serve, not to think.

https://poibella.org/papers/indefenseofmath.pdf
Just like the movies!
So ? Upstream also benefits. Just because it's Google bring on every negative point of view
Launch HN: Replicate (YC W20) – Version control for machine learning
Fluurt: Re-Inventing Marko
It seems that article only mentions the Beirut explosion in passing?
https://www.ad.nl/buitenland/moeten-wij-ons-in-nederland-zor... (Dutch)

The storage and production is highly regulated. Every suspicious event must be communicated with the "Nationaal Coördinator Terrorismebestrijding" (coordinator counterterrorism).
I've noticed the same. When I go looking for some video on youtube, I first pause, prepare my query in my mind and then open youtube & rush to type what I prepared, sift quickly and try to find what I'm looking for, then close the tab/quit the app when I'm done. It's the same feeling as dashing into a hostile store trying to upsell you on stuff and waste your time, when all you needed is 1 thing.

For actual video hosting, assuming ad revenue is not desired, Vimeo seems pretty good.
If you enjoy this, I'd recommend looking into the organisation Bellingcat.

They do investigative journalism using social media/crowd sourcing/leaked database, and many similar forensic techniques. They've done great analysis on the MH17 missile attack for example, which is documented in their podcast: https://www.bellingcat.com/resources/podcasts/2019/07/17/mh1...
I thought the cause of the fire was found? Wasn’t it sparks from workers welding on a security door to prevent someone from sneaking into the warehouse and setting off the giant bomb they had built?
Is it durable or can it be forgotten as a setting? I would be looking at plain Linux boot and erasing Mac os, so any dependency on Mac tools would be nonideal.
You have to pick and choose among them and the million other subscriptions though and they aren't the cheapest. If you watch it enough then I suppose it makes sense. Let's just go back to cable with one known cost.
That's not correct either.

They still control my filter bubble.

I want my own filter bubble, under my own control.
Agree with that math. 1 is realistic 2 Is a stretch but might be realistic in a developing country
Hello HN!

We're Ben & Andreas, and we made Replicate. It's a lightweight open-source tool for tracking and analyzing your machine learning experiments: https://replicate.ai/

Andreas used to do machine learning at Spotify. He built a lot of ML infrastructure there (versioning, training, deployment, etc). I used to be product manager for Docker's open source projects, and created Docker Compose.

We built https://www.arxiv-vanity.com/ together for fun, which led to us teaming up to build more tools for ML.

We spent a year talking to lots of people in the ML community and building all sorts of prototypes, but we kept on coming back to a foundational problem: not many people in machine learning use version control.

This causes all sorts of problems: people are manually keeping track of things in spreadsheets, model weights are scattered on S3, and results can’t be reproduced.

So why isn’t everyone using Git? Git doesn’t work well with machine learning. It can’t store trained machine learning models, it can’t handle key/value metadata, and it’s not designed to record information automatically from a training script. There are some solutions for these things, but they feel like band-aids.

We came to the conclusion that we need a native version control system for ML. It’s sufficiently different to normal software that we can’t just put band-aids on Git.

We believe the tool should be small, easy to use, and extensible. We found people struggling to migrate to “AI Platforms”. A tool should do one thing well and combine with other tools to produce the system you need.

Finally, we also believe it should be open source. There are a number of proprietary solutions, but something so foundational needs to be built by and for the ML community.

Replicate is a first cut at something we think is useful: It is a Python library that uploads your files and metadata (like hyperparameters) to Amazon S3 or Google Cloud Storage. You can get back to any point in time using the command-line interface, analyze your results inside a notebook using the Python API, and load your models in production systems.

We’d love to hear your feedback, and hear your stories about how you’ve done this before.

Also – building a version control system is rather complex, and to make this a reality we need your help. Join us in Discord if you want to be involved in the early design and help build it: https://discord.gg/QmzJApGjyE
On most AMP sites it is possible to share the original url directly.
Why Lead Prioritization with AI Is a Must-Have for Any Sales Team
+1, I've had a beast of a Lenovo laptop, and though had a great GPU, fans were broken because of which the FPS was capped to <30.
> Why would there be no loss in engine power. If you are using standard propellers, you are limited by air density. If you are using some electric engine to turn a turbine, you have the exact same issue. What magical engine is this electricity powering?

Parent is assuming that combustion engines run out of oxygen to burn before the propeller runs out of atmosphere to push against.