skysight-inc/HackerNews huggingface dataset:
Honestly this seems like the best idea. You can’t get accused of letting a kid access outside approved hours if you don’t allow people in Utah on.

What about adults? They may be lying kids. So either no access (safer) or strict age checks involving checking licenses and stuff. But that’s expensive. No Utah is easier.

How do you know they’re in Utah? IP addresses. Blocks people outside Utah? Sorry, our lawyers made us do this. Complain to your reps that Utah is messing with your state’s citizens. VPNs? Maybe gotta block that too.

Utah is not a big state. The social networks could easily use this to try to “teach a lesson”. Just say you’ll let Utahans back in when their government makes a foolproof age verification system.

And wait.

I don’t necessarily disagree with the intent of the law, it just seems unenforceable/unimplementable, as usual. No benefit to the social networks but huge legal downsides.
Most of the cries for abolishing the Electoral College come around election time from the losing side, of which both sides of the political aisle have been guilty of. Republicans cried for it when Clinton won, Democrats cried for it when Bush won, Republicans cried for it when Obama won, Democrats cried for it when Trump won, Republicans cried for it when Biden won, etc.

This indicates most of it is all politically motivated, enabled by a lack of understanding for the political system among most Americans. It's a gross violation of Chesterton's Fence, crying for the Electoral College (the "fence") to be abolished ("torn down") because who needs such a seemingly convoluted and meaningless system, amirite?

As for you specifically, you obviously still aren't understanding how American democracy is structured, no. We are a representative democracy and a federal republic. The people vote along State lines to determine delegations whom we respectively send to the Federal political table. The United States operates on Statewide Popular Votes, not nationwide popular votes, because we are a Union of individual, otherwise independent States.
Wittgenstein tries to explain how language works, how it represents the world. One consequence of his theory is that language cannot represent that relationship itself. (At one point, he compares this limitation to the way that an eye necessarily can't see itself.) Well, if you believe that, what's the point of writing the Tractatus? So the ladder metaphor is supposed to suggest that contemplating the Tractatus might lead the reader to grasp the nature of language, even as they ultimately realize that a book can't really depict that straightforwardly.

One source which I've found very accessible on this topic is Bryan Magee's interviews of John Searle: https://www.youtube.com/watch?v=qrmPq8pzG9Q&list=PLB72977AF4...
Literally everyone who lifts weight and trains properly for a decent length of time knows that bulking (eating more calories to put on weight) and cutting (eating fewer calories to reduce weight) work.

The fact that this is even at all debated is bizarre. These people should stick to astrology.
This explanation is trivially incorrect if you actually read the quote from Wittgenstein:

>My propositions serve as elucidations in the following way: anyone who understands me eventually recognizes them as nonsensical, when he has used them—as steps—to climb beyond them. (He must, so to speak, throw away the ladder after he has climbed up it.)

It is his propositions (the propositions he lays out in the Tractatus - the book is structured as a list of propositions) that form the "ladder", not language itself.

I'm really not looking forward to people having dozens of hours of hallucination-filled conversations with ChatGPT and then thinking that they've learned something. (I've already seen it tell someone that "C++ is typically compiled to intermediate code and executed on a virtual machine, making it less performant than C".)
AFAIK guaranteed TCE wasn't supported in LLVM at all when Rust was still being designed and considered adding it. Support for musttail in LLVM has been added relatively recently.

WASM doesn't support guaranteed TCE yet (it's a proposal), and that's an important target for Rust.

https://github.com/rust-lang/rfcs/issues/2691
that would pose a problem for the medical state. how can you enforce "vaccination"?
I avoid “celebrity” podcasts and rather listen to researchers with real experience in the trenches. For LLMs I’ve recently liked listening to Ilya Sutskever on Clearer Thinking and Eye on AI.

Anyone recommend any others in this vein, on this topic?
One upside is that there is no, and there cannot be any, daylight savings time jumps, or any other offset changes, now or in the future.

Local time is governed by local authorities; UTC, much less so.
All your points I agree with. I didn't say it was a good system. I've lived in Japan and I loved the government health insurance. One of my biggest annoyances about being back in the US is how I get my insurance through my job, so now every time I hop jobs I have to do the stupid math and figure out the new employer's health crap.

I'm just saying that I see these weird takes about Americans paying like 10k for a single visit when that's just not the reality for most people. Only 8.6% of Americans were uninsured in 2020. Most insurance plans have a cap that doesn't even allow you to pay more than like 2-10k in an entire year.

Is it more expensive? Duh. It's just that there's more nuance to the issue. If I wasn't American (or I was an American that didn't understand how insurance actually works) I might have read that and believed that the poor Americans are all living in hell.

