skysight-inc/HackerNews huggingface dataset:
As someone who was diagnosed with severe ADHD 20 years ago, marijuana makes my brain far more active. If if I have an edible around 5pm, I won’t sleep until 1am (I normally go to sleep by 9/9:30). I constantly want to do things. For me, weed is an upper.

My wife and my girlfriend are both jealous of the effect it has on me. But I’m jealous on the sleep-inducing or calming effect it has on them.

Please don’t assume marijuana affects everyone equally. It may work, but if it doesn’t, your girlfriend will know immediately so you can stop trying it. Ask her how marijuana normally affects her before trying that.
> Why would you sign up for years worth of payments on a $15k+ car when you could just buy a used one outright for like $4k, and not have to worry about it?

Because I want my child to be in a relatively new car, with a proven safety record, no history of accidents, surrounded by airbags and all the other safety features we've come up with.

For $4k, she'd be sitting in the back seat of a 1992 Nissan Sentra, counting lane-changes through the rusted-out hole in the back-seat floor: "one... two... dad, the hole getting bigger!"
Last time I tried the new Outlook, I casually pressed “Alt+H, MV, A” to perform an “Always move to the folder…” action, guess what, the new Outlook at the time didn’t even supported the keyboard shortcuts. What is the point of rolling out a new version of your software if it doesn’t even support basic features from the previous version ?

I would prefer MS to be blunt and honest and just say “From now on, it’s Office on the web and suck on it loosers !” Instead of releasing half baked apps that are neither comfortable to use on the web nor on desktop version.

This said, let’s wait and see, MS was able to make a pretty decent Electron App (VS Code) and maybe they can do the same kind of magic with Office apps. I don’t know.
Do you develop with Perl collaboratively with teammates?
Maybe you aren't target demographics or something else. I have no problem reading and understanding it.
This is condensed, information rich text that I find way better than 15 pages pages of noncontent.
I dont understand your point about headings - you mean headings-only text is more readable than bullets?
Terminal Latency: Measuring Terminal Latency with Typometer
Good feedback, thanks! will bring it up when I’m back at work
> Let's make software more inefficient

