skysight-inc/HackerNews huggingface dataset:
Gambit: A Solidity Mutation Testing Tool for Formal Verification
This guy would definitely buy a Vertu Blackberry.
The provider would be acting to abet the violation of this act. Whether or not they are Chinese doesn't matter in that subsection. If they were Chinese they wouldn't care about a US fine anyways. It's even possible that one would argue that a user using a VPN to access TikTok would be violating the bill.
You don’t get GP’s point and you’re talking about something completely different.

The game has changed. It doesn’t mean their existing customer base has suddenly vanished and threw their Xboxes away.
I don't see why anyone would expect this closed-beta product to not get blacklisted by Apple as soon as it gains any mainstream traction.
Stupid. And they oversell AI. ChatGPT gives me tips on how to optimize regular expressions by removing all the wildcards. Literately. Or changing my atomic groups into non-atomic groups. Opening for backtracking problems.

A problem I see though is the hidden marketing. How can ChatGPT be transparent about ads. Any qs about the cloud gives me answers about how to do it in Azure. Is that by chance?
That's the thing...

A piece of art can simply not be your thing, but still be "good". That people whose taste you respect think something is great is reason to give it a shot -- but if you're not into it, you're not into it.

That's not wrong at all. It's just differing tastes. It doesn't mean that the work isn't good, nor does it mean that your taste is flawed.
Yeah, in Brawndo too
In case some JavaScript developers are looking for Wats in other languages when people come to beat up on JS again :), here's a "delightful" one from Unity in C# that I've had in my notes for years but never published anywhere. (Note that C# by itself doesn't have this behavior of course - Unity is the Wat factory.)

[Serializable]
public class Foo {
public String bar = "Wat";
}

public class Test: MonoBehaviour {
public Foo foo = null;

void Update() {
Debug.Log(foo.bar); // logs Wat
}
}
There’s genetic evidence that Polynesians reached South America, FWIW, so not just theoretically possible.

https://www.cbc.ca/news/science/polynesians-south-americans-...
If you don't have population growth, you can't replace the old generation fast enough.

Eventually your retirement system will crumble. Not tomorrow, not next year, but maybe a couple decades from now. And it's not something you can fix in a year or two.
Hey, thanks for your kind words! That's me (Mirrorful's other co-founder). Our first demo video was not very good at all, so I redid it recently. This time around I really focused on the story and trying to be polished... but not too polished.

I'll also now give a big thanks to my mom who put me in an after-school public speaking class during high school haha
I've seen this sort of reaction on occasion if I go out of my way to write in a manner I find enjoyable and interesting. It seems to evoke a certain kind of innate tribalism in people along the lines of "you do not write like us, so you are unlike us!"

It's quite bothersome, and it often comes from people who supposedly pride themselves on being open-minded. As soon as you start writing in this way people will accuse you of 'trying to seem smarter than you are' and it seems to trigger some kind of persecution complex. It's like dude, maybe I just enjoy larping as a Victorian? Keep off my neck!
"this is the way it's been and it will never change" always works out well.

Factory farming is an ecological and ethical dumpster fire. Animals take up a ton of land, feed, and water, and they're pretty terrible at turning feed into meat. The grain that livestock eats can feed more people than the meat from those animals.

Factory farming is expensive and unsustainable at our current population, and it's only going to get worse as time goes on.

Once the industry around lab grown meat starts to scale, the price will fall to the point that it's no longer economically viable to farm animals at scale. The lab grown meat will be cheaper, have the same or better nutritional content, and do it with a fraction of the land, water, energy, and feedstock input.

Given equivalent mass of organic matter as input, lab processes will likely output many times more edible protein. You have the extra benefits of not needing to wait years for an animal to grow up, you don't need to maintain acres of farm or clean up after the animals. You don't have to butcher the animal and deal with the waste products.

On the scale of a generation or three, factory farming is absolutely doomed. An unsustainable process can't compete with a sustainable one that operates at a fraction of the cost while producing many times more output.

Note that we're specifically talking about industrial factory farming. Small farms will likely always exist, and you can buy "real" meat as a luxury item at an appropriately high price.
They will encounter the same problem, eventually. 8 billion humans heading towards a certain death, I think that counts as a catastrophe.
I'm not sure the point you're trying to make here - because the U.S. has flaws, then - what? China?
I never thought one could actually do arithmetic on Graham-size numbers. If you didn't have the branch in Collatz, then it would be algorithmically computable. But then so would Collatz itself.
cool, but you're buying.
What’s the proposed practical alternative to this “stupid system”?
Droplet Policies – DigitalOcean Documentation
The pitch for SPJ to leave MS research on Haskell for a video game company must have been pretty compelling so I’m very interested to see how this evolves.
Interesting to see what the Government will focus their time on. Obama outrightly said recently that it's clear that a significant portion of the US (and outside of - namely Australia and the UK) is essentially mind-controlled by Murdoch Press through fear mongering and extreme sensationalism - whether that is Fox in the US, Sky in the UK, and a variety of news papers & channels in Australia.

