skysight-inc/HackerNews huggingface dataset:
Last year I decided to give a try to semaglutides,
at the time I was exercising pretty heavy, both weight lifting and long distance running.

And then I went to vacation to Maldives for a couple of weeks.
Not much chance to exercise when you are locked on a tiny island.

I surely lost some fat during these 2 weeks, but the amount of muscles I lost? Jeeez! I think it offset my training goals by 2 months.

I realized how unhealthy it was, you are literally starving and not feeling it,
and I kept myself on a low dose!

When you consume food it's not just calories, it's also nutrients, if you eat a lot less you are body is missing out on all the essentials!

So it might be a magic pill in some sense, but in other it's extremely unhealthy.

Later that year I have actually lost more weight by doing more long-distance running, that motherfucker burns calories big time and in a healthier way.
OP was wondering about why we are so much heavier. It seems to be the food. Not much to do with activity levels.
Preclinical Studies of Rejuva GLP-1 Based Pancreatic Gene Therapy (GLP1 PGTx)
> Maybe before surveillance tech existed, there was no expectation of privacy in public places, but now that surveillance tech exists, people naturally expect that high-res video of their every move won't be collected, archived and published even if they are in public.

currently, that'd be an unrealistic expectation. I'd agree that it would be nice if that wasn't the case but laws need to catch up with technology. Right now, AI doesn't change things too much since a company who publishes something that violates copyright law is still breaking the law. It shouldn't matter if an AI was used to create the infringing copy or not.

I'm all for new laws giving extra rights to people on top of what we already have if needed, but generally copyright law is already far too oppressive so I'd need to consider a specific proposed law and its impacts.
By that measure what the hell was bombing Suleimani? Or moving our recognised capital of Israel to Jerusalem? Or arms to Saudi Arabia during their war with Yemen?

Neither Trump nor Biden started a war. They had wars happening around them that we were to various degrees involved.
Unlearning LeetCode
Check out Shaarli if you are open to self hosted options.

Like pinboard it feels old but in a good way (aka it is light on resources and has a limited featureset). However, I will say that I do not care to archive pages and just use the wayback machine for dead links instead.
I don't think your first usecases are applicable to what people normally call "group chats"
“I think you’re a downer so you must be miserable” is a really great thing to add to the conversation.

Thank you.
Yes they do.

I’m employee #3 so…you know Probably not exactly what you expected
Is God a Strange Loop?
In-org usually has the whole domain white-listed and the whole organization would normally be auto-synced to your contacts.
Show HN: One Million Emojis
Hey HN,

I saw the one million checkboxes post the other day and thought it was really cool. I wanted to work on a fun project with the same sort of style, some type of collaborative game with websockets, and thought of a funny idea. What if we had one million emojis?

Genius idea, I know.

There are some interesting differences. You can’t change an emoji once it’s selected, so it’s permanently yours! The grid stays the same no matter what, so by the end of this we’ll have some type of giant square flag of emojis if it gets filled out.

Please don’t make anything horrible

Full credit goes to eieio for making one million checkboxes and inspiring this project! Check out their stuff here: https://eieio.games/

I make things and also talk about them sometimes: https://torresjuan.com/

Juan
Did Cisco really invent MACSec?! I thought it was cooked up by the IEEE and supported in hardware from many vendors. I imagine they all have their own bugs though, it's quite a complicated spec. I know some switch/router vendors also now offer hardware-accelerated end-to-end encryption, similar to IPsec, Nokia call their's anysec but I'm sure the other players have their own. The benefit of those is you'd get full bandwidth (e.g. Tbps).
In the other direction, I’ve hired engineers out of aerospace into medical devices and can confirm it’s a pretty easy fit.
It's a funny joke, but I think it downplays how much of our world is led, run, and inhabited by assholes. It's more likely that we are living in the Asshole Universe and there is a parallel universe out there where being the asshole is an outlier.
No, I'm really not trying to take things out of context, but what you wrote really makes it seem like the person who reports it matters.