Isn't the whole point of enabling frame pointers everywhere to make it easier to profile software so that it can be made more efficient?
Hey, I am working on my own LLM-based decompiler for Python bytecode (https://github.com/kukas/deepcompyle). I feel there are not many people working on this research direction but I think it could be quite interesting, especially now that longer attention contexts are becoming feasible. If anyone knows a team that is working on this, I would be quite interested in cooperation.
empirically analyzing the origins of these papers most of them are from India.
I mean, there's many factors to live expectancy but don't you find it strange to praise the cultural diet of a country that is at the bottom of the life expectancy chart? And looking at just longevity of individuals most centenarians are from countries with mostly animal protein based diets like Japan and the USA.(Their percentage of centenarians per capita being 100x higher.)
Now, this might just be a correlation based on wealthier countries consuming more readily available meat. So i'm not gonna say that protein is a significant factor for health. But it's pretty clear that there's not data supporting the indian diet being healthier.
That is totally understandable.

That said, I think those videos are a significant contributor to the project success. I hope they do not go away completely.

In fact, I think the videos are as important a contribution as the project itself. I remember seeing a quote once from a musician that said he was inspired by both the Beatles and The Rolling Stones. The Beatles showed him what a band could be. The Rolling Stones made him feel like he could do it too. I see that in Linux and Serenity. Your videos make me feel like I could solve any problem by just starting it and breaking it down into smaller, more solvable chunks. They are inspiration and I am not surprised SerenityOS has attracted people to contribute other ambitious aspects. The PDF browser, the GPU stack, and the RISC ports are examples of amazing projects in their own right. I think one of the reasons we see such ambitious contributions in such a young project is the inspiration provided by your leadership and the example set in those videos.

Regardless, thank you for the contribution so far. With the recent improvements to HTMLInputElement, I was able to use Ladybird to leave a comment on the OSnews site recently and it gave me a huge thrill.
Certainly, here is a reply to danhamm's comment to prove that he might be wrong.

I randomly picked 10 articles and all of them had the phrase in a manner that indicated it was directly pasted from ChatGPT.
It depends. Old Outlook keeps failing me, in ways the new, dumb web app has not (yet):

- Not sending e-mail unless I am restarting it (I added Outbox to Favorites to catch this before hours have gone by)

- Crashing when I try to add an attachment, and loosing my drafted email

- Claiming it's out of memory and hence can't add my signature.

Now, granted, all this maybe due to incompentence at my workplace, or me having "too much email or calendars", but boy does Outlook get in the way of me getting work done. I've run into all of this over the last week, BTW.
I just bought a Motorola Moto G73 for $180, was 50% off as precious gen phones often are once the new comes out.

I got a Samsung S21 as my daily driver, but just wanted to check out a non-Samsung one over time.

So far I've been very impressed. It comes with Google apps for almost everything, the Moto specific stuff seems to be addons you can easily ignore.

Even came with a transparent protective case and audio jack.

Performance-wise I don't notice any difference in normal use, ie surfing, pictures and such. I don't play games though, there the S21 would blow it out of the water according to benchmarks.

Screen isn't quite as good, but close enough that I'd be happy with it as a primary phone.

Only thing that's a bit of a downer is they only do 3 years of security upgrades it seems. This is a bit short I feel.

Haven't tried any of the other brands over time in recent years, just adding my 2 cents.
Do you consider using ChatGPT to format a table in LateX plagiarism that should imply the end of your professional career?
Who said the goal was to create a production browser?

This seems like a pure passion project: to return to the pleasure of building something just for the sake of it. Design and explore. Hack.

Not every endeavour has to become a product. As soon as you get users, you get obligations, and this tends to destroy these feelings.
Thanks! I also opened a feature request on the same thing a while ago.
No a good portion of them are turned into rentals controlled by a few.

The demand will not go down. The supply always lags behind, and can face hurdles to build, for example - renters are generally not present in city politics.

The supply then use price controlling algorithms to slowly increase and extract the wealth and income of the renters.
>The only force at play is newtonian gravity, which we modify by adding a softening length, ε.

> This way we avoid numerical instabilities due to divergent forces when two particles get to close together.

So it appears he doesn't handle close encounters that form binaries. Probably reasonable if he's using heavier discrete particles as a proxy for dark matter.
I certainly won't be taking their advice the next time I'm attending a funeral.
I think most people believe in tests based off of anecdotal data and gut feelings.

This post is saying that it is possible that much of those anecdotes and gut feelings may be erroneous. Similar to how believers of religion show faith in belief despite clear lack of evidence.

All humans are capable for falling for faith-based tropes... as shown by basically almost every variation of religion in the world. Its quite possible that if we have some way to measure the quantitative cost of tests vs. No-tests that those results would form a definitive basis against testing.

Think about it. Like a believer your automatic reaction may be to counter this argument. But think, does your belief in testing have any basis in science at all? Likely not.
Thanks Karen! Was suggesting people learn these concepts through the use of a usb dongle, but turns out you're the dongle.
Copyright owners are monopolists. Of course the free market doesn't work: the government grants them a functionally eternal monopoy on what's essentially numbers. Copyright must be abolished or we'll never move forward as a species.
how does this model work ? the students and professors get paid by journals to publish papers?
I've never seen the bloatware a lot of people on here are talking about. My suspicion is that they bought a phone through a carrier. Carriers push tons of weird bloatware onto their users (which is probably why their models are cheaper). If you just buy a phone, I don't think there will be any obvious bloatware on Samsung phones. There are some duplicate apps, but I'm pretty sure that's limited to Chrome vs Samsung Internet and Google Play vs Samsung Store.

My tablet came with a weird Google Now replacement that I can't remove, but that's the only bloatware I really encountered. The rest was free versions of paid apps like drawing software and the standard Samsung suite. No weird shopping apps, no ads anywhere, just what I wanted for the tablet.

Xiaomi is pretty bad, though. It kind of makes sense, because they need to develop their software for China, where there is no Google cloud, so they've become their own Google. Every app prompts for agreeing with a privacy statement. Some models of phones actually include ads in the system apps (which can be disabled by a setting, but it's still a problem). Their privacy policy is also a blatant lie. I love the bang-for-the-buck nature of Xiaomi phones, but I wouldn't buy them unless there's a good custom ROM available. Other Chinese brands suffer similar problems, but not to the same extend.
more like, if you don't attend you'll get expelled from the group. Meaning you'll get fired.