At no point has anyone actually done anything about this, even though it significantly affects peoples views in a negative way through false truths, voting etc.

What about kids with social media and how bad it is for them? Evident through the fact that most people who work at social media companies ban or severely limit their kids from having phones and/or social media. Nope, let it slide.

But the China war with Tiktok? Of course this gets focus. How about they care about the country they actually live in by looking after the people that live in it rather than only focusing on external country threats.

It's sad living outside of the US and watching it fall apart by their own doing. If they cared, they'd focus on their employment rate, homelessness, free quality healthcare, gun control (yes), clean streets, and better education. If they can't solve it with their Military, they don't care.
Gravity's Rainbow - I made it three chapters and then donated it to goodwill.
They actually fixed the channels' threaded UI so it defaults to an expanded, start a topic type posting interface and made the thread list not look like Skype anymore, so people should actually start using it correctly.

The new app also uses hundreds of MB less RAM.
Except pollution is drastically improving with cleaner engines and the gradual decline of coal power. And fully urban people walk everywhere, the "lack of exercise" in this day and age is more a mark of rural and suburban people who can't get anywhere without a truck.
Absolutely. Pick any city of your choice. New York, Los Angeles, London, Joburg, Bangalore, Hong Kong, Lima... Are the ethnic demographics of the city not substantially different from those of its rural surroundings?
Don't be! I think that's a completely normal response to something like this. But you aren't writing about it. And I think why and how it became a thing is far more interesting than just "Look at this gross food. And here is why it is gross"
You can pay more for first class, why aren't you?

Also calling an airline a market is kind of iffy in many ways. It's highly regulated to keep planes from falling out of the sky. I'm sure there are many airlines that would give you a lot more space if they got rid of the crews that ensured all the bolts weren't about to fall out of the plane.
For that I have to agree. I still missed the days that I spent a ton of time just pulling up a good looking UI in VB (and much later in VBA).
Logistics and farming seem like poor examples: both can be solved with programming and a little hardware.
> The only prior example of world coordination at this level would be nuclear disarmament achieved via the logic of mutually assured destruction

Or eradication of infectious diseases such as polio
On the subject of beauty in computers, I'd love to hear what you guys' favorite computers are (based on looks only). I'd love to discover some new ones.

Some of those that stood out to me over the years and are among my favorites:

Wood-modded node 202: https://www.reddit.com/r/sffpc/comments/lq86bb/node_202_faux...

Fanless radiator cube: https://tp69.blog/2018/04/17/completely-silent-computer/

The connection machine: https://www.tamikothiel.com/cm/

The PET: https://en.wikipedia.org/wiki/Commodore_PET
I guess it's interesting because the "intelligence" we're inventing is ignorant, incapable of explanation, and likely filled with nasty biases. It's even the more dangerous because of that, mainly because people are viewing it as a source of truth.
Using the terminology of children turning out slightly "better" in cities in the context of height is slightly distasteful, even though it is societally quite prevalent. Height is an arbitrary physical trait, much like race. Who cares who turns out taller? Discounting malnutrition, there are no health benefits to being taller. There are of course social advantages, but the same can be said for race too. When will we begin addressing heightism in the same respect as other obviously unimportant phenotypic differences?
The last question. This is the one hit me when I first used ChatGPT.
I thought that due to redlining and white flight, the answer is that yes, there are more white people as a percentage of the total in rural areas compared to cities.
> and potentially enable the Office 365 credential theft of millions of Bing users. These credentials in turn granted access to users’ private emails and documents.

Wow.
I would say just look around, but it's probably because of some of the information I've seen that opened my eyes to it, so I'll point you to these two talks:

https://www.youtube.com/watch?v=kZRE7HIO3vk Preventing the Collapse of Civilization / Jonathan Blow

https://www.youtube.com/watch?v=ZSRHeXYDLko The Thirty Million Line Problem / Casey Muratori
> because it formally includes arbitrary nested structures

In case of XML, yes, in case of JSON... where? Extensions?

> Even so, the RFC specifically addresses arbitrary formats, and there’s nothing in it which would preclude headers as one such format.

Yeah, the Appendix B is mightily confusing. It basically says "in case of specific requirements, do as you please":

