skysight-inc/HackerNews huggingface dataset:
To play devils advocate, does Europe really benefit from Taiwan's independence? I would say only because the US has picked this fight to protect it's own industries. Without the fight there would be little difference.

To be clear I very much defend Taiwan's right to independence. My argument is with your logic.
I try to be aware of these origins at least.

But we are not talking about distant origins here.
The opposite, we see these tools as mechsuits to help developers, and particularly newer developers, to do things that they would struggle to do.

Power tools did not result in fewer buildings built. I mean I guess some early skyscrapers did not benefit from modern power tools. But I don't think any construction company today is like "nah we'll just use regular saws thanks".

The allergy to hype is real; I don't think this or any tool is a magic wand that lets you sit back and just click "implement". But the right UX can help you move along the thought process, see solutions you might not have gotten to faster, and iterate.
Impressive! We’re approaching the “our model can rewrite stolen content word for word” territory.

The better it gets the more people will get frustrated that they get less website visitors to their content and instead ChatGPT is swallowing them whole.

Interesting to think about tho!
Oh I'm speaking from experience with the SGI supercomputer blades. They're pretty wacky, 4x independent, dual cpu boards per blade and all sorts of weird connectors and cooling and management interfaces. Custom, centralized liquid cooling that requires a separate dedicated cooling rack unit and heat exchanger, funky power delivery with 3 phase, odd networking topologies, highly integrated cluster management software to run them etc. I'm not sure if they have any sort of software locks on top of that, but I would bet they do and presumably NCAR wipes all of them so you likely won't have the software/licenses.

I dug up a link to some of the technical documentation https://irix7.com/techpubs/007-6399-001.pdf . Probably someone can get it working, but I imagine whoever is going to go through the hassle of buying this whole many-ton supercomputer is planning to just strip it down and sell the parts.
Gotta say, this scenario you're so intricately weaving doesn't sound like any open source project I've ever come across. I guess I'll continue playing. At this point it would depend on how many people agreed with you that the policy itself is rooted in bigotry. If it's just you, then this new accusation is going to sound pretty silly.

I guess you're trying to pull an example from history. I don't doubt that authoritarian regimes can get accusatory, and nonsense can spiral. But we're not talking about authoritarian regimes, we're talking about open source software projects. I don't buy that they're at all similar enough to make this kind of connection.
I agree, and part of the issue is that if the formal methods work as intended, then by design nothing interesting happens, making their success less visible to managers that aren't paying close attention. Ideally something like TLA+ would catch a bug that you wouldn't notice for multiple years (e.g. infinite money glitches), but that means that value becomes less obvious because it can take multiple years to manifest, and that means you're waiting multiple years for TLA+ to show its value, which would be "nothing happened", which can be harder to measure.

I've debated trying to write a PlusCal->Java transpiler [1], and I haven't really ruled that out yet; while I don't think it should be necessary to have that for PlusCal to be useful, I think it would potentially sweeten the sales pitch.

[1] I think PlusCal would translate better to a sequential Java style program than raw TLA+ would.
Isn’t Taiwan like if the American confederates had fled to Hawaii* after losing the war and were running their own country there? How would people react if America was not happy about that situation?

*Pretend that Hawaii was already part of the USA prior to the civil war for better apples/apples-ness.
>we the members of NATO sometimes sabotage other members, like when some pipes of the Nord Stream pipeline were destroyed two years ago

Damn! You have evidence of that? That must be worth a fortune.
I like this viewpoint of "cooperate to compete". It's what we've been doing on a global scale as ~all nations have agreed to property rights, international trade, and abiding by laws they've written down. And in fact some would say that at the largest business scale, there is this cooperation--witness the collusion between AAPL/GOOG/etc not to poach each others' employees. But there doesn't seem to be the same respect for "smaller" businesses, as they are viewed as prey instead of weaker hunters.
At the same time compute required is increasing like 10x each generation, its scaling faster than Moore's law.
I'm going to make the bet some critical functions that are foundational to our society (no matter where you live) are written in Visual Basic, most likely an Excel Macro.
> With all due respect, the people on HN are _weirdly_ in favor of a group whose unstated “zeroth” tenet is basically “be born into wealth