But then again. if you don't like the group, your job, go on a quest to find someone else to spend you time with. that is probably the best investment you can do.
Looks like it's a sunny day at the moment, but check out the website after it's been overcast for a day or two. The background (which just looks yellow right now) doesn't always look that way and it's really cool when the battery is at partial charge!
Gimballed Stove
Who ever down voted this is clearly a capitalist scumbag.
I'd be very wary of the LLM hallucinating a few number changes here and there, similar to what copies used to have a habit of doing: https://www.dkriesel.com/en/blog/2013/0802_xerox-workcentres...
> proof of infinity

This combination of words seems strange.

Like: proof of ‘zero’ or proof of ‘left’.

All of them have definitions, not proofs.

(Qualitative distinction of different infinity types has a proof though)
Something tells me you had to be seeking out the Dread Pirate Roberts. He wasn’t advertising on Instagram. Aargh!
$50 android phones are still sold in developing countries and they usually have an MT6580 or UMS312 with 720p screen.
As far as I know hard drives are more and more prone to have bad blocks as you travel back in time. An old man who had access to computers before I have even been born told me every HDD in production had some. However, nowadays as HDDs density went insane and each block is so tiny, a single bad block usually means a red alert suggesting more are coming and the whole drive is dying, nevertheless this is a rare thing to happen as we now can produce all the parts with extreme precision making it a "swiss clockwork" sort of reliable. This way, can't we produce a flawlessly perfect HDD of the old kind so its huge blocks would never turn bad?
I honestly only managed to get my mind wrapped around how class based views worked by studying Django Vanilla Views and Django Rest Framework… while I eventually learned and understood why the built in class based views are the way they are… in no small part thanks to https://ccbv.co.uk/ … but it was definitely more instructive to have a more simple class and mixin hierarchy that I could use, put breakpoints on, and fully get my head at… in order to get my mind around the very concept of class based views … after that it all made a lot more sense.
> Skip stand-ups and all-hands.

> Decline invitations by default. When you’re essential to an event, its host will notify you.

> Play pranks and plan ruses!

Be a mysterious, opaque asshole.

Create more work for everyone you work with.

And when you do show up, make sure that nobody knows whether you're on the level or not.

Okay, that last one is uncharitable. Being memorable and fun is a valuable thing, and something I strive for, but as John Scalzi has pointed out, "the failure mode of 'clever' is 'asshole'."
I disagree with this sentence of the article:

"I could say that times have changed and now the original 2004 reasons for omitting frame pointers are no longer valid in 2024."

The original 2004 reason for omitting frame pointers is still valid in 2024: it's still a big performance win on the register-starved 32-bit x86 architecture. What has changed is that the 32-bit x86 architecture is much less relevant nowadays (other than legacy software, for most people it's only used for a small instant while starting up the firmware), and other common 32-bit architectures (like embedded 32-bit ARM) are not as register-starved as the 32-bit x86.
I would use Go more confidently than C#, C# depends on Microsoft for everything, from the tooling to asp.net, entity framework, c# is mit licensed but you can’t get anywhere without microsoft.