Ignoring that, I agree that it's a dick move, but it's like our famous "well, technically" memes - the delivery might matter, but in the case of security issues, it really doesn't matter as much as the actual content.

"You have an issue, and I'm going to be a dick and release it in a week."

Yes, that would be a dick move, but someone acting like a dick doesn't mean that the Nix team shouldn't address the issue within that week, even if it does feel like extortion.

Also, those matrix links say nothing. I'm not sure what we're supposed to do with them, but I'm not downloading software to see whatever it is you want to share.
Vulnerability researchers misapprehend the dynamics of bug bounty programs all. the. time. and are virtually never doing that in bad faith. I don't need to determine which of these two entities are above board; I presume they both are.

If you think that any major vendor bug bounty has incentives to stiff researchers, I'm commenting to tell you that's a strong sign you should dig deeper into the dynamics of bounty programs. They do not have those incentives.
A Critique of Modern SQL: Towards a Simple and Expressive Query Language [pdf]
Litestream: How It Works
There's an event system that is integrated into all kinds of bits in the standard library and surrounding ecosystem, which plugs into all kinds of high level tools: dotnet-trace/-monitor/-counters, profiling in VS and Rider, etc. There are also telemetry hooks but I have not looked into them in closer details, supposedly that's what .NET Aspire uses.

I think a similar experience can be quickly achieved with tracing in aspire: https://devblogs.microsoft.com/dotnet/introducing-dotnet-asp...

It's a bit different but I don't know if anyone made a quick handy GUI tool to hook up to .NET's EventPipe and display its data in a nice way, but the extensive API for that is there.
How do you reliably get to the copper without shorting it?
No they would not have.
This isn’t really true in my experience. They may be leery of hiring from outside the industry.
She seems to be leaning toward the sjw trope.

And then there’s Sarah Winchester, who instead of becoming the psychologist, became a case study in psychology.
This is gonna be a work of art if it takes off, I added my part.
> If, to be available in a given country, the platform should commit to respecting the law in that country, wouldn't that kill the universal Internet as we know it?

Personally, I'm interested in the Mastodon experiment in this regard.

... and I think it's possible that the answer is "Yes, and that's kind of okay." It's not out of the realm of possibility that in a world as diversely-governed as ours, one global Internet was actually an undesired goal. We've been running the experiment for awhile now, and it's entirely possible people aren't well-kitted to be exposed to everyone else all of the time. When I was younger, I bashed the Great Firewall as obviously unworkable, but maybe I was mistaken (besides, take a step back and one realizes that there's plenty of content the US also compels dominant service providers to censor, so it's not like the land of the First Amendment has clean hands on this topic, with the added bonus that techno-hegemony implies that US law tends to end up shaping "what the Internet looks like", so perhaps there's good reason to Balkanize it).
"Don't anthropomorphize LLMs. They're hallucinating when they say they love that."
Yup, this is just a new-age tragedy of the commons. As soon as armies of sheep come to graze, or consume your content, the honeymoon's over.
At least at a strip club you know what you're getting. After what I've seen in group therapy, I'd prefer a strip club to a church.
The selling point of TW is that it is, effectively, styles. That's what distinguishes it from what I could call just normal CSS. It has value over inline styles -- otherwise it wouldn't exist -- but it's still the same principle.
The source article:

Generative AI as a tool for truth.
Conversation with a trained chatbot can reduce conspiratorial beliefs.

https://www.science.org/doi/10.1126/science.ads0433.
One https request != one disclosure of personal information

If I host some static files on S3 and your browser makes some requests to AWS URLs that doesn’t mean that I’m giving all your info to AWS.
You can spend a small amount of die space on something that will yield 10x performance benefits for some things, and you can spend a lot of die space on something that will only yield a general 5% improvement. Which you choose depends on a lot of factors. In other words, the relationship between the "things on the chip" and general performance, or specific application performance, is not a strictly linear relationship.