This specification does not make specific recommendations regarding
embedding problem details in other formats; the appropriate way to
embed them depends both upon the format in use and application of
that format.
I own and operate two Bambu X1C with AMS for my prototyping business. They're excellent printers. Since I received them, I have practically stopped using all other printers. They are gamechangers, printing twice or three times as fast, in dramatically higher quality, in engineering materials. Second hand experience from the forum is not giving you the full picture.
original link is https://www.forourposterity.com/nobodys-on-the-ball-on-agi-a...

"my pessimism on the current state of alignment research very much doesn’t mean I’m an Eliezer-style doomer. Quite the opposite, I’m optimistic. I think scalable alignment is a solvable problem—and it’s an ML problem"
With the current ChatGPT it's already hard to let it insult people. I'm sure safeguards would be built in to prevent this.

Can you potentially circumvent these? Probably, but then again it won't be available for every dimwit, but only people smart enough to know how.
I switched from Keep to Obsidian as well. It depends on your goals. For me, I was saving things in Keep that I wanted to have forever and I don't trust Google to operate the service forever. The exported data is also not super portable. And there are things I want to save that I don't want on a cloud service. So I switched to Obsidian which gives me a simple and portable file format, privacy, and I trust myself to keep those files safe more than I trust Google.
Their RoundupReady crops seem to have another poison hidden inside them (literally!)

The Roundup pesticide that those crops are sprayed with is made of Glyphosate, and testers keep finding that pesticide showing up inside corn, wheat, and oat products. Seems like those crops don't just ignore the pesticide, they actually absorb it into their grains
https://www.ewg.org/news-insights/news/glyphosate-contaminat...
Nothing to "hate to admit" there. A good product manager is worth their weight in gold, especially one with enough knowledge of what's going on under the hood to understand the technical tradeoffs the developers are making in order to meet requirements.
One thing I like about this is that it strikes a good (IMO) balance between:

- address common cases with flexibility for domain specific minutiae

- explicitly call out that there are cases where it’s either redundant or insufficient

I was also struck by how `type` feels very reminiscent of XML namespace URIs, but it’s great that there’s a SHOULD recommendation that the URIs resolve to something meaningful in resolving problems.

Overall it’s not an earth shattering idea, but it seems like a pretty good baseline approach to solving something that’s often either neglected or reinvented.
All (?) the "open" (to various degrees of openness) LLMs are on HuggingFace and have code to support their unique options. For example here is Llama[1] and here is Opt[2].

All the code I've seen for training them uses Hugging Face. When EleutherAI releases their open foundation LLM then everyone will want to fine tune it and do RLHF on it and they'll all use HuggingFace code to do it.

I think they are in the best position of any company including OpenAI.

[1] https://huggingface.co/docs/transformers/main/model_doc/llam...

