skysight-inc/HackerNews huggingface dataset:
Is Biden a dictator ?
Had some fun with the thought of a “Standard Haircut”: https://chat.openai.com/share/cd2948ce-2285-4491-b58f-877abb...
Actually, there are classes, especially the coding ones where material is scattered all over the place, especially the old exams. Can’t think of a solution from the top of my head, but it seems like a decent idea.
>Theoretically, you could revert them all and build it yourself, but getting to the point of building it is itself an ordeal that also requires more computing power than a typical user might have

I've been compiling Firefox (and Mozilla before that) on consumer laptops with free software for almost 25 years. Your claim that it takes resources regular people don't have is simply false. It used to be hard, it took me an hour or two to set up my first build environment on Windows back in 1999 but in 2000 I got a linux machine and that became like three commands for setup with no fuss and today it's about as simple as opening a prompt and typing a single command. Modifying is not much harder, though if you're unfamiliar, you'd probably want to read 5 minutes of documentation.
Personally I can say I switched to just not lining the bin after the plastic bag ban. I have a separate compost bin for food scraps so the main bin mostly doesn't get too dirty, and if it does get some liquid or whatever on it, a quick rinse with the hose fixes that.
The evidence regarding sales of bin liners is mixed:

> The study found California communities with bag policies saw sales of 4-gallon trash bags increase by 55% to 75%, and sales of 8-gallon trash bags increase 87% to 110%. These results echo earlier studies that also showed increases in sales of smaller plastic trash bags.

But while sales of small garbage bags jumped after policies were implemented, sales of larger 13-gallon trash bags -- the size often found in kitchen trash cans -- remained relatively unchanged. [1]

1: https://www.sciencedaily.com/releases/2022/03/220329142327.h....
This could be a terminological issue. There used to be a lot of confusion around various kinds of vegetarianism a couple of decades ago. Then things basically settled, and "vegetarian" without further qualifiers became understood as "no meat" (and no fish and seafood). Dairy and eggs are allowed, unless specifically ruled out.

Traditional western cuisine was largely vegetarian in this sense. Meat used to be an expensive luxury, and most people didn't eat it every day.
Nobody even tried to claim it was a perfect city, whatever "perfect" is supposed to mean. It's just an example of a city with no billboards, no more, no less.
> This is why the bump model that 4chan uses is superior.

The elephant in the room is that 4chan's average quality of content is by far the worst of any major forum platform. The "bump" model is also used iirc by most bbs or older-style internet forums. In the modern age, incel forums are probably the most popular of these older-style forums (and surprisingly they probably have only slightly better average quality than 4chan).

So, correct me if I am wrong, but the bump model usually results in shitty average quality of information.

As the bump model needs heavy moderation as the upvote/downvote system is a form of self-moderation/censorship. However, the entire appeal of most sites that use the bump model is to shitpost or be edgy...