The 20 series Nvidia GPUs with RTX were a good example. RT cores were added and took up significant die space, people said "why not more CUDA cores", but given the design of consumer GPUs it's extremely unlikely that just replacing those with more CUDA cores would have had a proportional uplift. In Nvidia's case, they realized RT cores were a better bet and served their customer bases (industrial graphics, gaming) better than just more raw numbers.

As it stands, specialization like this is a key element of new designs on leading edge processes. You're going to see more of it, not less.

> I guess that’s why they pay the people at apple the big bucks because they must know best.

Well I don't know about "best", they almost certainly know ~infinitely more about their customers and workloads than random people like us do, I can at least say that much.
List of Indian Mathematicians
I was surprised to see that there were / are so many of them, even though, being Indian, I had a vague knowledge that there had been good work done by them, in ancient times, the middle ages, as well as in recent centuries.
It seems your dad has more self-awareness than most.

A better example is right there on HN. 90% of the content found on this site is just silly back and forths around trying to figure out what each other is saying because the parties never took the time to stop and figure out how each other works to be able to tailor the communication to what is needed for the actors involved.

In fact, I suspect I'm doing that to you right now! But I didn't bother trying to understand how you work, so who knows?
How do we determine the truthfulness of a statement on the internet?

This is a hard question I have been thinking about for some time. The internet is digital, which means it's divorced from reality, everything on the internet is either typed in, uploaded, or generated.

You could rely on publishers and scientific journals to ground the content with some authenticity. But we're seeing a similar issue with these scientific journals, where there's too much publishing and not enough peer review.

You could require proof in the form of video evidence, but in this new age of generated AI and video editing, video evidence is suspect.

A small circle of insiders has been the status quo in the scientific for a long time, sometimes to the detriment of scientific progress. Now they're also dealing with a much larger circle of outsiders and the enormous volume of content they're producing.

I'm not sure what the answer is, except that maybe the answer isn't found online.
AI can't cross this line and we don't know why [video]
> the form is not interpreted, but first compiled then executed

That's TempleOS technology right there.
The words.
Basically, if you had a model that could reason, it should be able to figure out new infromation. I.e lets say you map some bytes of the output to an api for creating a tcp socket and communicating over it. The model should be able figure out how to go out on the internet and search for information, all by itself, without any explicit training on how to do that.

So without prior information, it should be able to esentially start out with random sequences in those bytes, and seeing what the output is, then eventually identify and remember patterns that come out. Which means there has to be some internal reward function for someting that differentiates good results from bad results, and some memory that the model has to remember what good results are, and eventually a map of how to get information that it needs (the model would probably stumble across Google or ChatGPT at some point and time after figuring out http protocol, and remember it as a very good way to get info)

Philosophically, I don't even know if this is solvable. It could be that we just through enough compute at all iterations of architectures in some form of genetic algorithm, and one of the results ends up being good.
Parent asked a specific question about the survival of Firedancer and winding down of the crypto arm though. No demise of Jump mentioned.
The US already spends enough money on healthcare.

It's just sucked up by health insurance companies.

Spending less on war won't fix healthcare. Spending less on war and more on healthcare will just make healthcare worse because it will give the private equity vampires running the system more cash with which to bribe politicians and screw us over even more.

Fixing healthcare means spending less.

Spending less on healthcare means we get to spend more on war.

If the US would just get off its ass and implement single-payer we could save so much money that we could have a military capable of killing God.

Same goes for K-12 education spending. The US is consistently in the top 4-5 nations as a percentage of GDP per capita. The money is being wasted. On what, I don't know, I haven't looked into it.

But I do know that the US could halve what it spends on healthcare and "only" be spending what everyone else is spending.

That would save like $2.25 trillion per year.

$2.25 trillion dollars can buy a lot of B-21 bombers.