So yeah...we can talk about the issue because it's a big deal. In fact, I think it's the #1 biggest problem with American society right now and it's maddening that I never see anyone focusing on it. However, I don't like to see this kind of hyperbole from OP because people turn their brains off and stop looking at the facts.
Trivial app demos, sure. Non-trivial, no.

Influencers have been cranking out the former to sell their course/personal brand/consulting. They stand to gain from making AI look as magical and easy as possible.

A decision-maker watches an influencer's video and goes, "Wow! AI can do it all! I need to hire this influencer as a consultant/like their content/buy their course!" The reality isn't quite as flashy.

Incorporating LLMs into my workflow has been a great productivity boost, but by no means do they spell the end of software engineering.
Beat me by five minutes. 100% agree.
At a high level, all that would have to happen is a person gives GPT, or something like it, access to a social media page and tells it to post to it with the objective of getting the highest level of interaction and followers.
What do you mean by this? The author seems good at what they do, seems to love their craft and enjoys their work.

The tragedy here is that AI doesn't need to be better than humans (at least in many cases like art, writing etc). It just needs to be "good enough", maybe 80% as good as a human. Since humans can't compete with software on speed or cost, they are gonna lose.

How exactly can the author improve to a higher standard here, assuming they want to continue doing what they love, and not change careers?
Fair point about and/or, but there's still a consistent pattern to that usage - also he/she, etc. I'm having trouble coming up with cases besides US dates where it isn't used to mean one of these two things:

"of": like one half (1/2) meaning one of two, or km/h meaning kilometers per hour, or page 14/55. In these contexts it means something within something else. In both cases there's the strong mathematical connotation of a numerator and a denominator.

"or": like in and/or or he/she.

The symbol has clear connotations, and the American date-format deviates from those.
https://www.techspot.com/news/97909-ssd-reliability-only-sli...
The thing is it's not possible if the metabolism is broken.

It's a bit like saying "If I double my velocity every hour, will I reach 1000000mph?" Yes and no.

The human metabolism is a dynamic system with feedback. You can't sustainably eat 500kcal below TDEE for long periods of time because the body will turn down your TDEE to the minimum. For me that's around 800-1,000kcal/day. I've stayed weight stable for 2 months straight eating around 1,000kcal/day. I've also LOST weight eating over 4,000kcal/day (very different phase of my life, obviously).

CI and CO are not unrelated and you can't change one and expect the other to stay fixed.
This is hilarious- now when I google "90s movie about a boy prodigy that goes to an event with other prodigies and then shouts out an answer to a math question from the audience" the top result is the IMDb page for Gifted!!

The actual movie is Little Man Tate, yes? I've never seen it but that's what ChatGPT tells me. Zero Google results point there, but it is the #5 result for "related searches." I hate Google and even I am shocked how bad this is.
this position is getting a lot of flak, but I agree since we don't live in magic world where all software can handle time zones well.

I strongly prefer everything in UTC and changing time zone is an issue for only the vary top layer of the display/user interface/frontend whatever if absolutely needed - generally libraries designed for displaying have much more robust timezone handling than just random daemons and backend software.
I watched it. It was overall a good interview, and I think Altman comes off as much less of a woke nazi than some have assumed he is. I think the political bias issue is one that will become less important over time, and Altman also seems to understand why it pisses people off. I liked the quote about Steve Jobs adding a handle to the computer because you shouldn't trust anything you can't throw out a window.