Honestly, the bump model does sound intriguing from a utopian, critical-thinking first, free speech first-principles perspective, but I'd like to see an example of a successful popular forum that implements such in reality.
I wonder what the environmental impact of washing a bag 100 times is, compared to 100 single-use plastic bags (which may be reused as trash bags).
I see dead comments, (there's one in this thread,) but I never see dead stories.

I also pretty regularly vouch.
She could make do with commercial flights. Just give her a private boarding to first class.
If when you hear "there's a lot of overlap between type checking and unit testing" your first thought is of Java's type system then I can definitely see why you'd be concerned.

Java's type system at the time you're referring to was extremely limited compared to Rust's ML-like type system or even TypeScript. It didn't need to be said back then that the type system wouldn't catch everything because Java's couldn't even catch null pointer exceptions, much less encode error states as algebraic data types or provide zero-overhead newtypes.

I agree that types can't catch everything, but a modern type system like Rust's can be used to prevent many more classes of bugs than just "oops, that was supposed to be an int not a float", and that's all OP is saying: if you're using your type system to its fullest you need many fewer tests than you do in a dynamic language.
> And It’s Very Stupid

I wish journalists would stop inserting their opinions in the title like it's their personal Twitter feed.
It's what I did too (well, BSD, not Linux).

I was just sick of Apple catering mainly to the rich consumer dicking around on Facebook and not to the more technical populace who wants to control what they own. I'm very happy to be off Apple, it really felt like a breath of fresh air and still does 3 years later.
Pintrest stays in its lane and it sounds like actual users can benefit from it for their own needs. It's only annoying if I need a quick image snip.

Quora can and will pop up for nearly every search query and I've never been satisfied with the answers I peek at, ever.
The effort is prohibitive for an individual, perhaps, but not for a small company or a large one. Open Source isn't just about preserving individual freedoms, it's about making it easy for corporations to share code without complicated arrangements. Don't like what Google's doing with Blink or Chromium, find a company (there are several) that's stable and offering a forked version.
I sometimes am not clear on what the goal is.

The article seems to argue that the goal is very narrowly to reduce the amount of plastic bags created/consumed and then claims a study shows that the bans do indeed achieve that goal. It's hard to imagine this goal not being achieved, but it's too narrow.

I haven't seen any study showing that total plastic trash, incorrectly disposed, is reduced. It could be hard to study, I admit. I'd love to know the amount of the reduction as well. My guess would be there is a reduction, but it is fairly small.

For example, in the San Jose survey: https://web.archive.org/web/20230512013405/https://www.sanjo... pre-ban creek and litter surveys only showed 9% single-use plastic bags and this dropped to 2%.

I'd imagine 7% reduction is the upper bound on the impact, but it could be smaller than that if other litter increased. Maybe that's high enough to make the ban worth the inconvenience, I don't know what the right threshold should be.

Broader goals could include reducing total plastic production, reducing fossil fuel mining, etc. I'm more suspicious that these goals are not being meaningfully affected by bag bans.
Be careful. While a proof in Lean is executable (it is a script, so to speak) it is conceptually a sequence of references to tactics. Writing a Lean proof does involve a highly specialised form of functional programming, but I wouldn't be at all sure that becoming an expert in Lean would improve your programming skills across the board.

Your comment also reminds me of the people who claim that the Curry-Howard isomorphism means "programming is math". It's not a claim that anyone should really be making in good faith. There's a lot more to programming than the lambda calculus.
What needs to be banned is the packaging of most things we buy in stores.

We don't need to have pastas, cereals, coffee beans, etc already stored in tiny small plastic bags. We can go to the shops with our own containers and get them filled. The worse are the shops that sell vegetables in packaging? why oh why do they do that? Your tomatoes don't have to be separated from the celery or the leek, they can be carried happily together in your own bag.
That is certainly a possibility but I have doubts. If you could gain 20+ % percent of productivity be making your employees work 20 % less, it would be stupid for any company to not do this. What seems more likely to me is that you can gain a few percent which would make the overall impact less than the full 20 %. Making processes better and so on seems mostly unrelated to me, that you could also do with a full work week.
I recommend greatly expanding the space of problems you can solve, by exploring the world of hardware, signal processing, etc. It's usually a good thing to be a generalist.

Try out GNU Radio, it can use your audio I/O for signal sources and sinks. You can learn about DSP, complex signals (with I and Q) and develop an intuition about a new domain of computer applications, just for fun.

If you feel like spending some cash, you can get a USB receiver kit for about $40 and explore the world of radio.

You can also get an Arduino or a Raspberry Pi starter kit, and start doing hardware things, to get acquainted with that world.
My state (WA) doesn't check for insurance at registration, as far as I know. I renew in December so it's pretty recent and I can't remember ever doing that. Also, realpolitik: my city's police simply don't do traffic enforcement since 2020 (Seattle). You could probably go a long time with expired registration here as long as you didn't leave city limits.
What Russian messages?
> claimed that in May 2018 with "medium to high confidence" the phone of Jeff Bezos had been hacked by a file sent from the WhatsApp account of the crown prince of Saudi Arabia, Mohammed bin Salman.

Is someone has claimed this to be I would said - that's silly MbS knows better than to conduct business over WhatsApp, and JB knows better than to open files sent to him.

I mean, can you imagine a movie where this is the plot?
Why do we add the positional encoding to the original vector instead of appending it? Doesn't adding positional data to the embedding destroy information?
Yeah with the advent of good deep fakes were at the point where everyone having their own private key is a must for all communication that's not face to face.
Your first comment irked me because it adds zero value to the discussion. You lazily threw out XKCD 927 which the Rye author explicitly mentioned themselves.

If you click into their link "Should Rye Exist" [1] you'll see that XKCD 927 is literally the first sentence and full width image.

[1] https://github.com/mitsuhiko/rye/discussions/6
No, he wrote it only.
Navigating the Effects of Increasing Gas Prices on Your Business
My feeling too. I doubt criminals actually have mastered realtime deepfake. It's plausible but on the balance it's more likely a 'plausible' excuse.
It drives me up the wall! Permit me a digression: so much has been written about the early FPS era, but discussions of rocket jumping often skip straight to Quake and omit Rise of the Triad, despite rocket jumping being necessary to complete the game! ROTT's shareware release was the same day as Marathon, another game that does come up in these discussions.
Java's type system is pretty limited when compared to Rust's, and Rust as a language is designed to eliminate certain classes of bugs, some of which can still happen in a successfully-compiled Java program. Certainly javac can help you prove correctness in some cases, but rustc can prove that in many more. (Also consider that, during the time period you're referring to, Java's type system was even more limited than it is now.)

Put another way, I feel more confident about my Rust code being correct after it finishes compiling than I do about my Java code when it finishes compiling. And I also feel more confident about my Java code being correct after it finishes compiling than I do about my Python code after... I save the file.

The compiler isn't going to be able to tell you that your fibonacci function actually outputs a sequence of fibonacci numbers. You still have to write tests to prove that just as much in Rust as you do in Java as you do in Python. The fact that Java/JUnit really pushed unit testing hard for the first time is likely just due to the sheer number of Java developers in the enterprise world at the time, and that Java was the big up-and-coming language ecosystem with a lot of money and support and mindshare behind it.
A great XKCD on the topic: https://xkcd.com/2044/

I do think that with every turn of that cycle we end up with better compromises. They’ll still be compromises, though.
Resting on Our Laurels?
Honest question, why use the term then?

(Personally -- I don't judge anyone's dietary choices -- but I rely on accurate use of the term to identify safe spaces.)
> > Do you want your favorite app to lock you in so you can't use any competing apps and then ratchet up the price sky high?

> Yes, I want that.

I don't quite believe you want that. You'll be willing to pay any amount of money for photoshop no matter how high?

> When you buy a car you are usually "locked in" to using the propellant the manufacturer has settled on.

This analogy shows the opposite. I can buy gas for my car from any number of places, all of them unrelated to he manufacturer.

In fact, the manufacturer can discontinue the car model or can even go out of business entirely and yet I can still continue to buy gas from third parties and continue to use my car.

How do you plan to continue using photoshop of adobe discontinues it? You can't.
I don't know enough about this, but would it be possible for the scammers to hijack the SIM swapping?

That is, the scammer manages to get ahold of the SIM card / phone number of the CFO, and be on the receiving end if/when a worker calls the CFO up.

Weakest link would probably be to compromise some telecom worker, so that this can be orchestrated.
Hard to buy 25M worth of gift codes though.
Wasn't there a better name that could have been used for these things?

One that wasn't already used for an extremely common electrical device, as well as a toy/movie franchise?
I don't know what disaster you're talking about. Blazor server is a complete .NET vision of "html over the wire" - it has some major downsides and is only appropriate in particular scenarios, but in those scenarios it shines. Effortless "push to the frontend", and not having to write an API for your frontend, those things are worth a lot.
Imagine being this callous.
> The person you first responded to said that some problems exist, you said they don't, and I expanded a bit, agreeing with them.

The person I responded to said:

> I cannot turn my lights on because somewhere, potentially thousands of miles away, some datacenters failed, even if those datacenters could, ostensibly, only give me ads and "improvements" and not any core feature.

That problem doesn't exist. Your smart lightbulbs fallback to being regular lightbulbs in the absence of an internet connection, even for the most popular centralized service ones today (Hue).

> There's some truth to that.

That seems like a separate, if related, problem. There are plenty of smart devices that don't involve centralized services. Check out homeassistant.io. Plenty of devices where you own the product and they can't be shut down.
Mathematicians have proved that Bach was a great composer
I'm not gatekeeping proofs here, and I'm glad you got math pizza :) If proofwiki had exhaustively printed all possible arrangements, or the decision tree of constructing them, or if they had even included the code that would do the checking (like, say, https://www.richard-towers.com/2023/03/11/typescripting-the-...), then I would agree it counts. But without even a rough ballpark estimate of possible arrangements to check, asserting "brute force" does not make a proof. If I incorporate understanding of the problem, I can see that at most we need to check 8!, which is reasonable. But if the constraints were not so simple, then we might be dealing with 64-choose-8 cases instead, which is heading into not-reasonable.

They can add the same sentence under every finite fact in their wiki, but then it won't be a proof wiki, it would be a list of numeric facts they checked by brute force and we can either trust them, or check ourselves.
Mitigating Smishing: Challenges and Future Work
The End of Coding
Just wait until optical sensors can collect enough data to make the same predictions.
Show HN: RustPython for BeOS with W2c2
A few days ago, I managed to port RustPython to BeOS, using w2c2 to convert the wasi binary of RustPython to C, and then compiling that C into a BeOS binary.
(Does anyone know a way to get a cross-compiler to BeOS? I could not build with optimisations on a VM.)
[Here](https://0x0.st/Hk_d.be.7z) is my prebuilt BeOS binary.
YC's a business and operates HN in the end for business reasons*. I don't have a problem with calling that marketing, but I'm puzzled why you bring that up in this context.

* https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so...
It slips both ways though. I suspect banning incandescent bulbs is probably a good change, even though there were people who obviously wanted them.
I feel like the scroll bar location has more to do with english being written left-to-right.
And thats the other problem, my current job will eventually kill me, and to reach those levels of pay requires a level of stress that I see breaking people. That starting salary is nothing to bawk at, an incredible step for most, but that would be ~30% paycut given my circumstamces.

Im banking on someday being the guy that responds on reddit when you have an issue, "oh yea, just run sudo zap -wtf ${: | grep %". When I eventually master this arcane art, ill apply for a paygrade that keeps my lights on.
Well, I don't think "you can be the headline in our new league for your current salary" is going to work. He has to break a contract. He's burned his bridges with the NFL. That's going to require compensation.

Yes, you don't pay your backup defensive linemen the same as your quarterback, but the point is, people won't watch if those players are bad, and people aren't going to jump ship for free. You will have to build the league out of talent that somehow won't play for the NFL. It's going to be costly.
That’s a good switcharoo right there… Just as remark, it’s 39.37in :)
Not to dig on this project, but I find it constantly befuddling how awful the Python dev ecosystem is. And has barely improved after a decade of being so popular. The ergonomics of coding with Java or C# in 2010 are still so far beyond anything in Python in 2024, I constantly question why it's so popular.
It should’ve had a ciws system. Probably older kashtan—m (there’s a newer panstir-m system). My guess it was either inoperable or switched off
Articles like this pop up often on HN but I don't think they can lead to genuine comprehension. Doubtful that people outside ML circles will dive into Mamba or analogous architectures if they supplant transformers. They're just harder to understand.
As an aside, the intersection of certain “cultural” aspects of different groups and the Internet always fascinated me.

Scientists, and especially astronomers, had to publish high-resolution digital images when their distribution over the nascent Internet and its 2400 bps links was a challenge. So they got into the habit of using a thumbnail for the article and a list of “download high resolution image” links at the bottom — presumably for journalists to print at full quality in colour magazines or whatever. Meanwhile today my phone takes pictures with higher resolution and can send about a hundred of them per second over 5G! I can send an image with higher resolution than any screen in an instant, there is no need for a “workflow” of additional manual steps to download it in the background while we go out and have a coffee.

Similarly, up until very recently, most science was published as PostScript (.ps) files instead of PDF files, even though the latter is basically the same and much easier to open on a wide variety of platforms. It’s just that science publishing needed high-resolution typesetting early when only PostScript was good enough, and they got into a habit that was hard to break even in the era when practically nobody actually prints the papers out any more.

I’m not picking on scientists in any way here, lawyers do the same type of thing with their courier fonts and layout they emulates the properties of typewriters so that they can annotate documents with pens in an era of source control systems and cloud collaborative editing.

I just suddenly had a pang of nostalgia for the era when I had to wait patiently for the latest Hubble photo to download oh-so-slowly over a dialup modem.
Where does their crawl come from?
> As an example, there are infinitely many maps from u32 -> u32. But only one map from Minutes -> Seconds

I see where you're coming from, but I think this is only superficially appealing, there's no meat to it. The obvious u32 -> u32 map is identity, in the same way Minutes -> Seconds is a multiplication by sixty, but it's actually not hard to imagine other mappings for the Minutes -> Seconds either, how about given how many Minutes I've been roasting the turkey, how many Seconds should it be rested before carving?

In reality what Rust did here was to offer a Duration type and an Instant type, representing the idea of a period of time (a duration) or a specific moment in time (an instant) and then leverage this idea to have functions like std::thread::sleep take a Duration, so the question of whether we sleep in minutes, second, nanoyears or whatever isn't a question for the sleep function.

Edited to add: These are also important because they're Vocabulary types. By being provided in the standard library (Duration is actually even in core, so it's available on your embedded Rust) these types encourage everybody to agree on vocabulary and enrich the entire ecosystem. Instead of Jim Bob's library working in microseconds and Sarah's library using milliseconds, meaning I must convert everywhere and if I get it wrong it causes chaos, they just both use Durations and everything just works.
it's the same reason I still have to type