I'm not sure if this was directed at my comment, but I'll clarify that my comment wasn't in defense of EA. My position is: setting up a regulatory moat is not a strategy exclusive to EA. Many incumbents - including sama - are overtly (and likely coverly) attempting regulatory capture, regardless of their 'politics'
I wouldn't know what "secondary diagonal" refers to myself, but if the model correctly describes the problem and then follows it up with incorrect code I would still say that's an issue with the model not the prompt.
I agree that we're far off from such a future, but it does seem plausible. Although I wouldn't be surprised to find that when and if we get there, that the underlying technology looks very different from the LLMs of today.

> something that could've been done in an afternoon by a mid-level developer

I think that's pretty powerful in itself (the 6 months to get there notwithstanding). I expect to see such use cases become much more accessible in the near future. Being able to prototype something with limited knowledge can be incredibly useful.

I briefly did some iOS development at a startup I worked at. I started with literally zero knowledge of the platform and what I came up with barely worked, but it was sufficient for a proof of concept. Eventually, most of what I wrote was thrown out when we got an experienced iOS dev involved. I can imagine a future where I would have been completely removed from the picture at the business folks just built the prototype on their own. Failing that, I would have at least been able to cobble something together much more quickly.
That isn't what I said.

I said that if a BOM is present, then you explicitly know that multi-byte characters are possibly present. Therefore, if it's present you know that assuming that the Nth byte is the Nth code point is unsafe.

The opposite is irrelevant. There's never any way to safely determine a text file's encoding if there is no BOM present.
All of the facts based queries I have asked so far have not been 100% correct on any LLM including this one.

Here are some examples of the worst performing:

"What platform front rack fits a Stromer ST2?": The answer is the Racktime ViewIt. Nothing, not even Google, seems to get this one. Discord gives the right answer.

"Is there a pre-existing controller or utility to migrate persistent volume claims from one storage class to another in the open source Kubernetes ecosystem?" It said no (wrong) and then provided another approach that partially used Velero that wasn't correct, if you know what Velero does in those particular commands. Discord communities give the right answer, such as `pvmigrate` (https://github.com/replicatedhq/pvmigrate).

Here is something more representative:

"What alternatives to Gusto would you recommend? Create a table showing the payroll provider in a column, the base monthly subscription price, the monthly price per employee, and the total cost for 3 full time employees, considering that the employees live in two different states" This and Claude do a good job, but do not correctly retrieve all the prices. Claude omitted Square Payroll, which is really the "right answer" to this query. Google would never be able to answer this "correctly." Discord gives the right answer.

The takeaway is pretty obvious right? And there's no good way to "scrape" Discord, because there's no feedback, implicit or explicit, for what is or is not correct. So to a certain extend their data gathering approach - paying Kenyans - is sort of fucked for these long tail questions. Another interpretation is that for many queries, people are asking the wrong places.
That always makes me want to ditch whatever I'm doing and switching gear to hiking, coding and studying Mathematics and Physics.

Bitter realization at the end, of course.
Flakes should be either stabilized, reworked or rejected already. They have been unstable for far too long, the damage they have caused the ecosystem is huge...
Well, given that I just read this story a couple days ago, I cannot miss the connection:

https://www.physics.utoronto.ca/~jharlow/slowglass.htm

It's about a 5-minute sci-fi read, incredibly on-topic, written in the 60s.
It seems to be not significantly better than tesseract for non-mixed images though, and it takes about 5 orders of magnitude longer to process a page on my machine; I can literally read a book 100 times faster than EasyOCR can process a book on my Ryzen 7 2700.
I think those things are true. I did buy a couple inexpensive upgrades myself, but it's possible to make progress without them.
I use Workman as well. I tried Colemak (a bunch of variants) and it never sat well with me. There are some words on Workman that hammer the same hand. "People" is one that trips me up sometimes that is very common. Overall, I like Workman too
Honestly this is worse than a "design issue" of the button styles or "people not reading" here.