I was also pleasantly surprised at how open he sounds to things like open sourcing the model weights.

Overall, he seems fairly grounded in reality and I came away from the interview feeling less judgmental of the guy than I did before it.

Lex Fridman remains as annoying as ever.
perhaps you had no motivation for writing an interpreter? almost all programming tasks that are of any interest require you to have some special problem to solve.

i really don't know how to describe this, but if you have no specific goal, you are not going to do, or learn how to do, anything. why do you deeply, deeply want to learn how to write an interpreter? what problem will writing an interpreter solve for you?
It's a tautology. It's like saying "people get richer because more money enters their bank account than leaves it." That's not the cause - that's the very definition of getting richer. You're just rephrasing it.
Assuming your TDEE stays constant (and assuming it's calculated accurately) -- and assuming your body doesn't play fucky with electrolyte + water balances causing you to lose Xlbs amount of fat, but gaining ~Xlbs of water retention due to hoarding of hydrophilic nutrients due to caloric restriction.

Biggest issue though is TDEE will decrease to compensate for less calories (and increase for more calories). Even for small things like fidgeting or deciding to go for a walk, or just be more chipper in general -- it matters and adds up.

500cals is a rounding error. You can eat an extra 500 calories per day due to discrepancies in dietary labeling, because the methodology (and the leniency allowed in how accurate calories reported can be) are shoddy.

Frankly, I'm not interested in weighing less. I'm interested in losing fat, so I look and feel better. I can lose 10lbs by just carb-loading, and then not eating for a few days (shedding water weight due to lack of insulin).

Fastest and most guaranteed way to lose fat is to fast, and do low-intensity cardio. Second best is PSMF and low-intensity cardio. Next best is keto and low-intensity cardio. After that? I don't know, you can count calories and do the recommended -500cals per day, but you'll probably be doing that forever without significantly changing your body composition.
I'm so confused by this statement. I mean I have no issue with pornography or sex workers but pornography is absolutely controversial. I mean... Parents are trying to get the statue of David removed from a high school in Florida because they consider it pornographic. That's controversy and that's not even pornography.

Controversial: giving rise or likely to give rise to public disagreement.

Maybe you were being silly and I misunderstood your intent in your reply
If you read my prior comments, you'll note I don't argue for the 5M. I have no idea what proper reparations would be because I have no counterfactual baseline for comparison nor specific moral model that provides a clear estimate. Indeed, this is why I wonder how much of the cumulative wealth would be a just transfer.

My comments on US and total wealth were generally noting that wealth is typically built by exploitation, either of someone's labor or of resources they or their progenitors took by force.
It's interesting though; the three things you mention are known as "Precepts of the Church" and they are modern commandments that we all must obey.

Yes, they are outward and superficial, but also, they are the sorts of things which lead to having faith, hope, and love.

Don't tell me that someone who does nothing else but attend a particular church service every week for 30 years will not be changed in some noticeable way.
The inverse of this is your test systems should be set to Nepal and India and use Unicode names for everything that has a text field.

It’ll smoke out all sorts of fun.
All people engage in mysticism, but when Materialists do it they expect a free pass, and due to being the dominant ideology (and also: cheating) they ~always win arguments, keeping everyone locked inside their artificial and invisible reality dome.

C'est la vie!!
I've gained 20lbs over 3 months of Starting Strength. I wish it was all muscle but it wasn't.
As far as I recall, Ireland is the only country to have its timezones setup that way.
Building a Chrome extension using GPT-4 in 5 minutes
Although I’m not tracking my time specifically, I did recently look at my first and last login times in Slack. I was surprised to find a lot of days where I logged in very early and very late. I don’t think you can draw a lot of conclusions from these values but they are an interesting personal metric.

Note: As a technical manager I feel strongly that you SHOULD NOT look at these values for your employees. I looked only at my own data.
I think it is, if it is being recommended to the person to lose weight.
> When I went to college I went to a very small college called Sarah Lawrence, back in the middle ages. I had a professor who became very well known. His name was Joseph Campbell and he exhorted us all to follow our bliss. Do what you love, follow your bliss and you will truly be successful. It was great advice, except when I graduated from college I hadn't a clue what I really loved. I had no bliss to follow. When I look at all of you today I think many of you do know what your bliss is. Graduate school, or medicine or law or biology, ecology, sociology. How about none of the above? How many of you in this graduating class truly know what your bliss is? Raise your hands. Isn't that interesting. Not that great a number. How many of you do not know what your bliss is? Raise your hands. Don't be afraid. Most of us don't. I didn't find my bliss until I was in my 30s and then by luck. That's another story.

It’s just individualistic dreck.
Disagree. In podcasts I love interviews and conversations rather than monologues. I think the pauses and speakers taking turns, make listening less monotonous and also cognitively probably helps absorb info better
> Still, the point of this tangent about Docker Desktop is that Docker's decision to monetize via Desktop---and in a pretty irritating way that caused a great deal of heartburn to many software companies---was probably the first tangible sign that Docker Inc. is not the benevolent force that it had long seemed to be. Suddenly Docker, the open-source tool that made our work so much easier, had an ugly clash with capitalism.

> Docker Hub, though, may yet be Docker's undoing. I can only assume that Docker did not realize the situation they were getting into. Docker images are relatively large, and Docker Hub became so central to the use of Docker that it became common for DevOps toolchains to pull images to production nodes straight from Docker Hub. Bandwidth is relatively expensive even before cloud provider margins; the cost of operating Docker Hub must have become huge. Docker Inc.'s scaffolding for the Docker community suddenly became core infrastructure for endless cloud environments, and effectively a subsidy to Docker's many users.

I'm not sure why they couldn't have been a bit more aggressive about monetization from the start?

DockerHub could have been free for an X amount of storage, with image retention of Y days by default, with Z amount of traffic allowed per month. The Internet Archive tells me that they got this half right, with "unlimited public repos" being where things went wrong: http://web.archive.org/web/20200413232159/https:/hub.docker....

> The basics of Docker for every developer, including unlimited public repos and one private repo.

For all I care, Docker Desktop might have just offered a CLI solution with the tech to run it (Hyper-V or WSL2 back ends) for free, but charge extra for the GUI and additional features, like running Kubernetes workloads. BuildKit could have been touted as an enterprise offering with immense power for improving build times, at a monetary cost.

Perhaps it all was in the name of increasing adoption initially? In a sense, I guess they succeeded, due to how common containers are. It is easy to wonder about these things after the fact, but generally people get rather upset when you give them things for free and later try to take them away, or introduce annoyances. Even if you cave to the feedback and roll back any such initiatives, the damage is already done, at least to some degree.

I still remember a piece of software called Lens one day starting to mandate that users sign in with accounts, which wasn't previously necessary. The community reacted predictably: https://github.com/lensapp/lens/issues/5444 (they also introduced a subscription plan later: https://www.reddit.com/r/kubernetes/comments/wakkaj/lens_6_i...)

That said, I self host my own images in a Nexus instance and will probably keep using Docker as the tooling/environment, because for my personal stuff I don't have a reason to actually switch to anything else at the moment and Docker itself is good enough. Podman Desktop and Rancher Desktop both seem viable alternatives for GUI software, whereas for the actual runtimes and cloud image registries, there are other options, though remember that you get what you pay for.
Are there any real CTF's done against OpenBSD to present this evidence?
>If I’m running a video encoding using all available CPUs, I don’t want that to cause lag with all my other processes.

Run the encoder at a lower priority?
You lose a lot of goodwill from the community if you refuse to change the code that a `docker pull image` no longer defaults to hub.docker.com AND then start to monetize teams, ESPECIALLY non-commercial open-source teams.

If they would mandate a registry then many more people would host their own and take the load off of their system.

But no, they want to have it all. And yea, they can. That I don't care about.

But you can't make a change, and walk back from it, and expect people to be happy, given the story that came before all of this.
Right, as in it could, in theory, hide in our solar system, in the future.

I don't know what's happened to people, but it seems they've thrown out any common sense just to hedge on an improbable outcome.
I don't see anything in the Wikipedia article on Geschke to suggest that the kidnapping was politically motivated. Was it?
I don't see it. I consult, and AI has just let me take on more clients. Using ChatGPT lets me finish their projects faster.

What's ending is the era of CRUD work.
Software Developer is the most common job in Utah, it's kind of surprising this happened despite that.
It's not bad at all, really. But, it's a privately owned company that doesn't want to incorporate that material into their product. That is totally their right and doesn't have anything to do with them deciding what is right or wrong. I mean, ir be lying if I said I don't enjoy porn now and then. I did a LOT more when I was younger. But, I absolutely get why they don't want to bring that into their product.
Lmao imagine Utah becoming the most mentally healthy region on earth, suicide rates plummeting, productivity up 300%, people spending time with parents and grandparents again? record sign ups in sports clubs, record birth rates etc.

Be careful what you wish for ;-)
I'm confident enough in most languages I write in to recognize correct code. But I am not usually so familiar that I can conjure the exact syntax for many specialized things I need. Copilot is just a much quicker way to get what I need without looking it up.
Since the initial outbreak of SARS-CoV-2 I have kept bottles of Betadine nasal spray around. They say "clinically proven to reduce cold symptoms on the packaging," always seemed reasonable to think it might work as well against this coronavirus as all the others.
Ask HN: Whats up with people trying to run Doom on everything?
Every once in a while, HN will have a post on the front page about someone running Doom on an obscure device/system, like this oscilloscope[0] for example.