grep -i pattern filespec

Of course, grep should default to being case insensitive (-i), but it was a different world when it was written.
I like the idea.

Creating an official Microsoft Linux to replace Windows as a server and desktop operating system would be a smart move as Windows becomes more cost to maintain.

Windows on Arm has not really taken off primarily due to performance trouble and a lot of legacy Windows software assuming x86 hardware. Moving to a Linux base would help to solve these issues and let Microsoft simplify their infrastructure and focus on their business segments that generate revenue.

With Microsoft's backing, Windows could become the best Linux desktop and have a legacy Windows software subsystem based on WINE.
This is like deja vu! I've definitely seen this conversation before:

-Jai is promising!

-Jai has been in development for years and there's no examples, no compiler, no github, no website, let alone package management and all the associated documentation

-Yea but he's still working on it!

If he does manage to release it and live up to the hype that'll be great, but until then I will respectfully be in the "I'll believe it when I see it" camp :)
Ubuntu 18.04 is EOL, unless you pay for extended support. How many people are paying for that support?

I hope the people complaining about the VSCode incompatibility aren't people running EOL software and complaining that other people aren't keeping their software compatible with it.

I upgraded a number of servers to Ubuntu 20.04 because Ubuntu 18.04 was EOL. I also upgraded my desktop to Debian 12. ;-)
If a CPAP just did nothing, the users would be harmed. That's why they're using a CPAP machine in the first place. Or do you mean can the wrong settings be even more harmful?
How does it compare to ChatGPT 4? That's the only thing I've "vetted". It'll be subtly wrong about something, and if I point it out, I'll be "of course you are right!".

And, if you are wrong about what you said it was wrong about, it'll still almost always say how right you are.