"Register to collect endorsements" does not explicitly say whose endorsements. It is possible to read this sentence as a (slightly odd) way to say "Register to have your endorsements collected".

"Collect" is a rather ambiguous verb, if I saw a button on a different website saying "register to collect favorites", I would understand that the website is building the collection, from my clicking on items... not that others will fav my profile.

"Register as a candidate to collect endorsements" would have been much clearer, whether the visitor read the preceding block of text or not.
Stuck on cloudflare limiter page, looks like this blew up fast
Sadly, still fails my test of reproducing code that implements my thesis (Dropback Continuous Pruning), which I used because it's vaguely complicated and something I know very well. It totally misses the core concept of using an PRNG and instead implements some pretty standard pruning+regrowth algo.
The problem I keep hitting is that the standard library of <language> is frequently not as strong as GNU, so then I install a bunch of packages globally and its a mess.

Edit: I think there's room for a language with modern control flow that just wraps bash. Like if (true) { cat("path") }
From the footnotes

https://www.computerenhance.com/p/clean-code-horrible-perfor...
I'm seeing this as well. I don't quite understand how it's doing that in the context of LLMs to date being a "next token predictor". It is writing code, then adding more code in the middle.
You know, I know it works better for some but those numbers don’t seem great to me. If the average person is 231 pounds and loses ~28 pounds they’re still pretty darn overweight, if not obese. According to the study on their own website it looks like it levels off at about 68 weeks, which is where those numbers come from.

So we’re paying $1,000 a month for most of the people that take it to stay fat, just less so.
43% of the web is WordPress.

PHP, which WordPress is built on, is on somewhere between 70%-80% of websites in total. Websites you may not expect, like Wikipedia, Facebook (with a modified dialect), Etsy, and Slack have large PHP Codebases. As well as the 11th and 15th most visited websites in the world which are almost entirely PHP but, em, NSFW [1].

COBOL is still running every major bank, right now, as well as the IRS. Visa and MasterCard are still running on their IBM Z mainframes.

Heck, not even DOS is gone. I've seen updated DOS programs running the registers at McDonalds in my area. Our midwestern regional hardware store brand (Menards) openly uses DOS programs at almost all of the employee kiosks for looking up information. Don't believe me? Here's a reddit thread about someone criticizing replacing System V at that hardware store branch (which covers MN, WI, and Iowa). https://www.reddit.com/r/menards/comments/t5czy3/system_vi/ and https://www.reddit.com/r/menards/comments/11lb6pf/there_is_a...