Now I understand there's little chance microsoft kills it, but I would assume people would have thought that of their perpetual licenses or plans for VMWare, they maybe thought they're not going to kill their clients, they're not going to kill sales partners because XYY, the truth is, there are good technologies very dependent on corporations deciding their directions, but those technologies aren't that level better than open ones to justify the risk
The counterfactual may have been the same. There is a cost to having tons of tests too.
I feel like there's a good point made by the Discourse CEO about Qualcomm (and competitors) - the product decision to segment their CPU line by drastic differences in single-threaded CPU perf is a highly anti-consumer one.

In contrast AMD and Intel use the same (or sameish) CPU arch in all of their lineup in a given generation, the absolute cheapest laptop I could find used a Pentium 6805, which still has a GB6 score of well over 1000, sold in a laptop that's cheaper than most budget smartphones.

In contrast, Qualcomm and Mediatek will sell you SoCs that don't even have half of that performance as a latest-gen 'midrange' part.
If you actually take time to go and read through them, you can see that the writing pattern is clearly different to that of ChatGPT, contrary to the recent ones:

- "[...] Certainly here is a vast and important project for research."

Versus:

- "Certainly! Here is the text with spaces added after each word:"
They also suggest "scheduling something together you’d actually enjoy doing rather than “hanging out”", but what if I like just hanging out? One of the best and most memorable evenings I spent with a friend was just ambling around the city.
After 17 years of using Linux I realized that I was tired of tinkering with shit, so I caved and bought a macbook air. Not even two years later I was back on Linux, because I realized that the amount of tinkering I do on Linux is actually very small; the experience I already paid my time for means that Linux is simply easy for me to use, while MacOS is a pain in the ass in innumerable small unexpected ways. The path of least resistance, for me, is to continue with Linux.
I'm fine with and approve the usage of LLMs in academia, as long as they provide genuine value and something new to the field. These tools should be embraced when they can augment human intellect.

However, I draw a firm line at using them to generate complete academic works or nonsensical content, as that undermines the integrity of research and renders it devoid of originality. LLMs should serve as invaluable assistants to free up scholars for higher-order analysis, not as replacements for human ingenuity.
I think it's a bad idea to judge tech based on popularity. It just becomes a game of high school fashion drama, instead of getting work done.

Also, I think the comparison is unfair due to the sheer age of DRF. Check out this graph: https://star-history.com/#encode/django-rest-framework&vital... Then click the "align timelines" and you see that ninja is more popular than DRF was at the same age.
You call bullshit on it by either refusing to run the test, or better and more helpfully by running a test that answers the performance question.

I've seen these kinds of requests plenty of ways. Sometimes those asking include a design or specs because they honestly thought that was the right way to do it, other times they are knowingly asking for (in this case) a useless test to check a box. In either case, IMO the right response is to ask questions to clarify the goals and build to that, changing the provided design or specs if necessary.

I've had to play this out dozens of times over the years and never earned enemies from if, at one point I won over the PM leader that everyone on the dev team warned me about. Its all about tact and approach, assume everyone is on the up and up and just ask good questions to clarify the goals. Its hard to get mad at that unless its done in a condescending or argumentative way.
I'm not very familiar with Objective C and Swift, so this might not make sense. But JS used to have a similar problem with async/await. The v8 engine solved it by walking the chain of JS promises to recover the "logical stack" developers are interested in [1].

[1] https://v8.dev/blog/fast-async
N. Usually THE AUTHOR pays the journal to publish anything. However, the professors need publications for their CV (number of published articles is a very important metric in the academic world), to acquire new funds ("give us money to do research on topic X. Look at how much we published on this related topic before, we clearly know what we're doing") or advance in their career (ASA function of the former two points). Students need publications as part of their graduation requirements (in a lot of fields, you are required to have N publications in a peer reviewed venue to get your PhD).