Thousands of them.
Instead of banning them, we have the ability of individuals to not support them and to ignore them.
I don't know if OP was strictly on topic or was generalizing to health in general. It’s not like there’s a point to neatly delineate obesity from overall health on this topic since the overall topic is health.

There are a lot of pathological things we do regularly, not just overeat/eat the wrong things. They all contribute. Last I saw less exercise is more caused by obesity than the other way around. And sitting a lot can cause biomechanical maladoptions which makes movement (and in turn exercise) more inconvenient.
A donut is about a half hour of jogging. If a Little Rock breakfast is like the rest of that neighborhood most of the sedentary thin thin state people I know wouldn't be able to keep it down.
It does require a running daemon. Other solutions, like podman, do not. There is an overhead associated with docker.
I'd love to see a memory efficient and performant implementation of lock-free skip lists written in Haskell, and it'd better beat my C++ implementation!

Laziness incurs amortized costs all over the place, and makes reasoning about the application state more difficult, can you help me justify the cost for the extra electricity?

And, btw, last time I wrote a web server in Haskell, I was very much surprised that the standard way of implementing it was to use lenses, which mimic imperative style of assignments to a variable. And logging. Turned out you need logging for anything real, and in Haskell they are side effects implemented via a dirty hack that can be invoked anywhere.

Finally, you can pry my Knuth tomes from my dead cold hands.

On a more serious note, if you are really into immutability and functional style, F# is deemed to be a far better and practical choice. I reserve only praise for Common Lisp and Clojure, although I typically prefer static typing.
Thank you for the compliment.
Please try and let me know if you have any improvement suggestions
It's unclear that NSO group is interested in gaining access to iCloud accounts or Photos, nor is it clear that this entrypoint is something that would meet the bar or be useful for signals intelligence, since it requires sending a calendar invite and clicking on the attachment.

Bug bounties will pay for any bug. Offensive firms only pay for things that are practical, and they don't pay everything up front---it depends on the lifetime of the exploit. The business model is closer to a subscription or services.

There is no reason to believe NSO group would pay more, and they certainly wouldn't pay quicker.
Usually one vendor prototypes a feature then they take it to IEEE/IETF for standardization. Probably half of all network protocols were invented by Cisco.
> Because you work with people outside of your company, support, vendors, sales people etc.

If I work with them, I would have them whitelisted. If I've never even heard of them they have no business sending my devices calendar invites.

Boss: Why aren't you working on that project I gave you?

You: Some stranger in Indonesia invited me to a sales meeting instead.

Boss: If I need you to go to a sales meeting with someone from Indonesia I'll tell you to! Clear your desk!
My friend, it has nothing to do with going inside a computer. Do not confuse the Singularity with mind uploading which is a distinct concept. The singularity has to do with technology acceleration, and with the inability to predict what lies beyond it. As such, it has nothing to do with any suicide cult. Please stop spreading nonsense about it. I do care about life in the physical world, not about a digital life.
It’s for VCs to go ooh and aah and boost their valuation.
Maybe attack the problem from a different angle: use an accelerometer. Or spend a little bit more money to add a gyro and make a real, if very low accuracy, IMU.
I am encouraging people to insert their own custom notes. but even if they add textbooks or anything I think it will be fine as they are not distributing the data and just learning for their own in a fun way
Doesn’t mean those people who wish to avoid it are doing so for incredibly strong reasons.

Google is quite up front and transparent about what the services do and what data they collect. The user can control pretty much all of it via device and account settings.

https://support.google.com/android/answer/10546414?hl=en

Personally, a lot of the tin foil hat privacy stuff isn’t worth losing some rather useful services like sending emergency responders my location.
OpenAI threatens to revoke o1 access for asking it about its chain of thought
I wonder if I can take credit for that :) https://news.ycombinator.com/item?id=23838755