[1] Anyone who says PHP doesn't scale - point to, well, any porn site, as well as Wikipedia and Etsy, and you'll have proof it's completely BS.
Can we please focus on the substance of the article instead of trying to derail the discussion.
Reuters, way back in 2018- reacting to the Skripal poisoning and Fancy Bear accusations, wrote a explainer piece about the GRU. (https://www.reuters.com/article/us-britain-russia-gru-factbo...) From that:
`According to a Western assessment of GRU seen by Reuters, the GRU has a long-running programme to run 'illegal' spies - those who work without diplomatic cover and who live under an assumed identity for years until orders from Moscow.
"It has a long-running programme of 'illegals' reserved for the most sensitive or deniable tasks across the spectrum of GRU operations," the assessment said.`
It would be even more "funny" if you'd wrap that `readFile` inside a thunk that gets captured from the environment by the lambda body. Than you'd have a reference to an effect that is supposed to run only inside the lambda but could be executed by external code. Depending on the effect this can have unexpected up to catastrophic outcomes.

That's why Scala introduces so called "capture checking" to make direct style effect systems safe.

https://docs.scala-lang.org/scala3/reference/experimental/cc...

To understand the problem better see:

https://www.inner-product.com/posts/direct-style-effects/#ca...
When light passes through a medium like glass or water, it interacts with the atoms and molecules in that material. This interaction involves the absorption and re-emission of the photons by the atoms, a process that takes time and thus effectively slows down the speed of light as it travels through the medium.

The research describes "photonic Landau levels." This is similar to how electrons are confined to certain energy levels when subjected to magnetic fields, but applied to photons. By confining photons to these levels, the crystal can effectively "trap" light in place. The light is still present and retains its energy, but it doesn't move forward; it's localized within a very small area of the crystal. The photons are not moving from one place to another as they normally would—they are caught in a sort of "light trap" created by the specific structural properties of the photonic crystal.
Some might remember this from other comment threads, I like to always benchmark with this question:

> I'm playing assetto corsa competizione, and I need you to tell me how many liters of fuel to take in a race. The qualifying time was 2:04.317, the race is 20 minutes long, and the car uses 2.73 liters per lap.

because it looks like a simple math problem but there's a lot of real world knowledge about racing you can apply to provide a more useful answer. gpt2-chatbot is better than I've ever seen.

Here's the full response with LaTeX syntax trimmed. I've never seen a model consider whether the formation lap needs to be factored in. And I especially like how this model is uncertain about that, so it gives the resulting number with and without it. It is extra nice that it understands this concern applies only to video games.

> To calculate how many liters of fuel you will need for a 20-minute race in Assetto Corsa Competizione, we first need to determine how many laps you'll complete during the race. Here’s how you can do it step-by-step:

> Convert Your Lap Time to Minutes: Your lap time is 2 minutes and 4.317 seconds. Convert this entirely into minutes:
[latex trimmed]

> Calculate the Number of Laps in the Race: The race duration is 20 minutes, so divide the total race time by your lap time to find out how many laps you will complete:
[latex trimmed]
Since you cannot complete a fraction of a lap, you should round this number to the nearest whole number. Typically, you should round up, as you'll need to complete all laps started before the 20-minute mark is reached. So, you will complete approximately 10 laps.

> Calculate Fuel Usage Per Lap: You've mentioned that the car uses 2.73 liters of fuel per lap.

> Calculate Total Fuel Needed: Multiply the number of laps by the fuel usage per lap:
[latex trimmed]
This is the total amount of fuel you would need, theoretically, to complete the race.

> Consider Additional Factors:

> Fuel for Formation Lap: If your game/race format includes a formation lap, remember to add fuel for this extra lap. That's an additional 2.73 liters.

> Safety Margin: It's also wise to include a margin to account for variations in fuel consumption (like higher consumption in traffic, different driving styles, or fuel usage during race incidents). A safe margin could be an additional 5-10% of the calculated fuel need.
[latex trimmed]

> Rounding this number up, you might consider starting the race with about 33 liters to be on the safe side if there's a formation lap, or 30 liters if there isn't.

> This calculation should help you ensure that you do not run out of fuel during the race, taking into account both necessary consumption and a reasonable safety margin. Drive safely and best of luck in your race!
> That pink stuff…

If the author means the logo, they should schedule an optometrist visit
It goes at least as far back as Silicon Valley's earliest days with William Shockley. Smart guy when it comes to transistors. Less so when it comes to other people.

https://en.wikipedia.org/wiki/William_Shockley#Racist_and_eu...
The glass transition temperature of amorphous ice is approximately 140 K.
That's mainly Google's fault also, for running Adsense
Yes! I have a layer accessible by a press and hold on my keyboard (mostly qwerty layout) that gives me arrow keys under FDSE, PgUp/Down and Home/End on 4,R,5,T. It also has custom chords of ctrl + shift, ctrl, alt+shift, alt on the Tab, Capslock, Q, A keys.

Really useful.
To be fair, this is pretty hard. Imagine you had to do to sit down and write this without being able to test it.
I do think that my ability to understand other people could be greatly augmented by an LLM. The number of lives recorded in the training data exceeds the number of people I will ever be able to encounter or learn about by several orders of magnitude. The neural network model was inspired by the human brain, so I would expect it to be a good fit for modelling human behavior.

"Applications should not be engineered to maximize engagement metrics, but rather to create holistic experiences that transcend the sum of their A/B tests."
Amen!
Resigning Maintainer
Oh look someone brought a horse carcass to the party.

God forbid a single implementation of popular software change a default in a fairly meaningless way. Especially since the older term hasn't been accurate in software development for like a decade. Does anyone even ship/deploy the "master" branch anymore?

But no, while we should dislike these folks for saying "we don't want a military contractor to sponsor our event", we should 100% get behind "this private company changed a term and I don't like that so obviously they are wrongthinkers"
Thanks, that's solid advice.
Store newsletters that you sign up for are not spam. Nobody is making you click the "allow marketing emails" checkboxes. If they do it anyway, yes, that's spam, but that's not what actually happens.

"C'mon" indeed.
Meta had its biggest lobbying quarter ever
So if you're aware it's ok? Where has anyone in this story shown themselves to be unaware?
One everyone knew about that could not be played off as an accident or one small unit that got carried away. Read war histories, large conflicts often start out with a succession of small scale feints, probes, and black operations.
Both English and Icelandic versions are available (potentially hidden in the burger menu on mobile): https://island.is/forsetaframbod
Wasn't aware that the Taiwanese had slave plantations
Ask HN: What do you think about A.Rachlef's opinion on great startups?
What do you think about Andy Rachlef's (Wealthfront founder's) opinion on how great companies are started and product-market fit etc as mentioned in the quotes below:

https://www.podbean.com/media/share/dir-zamep-fe5d981
All the Hacks, 2021-09-08
Becoming a Better Investor with Andy Rachleff
10:24

“Contrary to what most people think, great companies are not started as a result of
an entrepreneur saying: ‘I want to start a company, so I’m going go find the best opportunity I can and then do that.’ And typically it’s described as, the process is described as someone who looks for a market that has a problem and then you develop a solution for the problem, and that’s how you get started. Those kinds of businesses lead to very mundane and small outcomes. The really great successes in venture capital are the result of an entrepreneur recognizing an inflection point in technology that allows them to build a new kind of product, and then they try to find a market for that product. So it’s an exact opposite of what you think it is.”

https://www.podbean.com/media/share/dir-fgpey-10e08659
Bank On It 2021-11-02, Episode 457 Andy Rachleff from Wealthfront
30:52

“If you set out to solve a particular problem, you seldom create a really big win. The way that I describe it in my product-market fit class is, when you read about entrepreneurship, almost every article describes the process as looking at a market, trying to find a problem and then developing a solution to the problem. That leads to very mundane outcomes, very small companies, because of the incrementalism that is required and that anybody could do that. The truly great companies are the result of someone recognizing an inflection point in technology that allows them to build a new kind of product and then they try to find a market for that product. It’s the exact opposite of what everybody thinks. Now the reason everyone thinks that’s the proper process is that consumers want to believe that whoever they buy from always intended to serve them. So every successful company revises their history to make it sound like they started with the market to come up with the solution. Nothing could be further from the truth.”
Thanks for that, I wondered if it had been confirmed.

I am always in awe of folks who come into the lab every day and work on figuring out the one thing. I envy that level of focus.
In Shogun, the titular lord chastises his son for still "playing the game of friends and enemies".

What if we just stop telling stories, negative or positive?

Then perhaps less commenting on commenters commenting on authors writing stories?
Are you seeing a `<span>...` suffix when the model is in the middle of writing a code block? I'm pretty sure that's just a display bug in lmsys.
A virtual env works fine for this, there's no real reason not to use then in my view.
It is very slow though, feels like the first day I used the initial version of GPT-4
I was looking at that exact post yesterday - I'm currently working on implementing a board game that uses a hex grid, so it should be very useful, particularly the info on coordinate systems and finding neighbors/distances.

The interactive diagrams are exceptional even by current standards, they must have been mind-blowing a decade ago. They're smooth and lightweight, and very informative without detracting from the rest of the content.