So in both cases, you don't make money directly from publications, but from the prestige they bring and the credibility they're associated with ("this guy must be an expert on X, because they published on the topic").
1, 1.1, 1.01, 1.001, …

This will never reach 2, so it will not generate all real numbers. (Which was what parent was asking for, to recusively generate all R)
Hell, better that they DO include the prompt. Since that A: clearly discloses AI usage and B: If someone attempts to duplicate the experiment (if relevant), they can take their data (perhaps give the prompt input, at least a subset showing all structure, in an appendix) and run it through the prompt.
> I hate standups, I won't listen to your update, if I need something I'll ask in the team channel.

If you won't listen to my update, why should I read and respond to your question?

Please spend five minutes of your day actually working with your coworkers, instead of making extra work for them later on because you can't be bothered to sit still and listen for five minutes.
> dragging-and-dropping mails as EML files

This is extremely prevalent in my org. With decades of emails saved on the file system and used as evidence of procedural workflow. It’s now getting annoying as different parts of the org are on different clients so these files don’t always open.

There’s no easy equivalent on the web client or Mac client. Print as pdf sort of does the same thing with a durable record of the email, but takes many more clicks and seconds.

Comically, the people I know who just print out emails and physically file them will be the only ones with real records in years time.
Just be careful not to do any inadvertent organizational damage from up there.
Students at universities do that now. And they get passed. It exposes the whole charade that much of the higher education has become.

The idea behind writing a lot has been that it forces students to think systematically and thereby learn. But they are not typically interested in that, they just need a diploma in order to get a job. Before computers they were copying books verbatim and since plagiarism software they paraphrase books. And now chatgpt removes the middle man - the student. It doesn’t make much sense either way. The source of the problem is really the conflation of higher learning with vocational training.
did you read the article in the first place? this didn't expose any exception and it just keep loading to eternity until timeout
deleted (I made a mistake when switching from the linked French Scholar to English version, I posted incorrect information here)
The point is simply that it doesn't imply the existence of uncountable sets in ZFC. Modus ponens is different. The semantic entailment relation ⊨ between (P→Q, P) and Q is valid iff there is no model such that the former is true and the latter is false. Which is a sentence in plain English. It doesn't require the existence of some object that is mapping the premises to the conclusion inside the model. It doesn't even require the existence of a syntactic deduction rule (⊢) that tells you from (P→Q, P) to infer Q.
Wow, this brings back so many memories. The sharp click of the carrom pieces hitting each other, the slightly deeper clack of them hitting the sides of the board, talcum powder to help them glide, and all the family members watching with bated breath as a player was about to shoot. We played in the days before air conditioning, when it was too hot to go outside, and there was no TV either. We would get little blood clots under our fingernails from striking too hard and have to reposition our fingers to account for it. Happy days...
Who's their competition? What's their moat, except for being 15-minutes drive away from Nvidia's HQ?
> Evaporation accelerates until the cluster basically explodes

This sounds very much like what happens at the end of a black hole's lifetime as it evaporates by Hawking radiation. Any chance that's a real connection?
Absolutely, the time saved formatting a table + time triple checking it might be the same as doing manually in the first place.

But I was talking about the intended usage, it doesn't sit as fraudulent to me in the scientific sense.
> Create more work for everyone you work with.

It’s exhausting working with people that don’t show up to meetings. The rest of the team is all on the same page already and the special person needs everything explained to them individually because they never showed up to the meeting where the discussion happened. These people always seem to flame out of jobs while feeling they are too good for them.
Like this: https://www.abc.net.au/news/2024-03-17/coalition-steps-up-ca...
I feel like preventing illegal writes to protected memory is less "breaking user space" and more "protecting all space".

This is like arguing to allow the guy who can't drive and just pin-balls his way down the freeway bouncing of other cars, because to prevent him from driving would be to take away his personal freedoms.
Primary content is an animation.