I can to this thread to talk up the book too!
Like people who bring up pure free markets when discussing economics, an absolutist definition of free speech in a discussion about the real world is pointless. All speech is regulated, therefore all definitions of free speech that can be discussed imply some degree of regulation.

Do you want to have a discussion about free speech with some nuance or will every one of your comments be of the "murder kittens and eat babies" variety? The problem with absolutist statements and slippery slope arguments is that they just aren't interesting.
Solving difficult cognitive tasks is exactly what most people would call “intelligent”.
Infant mortality, smoking levels, alcohol consumption, social acceptance of driving while intoxicated, car collision safety, etc have all changed significantly in that same time frame.
It was murky but I did appreciate that they took over del.icio.us and sort of half made it available again. Regardless, a legend in the game.
I think you have particularly dumb colleagues then. If you post this question to an average STEM PhD in China (not even from China. In China) they'll get it right.

This question is the "unmisleading" version of a very common misleading question about sexism. ChatGPT learned the original, misleading version too well that it can't answer the unmisleading version.

Humans who don't have the original version ingrained in their brains will answer it with ease. It's not even a tricky question to humans.
This is a great writeup! Especially for those that may want to DIY it, the how and the why and all of that, and not have to shell out for carrier-quality Layer 1 encryption devices. Nice to see that even off-the-shelf components can do it with relative ease at those rates. Also nice to see sane sysctl tunes as well. Anything to make an adversary's day a bit harder. I low key love the explanation of old 10B5 taps, something that so well and truly dead, but the legacy carries on into everything new today.

This is actually a well-trodden area of datacenter interconnect (DCI) devices that do line-rate encryption (to crazy levels like 400G+) to protect those links that may have easily accessible fibers strung along poles, for instance, to prevent just the vampirism described in the post. Packetlight, Ciena, Infinera and others.
I kind of get it. /tmp has historically been a world-readable/world-writable location in the directory hierarchy. If you want to save something private, it's not a great choice.
Janet Jackson had the power to crash laptop computers (2022)
it's just a demo. you can create a subject and then insert your study materials then you can quizzes will be generated which you can scroll like tiktok but in this you are actually learning
> effectful and Bluefin are here to stay. I guarantee it. For non-IO-based effect systems (e.g. polysemy, freer-effects) I agree.

Just to be clear I think Bluefin is really cool and I'm a fan of your work overall.

I'm speaking from the industry/production perspective here. When polysemy and freer-effects were released there was a similar belief that they were here to stay.

transformers and MTL have stood the test of time, are heavily documented, and are pervasive throughout Hackage. Understanding them and how to build programs with them is essential for anyone trying to break into 'production haskell' as a career move.
What Is Evidence? (2007)
Here are the prize winners: https://improbable.com/ig/winners/
Other than bad press there's no immediate incentive for the company to avoid stiffing researchers. Bug bounty programs work if the company is vulnerable to bad press and it would actually impact their bottom line.

This is not from an examination of when bug programs work but when they have very demonstrably not worked in the past.
> it just takes discipline to never "hack it in the moment" - or if you do, can that change in your config system.

Yup, and I'm glad your experience has been different from mine but mine has been that tired and stressed people are anything but disciplined, so nipping a few "I'll just apt-get ..." in the bud goes a long way. So does Reverse Uptime (or its friend, Chaos Engineering)
Of course not. Nor does free speech give carte blanche to put a billboard featuring one's top-10 favorite CSAM images on the side of a highway because you own the land the billboard's on. Of course free speech requires regulation, and if that's not free than the kind of speech that fits the full-expanded definition of "freedom" breaks down when there are three or more people in the conversation.

Pushing the question to the extremes tends to give nonsense answers.
As an ex-fang engineer myself, I have never advocated for more services, usually have pushed for unifying repos and multiple build targets on the same codebase. I am forever chasing the zen of google3 the way I remember it.

If anything my sin has been forgetting how much engineering went into supporting the monorepo at Google and duo-repo at Facebook when advocating for it.