What's so special about Doom to cause this trend? I get that it's a great game and a classic, but that alone doesn't seem enough to me to get people hack it into all sorts of devices.

Edit: I should add that this thread[1] is what prompted my question

0. https://youtu.be/xZaKlLyikKg

1. https://news.ycombinator.com/item?id=35306599
There are some valid points buried in this comment, but they are deeper than you perhaps intended or even know.

Metaclasses are widely used, but unless your specific problem calls for their use then you won’t use them. Usually these problems are related to authoring a library.

How would isinstance work with List[int]? Would it do O(n) isinstance calls on each element? Python isn’t typed like that, and a list is not and never will be an instance of List[int].

The magic method resolution order is also pretty natural and fits (slots?) nicely into the mental model you develop whilst using Python.
I’m a world where you have no “value” you become trash to those who “do business”, it won’t be a pretty transition. I’m concerned about it personally.

It wouldn’t be a problem if most people just respected each other, I think deep down inside they do. But while those paying our “wages” are an important part of our lives, we’ll have trouble.
People Can’t Get Their A.D.H.D. Medicine, and That’s a Sign of a Larger Problem
Even perfect fuel efficiency, higher speeds will require more energy than lower speeds.

More energy will cost more fossil fuels.
Of course it's not, that's not how the body works.

You ate in a surplus and gained some muscle and some fat.
> as soon as 2030

Is there anywhere someone can bet on this?
Funny enough when I discussed antivaxxer and brought up polio, no one ever corrected me and said thant they are not against vaccines but only against 'untestes'/COVID ones.
100% on the water weight vs. fat loss.

This diet I mention in the blog post is very ketogenic and very low insulin. In fact I originally designed it to be as low-insulin as safely possible (practically no carbs and only 30g of protein per day originally).

Fasting didn't work well for me. I've done up to 7 day water and 10 day coffee (with some cream, so low calorie fat) fasts. Thing is I only lose water/glycogen weight and it immediately comes back 2-3 days after I start eating again.
When you ride, you use your body to move the pedals. You can move your body into a good position, but you can't move the frame.