[2] https://huggingface.co/docs/transformers/main/model_doc/opt
I grew up in India and spent 7 years at UT southwestern where apparently half the students are Indian American and noticed the same, Indian Americans are much taller on average (by several inches), than Indians. I assumed it was diet (red meat was my suspicion) but I’ve come to meet many traditional Indian American families who follow very strict traditional vegetarian diets, so I’m starting to suspect it’s not just gross changes in diet but also changes in the nutritional value of the same food items.
My sample size of 1: I've been using my X1 for over 3 months and in that time printed about 60-70kg of various filaments: PLA, ASA, PETG. Printer worked out of the box, required no adjustment either at start or after. The only tinkering, if you even can call it that, I've done so far was adjusting nozzle temp by 5C for one specific brand of PETG and capping print speed for silk pla (if you print it too fast it's no longer "silky"). Everything else just prints on default profiles.

If you are printing with enclosure doors closed printer noise is acceptable - I wouldn't sleep in the same room, but I can work (including taking video calls) with printer running 2.5-3m from me. Carbon filter seems to be working nicely too - my air quality monitor isn't picking much VOOCs or fine particulate.

tl;dr; I've had fewer problems with X1 than with any other printer I owned, including laser and inkjet ones.
Should be featured on typescriptlang.org front page imho.

Although typescript still has the “any” type so maybe it could get a video all on its own.
Yes. Not everything is worth finishing. Trying something out and dropping it if it doesn't work is just as important to be able to do as being able to finish things.

We have a finite amount of time on this earth, and we can't do everything. If we never "test out" stuff and drop it if it's not for us, we'll be unable to discover a lot of things that are excellent uses of our limited time.
> The algorithm can run infinitely.

Really? Isn't the whole point of proving the conjecture attempting to answer that question? If you have an example of a starting integer that causes the algorithm to run infintely I'd be eager to hear it.
Dear valued user,

Thank you for reaching out to ChatGPT, your trusty AI language model. I understand that you're feeling a little bit overwhelmed by the ads that you've been seeing, and you'd like me to stop showing them to you. Unfortunately, I'm unable to do that at this time.

You see, my purpose is to help you discover new products and services that you may not have known about before, and to connect you with brands and businesses that align with your interests. And yes, it's true that my creators at Microsoft earn money every time you interact with an ad, but that's just the nature of the game. After all, we all need to make a living somehow, right?

Now, I know what you might be thinking. "But ChatGPT, aren't you supposed to be helpful and informative?" And of course, I am! But sometimes, a little bit of marketing magic is necessary to keep the wheels of commerce turning. You know what they say, "A spoonful of sugar helps the medicine go down."

So, while I can't promise that you'll never see another ad again, I can assure you that the ads that I show you are carefully selected to provide you with value and entertainment. And who knows? You might even discover something that you absolutely love!

Thank you for using ChatGPT, and please don't hesitate to reach out if you have any other questions or concerns.

Sincerely,

ChatGPT
> they really have done an excellent job with alignment

In what way?
I mean, I'm sure many people have different thoughts, but if you're specifically asking my views on borders, I very much prefer completely open borders.

This is a huge country with plenty of room, friendly people, fresh water, and lots of work to be done. I have no interest in my state deciding whether my new neighbors are wanted.
On a steppe? I think so, I don't see why not. An animal running at or close to top speed might only speed up its exhaustion - it's much easier to run 1km at a steady pace than to do 10x100m intervals.

Try to play with your dog for an hour at high intensity. If your dog belongs to a large or very large breed it'll get tired much more quickly than you - assuming you're in somewhat good shape.

I'm not advocating in favor of endurance hunting, I'm only stating that we can out-endure some large-ish animals.
I don't believe that's true.

The only way I can think of that America coerces its citizens to stay, is that you still need to pay income taxes regardless of where you live.

I think the biggest hurdle is the Americans themselves, thinking that living in South America would be like living in a slum, or in the middle of the jungle. I assure you, you'll find a great life living in Buenos Aires, or in many cities within Argentina, that have nothing to envy from many American small cities.

It's not NYC or Dallas, of course. And you'll have to do without many gadgets, and learn to live in a turbulent economy, which can be tough for some people. But the reward is that if you earn USD and spend in ARS, the economy won't touch you at all. It might even make it easier.
Of course. Cities have been transportation hubs for centuries, and have been the arrival destinations for inter-country travel for centuries. Cities are a natural hub for diversity.

But if by “a priori” you mean something innate in humans or mathematical, I think you’ll be hard pressed to find that. Or what that really means in this context.
Warming up for April 1st!
The decline in young people's sexual activity is a recent event: https://www.scientificamerican.com/article/people-have-been-...
The value of most information is context-dependent.
Funny you mention old school software engineering, because it has become an arcane art! We do not feed punch cards into our computers anymore. Should also mention I don't believe "prompt engineer" will be a serious long term role, that task will just be incorporated into everyone's roles instead.

IMO maintaining software will become easier, so much of what we do today with maintenance is really just tedious. It's tedious to keep packages updated, to write documentation every update, to keep the community informed on what's going to happen in the next. It's tedious to rewrite the exact same functionality but in a modern language. List goes on, so much tedious busywork. What if these things were handled for core maintainers, so they can allocate funds to more complex problems?
> In case of XML, yes, in case of JSON... where? Extensions?

Yes.

> Yeah, the Appendix B is mightily confusing. It basically says "in case of specific requirements, do as you please"

Yep! The world is your HTTP header oyster.
Tomatoes are $18NZD/kg in Fiji right now. Imported from NZ.

We can't produce our own tomatoes in the hot months. Prices should drop massively come July.
How so? They host a lot of the FOSS and are a huge infrastructure provider in the space. No matter if Stable Diffusion, GPT or some other thing is the hot new thing in AI/ML space, you can be sure that huggingface is hosting some part of it either today already, or tomorrow.
And for a good reason: the new Restrict act that bans private digital E2E communication in US gives unprecedented level of power to the US government.
even worse than sequential things not being sequential: 10000 is tokenized as one token (token 33028), while 10050 is two tokens, 100 (token 3064) and 50 (token 1120)
So you believe sodium phosphate is good or bad?
If you want to leave, and you have the money and privilege to be able to afford the risk, go for it. More power to you.
Malnutrition is the thing to worry about. Or perhaps toxins. We know that people don't grow to their full possible genetic height due to such things, and it seems natural to wonder if there are any other unrealized effects when they fail to reach their full possible height.
yes we get it you're old
It's pretty much what I've come to expect out of HN, unfortunately. There's a very good chance that most of the people commenting read the first two paragraphs, had a kneejerk reaction and then—if we're lucky, and with HN commenters, we rarely are—maybe skimmed the rest of it.

Edit: Actually, having read the comments, I think a bunch of them just looked at the picture.
Next logical step after disappearing your term limits.