skysight-inc/HackerNews huggingface dataset:
This is worth looking at:

https://caniuse.com/jpegxl

Unless I'm misunderstanding that, no browser actually ever supported JPEG-XL without a flag (or at all on Safari's cases). No OS appears to have supported it natively either[0]. The reality is that formats have a chicken & egg problem. Normally Google deserves to get dunked on, but in this case, why is Google the scapegoat instead of the entire industry that didn't adopt it? Feels like there is a bigger issue with JPEG-XL's failure to launch, and they did more than some (Apple? Microsoft?).

[0] https://en.wikipedia.org/wiki/JPEG_XL#Industry_support_and_a...
Most of that data is the same all day e.g vision. There’s very little difference between frames.

The significant thing is the reinforcement. Without it you have to resort to the openai brainlet style 10tb of text training.

If their model had reinforcement built in then you could just plop it in front of a person or on reddit and it would rapidly self-learn on a fraction of the data. Their training model relies on it learning purely based on observations rather than interaction which is inefficient.
Maybe you shouldn't use the word cloud for something that works locally and respects your privacy.
Because it has a partnership model with the big cloud providers and many others.
Not really 1999, the website references other shows that were released much later.
I suppose the relative low value for low volumes of text makes this not a problem, but...

What about data that's sitting around and isn't supposed to be public? If training data gets scarce, does a market for small-medium sized data emerge? Like old homework papers, internal company documents, etc?
> something I don't think you will meet to much sympathy for in the forum.

As if I care.

> As such, this is also where this conversation stops – you can't build a house without the foundation.

Well, you decided to join it, you're entirely free to back out any time you want. But the house has a foundation, it just isn't going to be in the color that you want. Power will likely be variably priced depending on what time or day or season it is and whether that future arrives 10 years from now or 50 doesn't really matter, it will arrive regardless because non-proliferation alone will stop the world to adopt nuclear power en masse.
Agreed. I was a little surprised when they said batch processing for financial systems was a use case for foundational models. Financial data requires a high degree of accuracy and graceful handling of many edge cases.

But then they explained that one could use these models to generate the code that would process the financial data.

Sounds interesting, but yes the question is how do you validate this? Do humans write the test cases to ensure that, for example, ACH files are being processed accordingly? What about edge case detection? Self-correction in real-time? Many questions left unanswered.
Greg's blog is a great example of Katex in the wild: http://gregorygundersen.com/
Vanilla options on GCP would not be certified for specific regulatory requirements. You would need to be -- in the cases of government regulations -- need to be running Assured Workloads.

https://cloud.google.com/assured-workloads

As to your question of why: maintaining compliance is expensive, especially if you're accustomed to pushing prod code changes hundreds of times per quarter.
> Also needs regular updates and promotion to stay relevant.

Are you able to share details on both aspects?

Awesome results!
It's not just military procurement, it's pretty much everything.
You mean like ‘matches!’?

https://doc.rust-lang.org/std/macro.matches.html
True! Life finds a way. I wonder whether real-life athletes etc. benefit from a more realistic dream legs simulation experience.
The graph does mention the pressure, though, even if it's not a separate axis.
Workers already have rights. What do you think the deadweight loss is from those? Should we get rid of them to boost GDP?

Of course we won't have optimized GDP if we give people rights. Acting like maximizing GDP is an unarguable goal is so HN.
Or a large stockpile of reactor grade plutonium (which, despite claims, can be use to make weapons), that would enable a rapid breakout of control regimes. Japan is the particular example.
Ok you are describing price gouging
The difference is that those bugs are certified in one and not the other. In many cases, bugs are known to the SW provider but not disclosed to customers unless they happen upon them. With certified SW, bugs are by default disclosed up front.
Having Roland Berger as co-authors of this study is not very confidence-inducing, either.
almost 20 years on the street, I've never acted happy in a bonus meeting

I mean, whats the upside?
PyCharm and VSCode can do a lot of reasonably smart refactorings when the code isn't just a pile of `typing.Any` and that's a huge quality of life for any non trivial code base.
The commenter suggested that the problem with renewables is convincing people to consume less. That is not a direct replacement.

Can capacity be installed? Sure. Do we have the resources to use renewable energy immediately available to meet our current demand? No, it has to be mined, manufactured, and installed. Can we do that in a way that is economically feasible is the real question.
Congrats on the site creator for continuing to update it after all these years.
The solution appears to follow a numerology path: perform arbitrary transformations until you get something which coincides with what you wanted to find.

That said there was a concrete prediction: a star 3x Proxima, or 12.7 ly. A concrete direction, or constellation even, would have been nice to call out; maybe an archeologist could identify a mythical constellation from all the icons in there. Anyhoo, there are several well known planetary systems around 12 ly, including Teegarden's, Luyten's, etc.
Better link: https://en.wikipedia.org/wiki/Slaughterbots
ffmpeg has many internal components (avformat, avcodec, etc) but none of those are “libav”. libav was a fork of all the ffmpeg code (they took all the code, copied it, renamed their copy to libav, and changed the name of some binaries like changing the ffmpeg binary name to avconv). That fork is dead now. No one is maintaining it. The libav.org site doesn’t exist anymore.
And where would this be?
is there any evidence for this other than this tweet?
Well, if you don’t like this theory, he has plenty of others too, ranging from reincarnation to web architecture:

http://akusius.github.io/palenque/theories.html
We'd finally have laptops that don't overheat (well, not heat at all) and are not constrained by thermal limits! Imagine putting a desktop CPU into your laptop! (Battery lifetime issues aside)
Will Turkey’s elections finally spell the end of Recep Tayyip Erdoğan?
Use combinators!
What if the 24 hour chats are only stored in RAM?

That's not permanent.
People would need to be honest, that's a weakness I guess. Maybe it could work in Japan. You may need a strong shame culture to prevent abuse.
At this point I'm wondering if the TypeScript type system can be used for dependant types that would allow formal verification of the programs
GPT-4 is no different to any old deep neural network and fundamentally, they are black-boxes and have no capability of reasoning. What we are seeing in GPT-4 is regurgitating text it has been trained on.

Not even the researchers who created it can get it to transparently explain it decisions.
It won't. Many researchers can't round correctly. Because they're doing it by hand. On Excel.
I click forward/back with my ring finger, but I guess it depends on your grip how achievable that is.
Grew up in a country town and free range eggs from the farm/house gate keep for a surprisingly long time - at least a month.

Regardless of the source I always crack it in a mug to give it a sniff first because you never know when you'll get a bad one the slipped through the cracks
Haha I was one of those vim users. Lately I've found sublime text with pyright is an effective setup for python development.

Electon-based IDE seem to require constant access to a power outlet, at least on my laptop.
Regulating a medical procedure and suppressing online sources of information about illegal procedures may conflict with certain libertarian beliefs, but it’s not “fascist.” By your reasoning, it’s “fascist” for Germany to take away people’s right of free association by banning Nazi parties, and to suppress discussion of Nazism. But nobody thinks that.

The crux of your disagreement with what Texas is doing isn’t about the methods. It’s about your substantive disagreement regarding the morality of killing a human fetus.
That's the real Red Hat model. Certification.
Its customers were vcs.
Compared to A Modest Proposal, it's clearly second rate. Everyone knows the elderly are less nutritious than the young.

Better nutrition is a critical element of making a better future.
Off the record chat is about encryption and MITM rather than retention. https://en.m.wikipedia.org/wiki/Off-the-Record_Messaging
At their hight, when the popularity was near endless, they could probably have sold for many billions to some of the big players (Microsoft?).

But what do they do now? Sega must have some big revitalization plans. I'm not saying that it can't work, but I don't quite see it at this point.

Data point: I was at an AR (kind of) golf venue and they offered an Angry Birds mode (which they were really proud of). I thought it was pretty bad.
"It is every citizen's final duty to go into the tanks and become one with all the people." --Chairman Sheng-ji Yang, "Ethics for Tomorrow"
That's probably easier than if you have only 2k. Although the special cases in the 500k might squeal a bit, they're more ignorable.
I want to preface this: I'm not trying to be snide, genuinely curious.
What kind of person gets a degree in "theoretical physics", something that is by definition speculative, if they also bet against any of the speculation panning out?
I’d recommend grabbing BetterSnapTool for window snapping. https://folivora.ai/bettersnaptool
The right paperwork brings the money in. Value is irrelevant, we're talking about government and megacorp procurement here!
At least in the US, sushi grade salmon has to be flash frozen to be considered safe.
I was 5 when the DB was created so I don't think I structured anything wrong...
No, 2030. Lignite is West Germany also in 2030. Lignite in East Germany is set for 2038, but currently in discussion to also move forward to 2030.
They have, their own cloud and integrations of it with AWS, Azure and IBM Cloud.

https://docs.openshift.com/
Do you have links to back this up?
In those two counties, sometimes the term "authoritarian" just means the rich aren't free to endlessly exploit the poor. In US politics, property rights are far more important than human rights, so while it might still be accurate to call all three countries authoritarian, the rhetoric just gets confusing/ambiguous and is mostly just propaganda anyways. We love overstating how much democracy we have and understating how much democracy our competitors have.
This is just a private Cloud type platform. Private Clouds are perfectly normal.
I still don't know what point you are making. What alternative do you propose?
Lighting is a good example though. I believe under best case conditions you could get the battery and panels to last over 25 years if we reimagine their duty cycles and installation parameters.

It will probably be someone that reads HN to bring small solutions to market :) Every little bit counts.

Have a good day everyone!
Pretty sure the people studying in this field already know how to google papers.
> The next war would be fought at the cutting edge of technology, which is to say, with airplanes.

That's still an open question at this point. For sure the West's dreadful aerial campaign against Germany's industrial and civilian assets didn't win the war for the Allies, and as far as I know aviation was not that important on the Eastern Front, where the war was actually won (by the Allies) and lost (by the Germans).

It's a good thing though that Hitler and the German military high command had made the same mistake in treating aviation as make or break when it came to the war, and as such they diverted lots of resources to the Luftwaffe, resources that could have been better (from the Germans' pov) spent on artillery. Not that Hitler hadn't already invested a lot in artillery and in making shells, but when you fight a land-war on the steppes of Eurasia you cannot ever have enough artillery shells (as the current war in Ukraine is proving).
>> Why think explanatory models are better at prediction? Because the mutual coherence among assumptions and explanatory power of the whole (ability to predict much from few assumptions) suggests the explanatory model is getting at the productive features of the phenomena that result in the observed behavior. Essentially, the fewer number of posits, the fewer ways to "bake in" the data into the model. If we were to cast this as a computational problem, i.e. find a program that reproduces the data, shorter programs are necessarily more explanatory. There's no other way to explain the coincidence of program picked out of a small space generating data picked out of a very large space without there being an explanatory relation between the two. Further, our credence for explanation increases as the ratio of the respective spaces diverge.

Like you say, that's the problem of machine learning. There's a huge space of hypotheses many of whom can fit the data, but how do we choose one that also fits unseen data? Explanatory models are easier to trust and trust that they will generalise better, because we can "see" why they would.

But the problem with LLMs is that they remain black boxes. If those black boxes are explanatory models, then to whom is the explanation, explained? Who is there to look at the explanation, and trust the predictions? This is what I can't see and I think it turns into a "turtles all the way down" kind of situation. Unless there is a human mind, somewhere in the process, that can look at the explanatory model and use the explanation to explain some observation, then I don't see how the model can really be said to be explanatory. Explanatory- to whom?

>> But it seems to me that LLMs are very much general modelers of hidden variables, given the wide applicability of LLMs in areas that aren't strictly related to natural language.

Well, I don't know. Maybe we'll find that's the case. For the time being I'm trying to keep an open mind, despite all the noise.
That yes, but I also just mean that the web site of a thing must be allowed to promote the thing. It's the one place on the net where that is not an ad. So anyone who wanted to say "I find this thing interesting", they have to point to something, and the best most difinitive place is the thing's own home. It will automatically always look like an ad, and yet that one instance of the promotional material somehow can't be called just an ad, or guilty of any of the things you don't like about ads.

The same link to the same home page would be an ad if HN had inserted it instead of a user.

It would also be if the user were a bot or spammer and there was no possibility that the subject was actually interesting.

That last is subjective but I personally think it's a cool topic, and topical enough in the context of HN. Rather that than yet another ai optimized micropayments processor in zig
Orion’s Arm was my introduction to Transhumanism and AGI in 2003. I was still in high school. Thanks for sharing this.
I wonder how does it render synchronously without needing to reflow the page?
sudo bash? really?
Maximizing the Potential of LLMs: Using Vector Databases
These were just the last 5%, go back around 20 years where the shutdown was initially decided and it was about 30%.
> will be supported again from Chrome 117

That appears to have been an April 1st joke:

https://twitter.com/jonsneyers/status/1642039947719745537?t=...
Reminds me of the Japanese soldier found living on an island years after WW2. https://en.m.wikipedia.org/wiki/Japanese_holdout
Server-side rendering will do that.
A fascinating angle on this is how critical chat has become to modern business communication- to the point that the highest paid execs with the highest paid lawyers use it even when doing so is knowingly flying in the face of danger.

As others here have pointed out, conversations not recorded (ie phone, in person, probably Zoom) are not subject to holds. Rather than reduce risk by moving convos offline, they chose to increase risk by creating special mechanisms to flaunt court rules.

That seems to indicate a calculus that said ditching chat is either a) impossible to train people to do in the right circumstances or b) too burdensome. It’s interesting that’s the case even at the highest levels.
Or CLR, or now the fashionable WebAssembly.

Plus, plenty of languages have cross-platform runtimes and libraries, so not a big issue, not everything needs to be JavaScript.
It’s a very touching statement but the number of flights even with a pandemic returned to the 2015 levels contradicts your thesis.

[1] - https://www.statista.com/statistics/564769/airline-industry-...
What I want is..

let MyEnum(foo, bar, baz) = input but otherwise {
do some stuff
return some value
}

Point being I don’t have to check for MyEnum-ness twice (like with matches! + if let) and the indented code is for the exception (no match) not the norm.

Tho I … guess !matches(MyEnum{ .. }) is not the worst… but it’s annoying to have this pattern all over my code instead of as some encoded concept we all use
Those platforms are dominated by cookie cutter content.
> Our goal is to remove the need to develop custom client SDKs for an REST API.

Aren't there enough tools already for OpenAPI to do this?
Oh, Alpha-Centauri. Didn't think of that.

Thought of https://en.wikipedia.org/wiki/Logan's_Run instead.

And maybe a bit of 'Soylent Green' ;-)

Edit: I meant the movie https://en.wikipedia.org/wiki/Logan%27s_Run_(film) , the book(s) I've read much later only.
Winamp skins!
Ask HN: What info is important for Software Engineering Manager during week?
I'm doing some research. What are the most important information that an SWE Manager needs during the week from their direct reports?
Same here. I’ve watched a lot of air accident breakdowns and read more than a few NTSB reports. The way safety is a core of commercial aviation is just incredible and so far beyond everything I see in daily life. The way cars are handle is positively horrific.
I think that can't be the case, as GPT clearly associates Peter Todd with Bitcoin development which can only have been learned by that token appearing in the training set.

The definition of glitch token they seem to be using is that the model can't repeat it back to the user properly.
That was an april fool's joke
Totally not true: coal burning plants were re-opened in Germany, mining for lignite expanded. Here's some non-lying data from before things got even worse:
https://jancovici.com/en/energy-transition/societal-choices/...
Then for the period after 2021:
https://www.reuters.com/markets/commodities/energy-crisis-fu...
IME the 90s Internet and networks had more brazen creeps ("ASL"), lots of naivety, scams, and bullying was still bad. Ads were there very early and quickly escalated to loud, animated, and pop-up hell.

I didn't notice much optimism, rather pessimism that people continued to look down on 'nerds' and the annoying and slow Internet. Many of us were mocked for spending so much time inside staring at screens wired to the wall. Normal people didn't see its benefits, and many of us nerds used it mostly for gaming and to escape our limited friend options IRL.
The airport in Seattle proper (Boeing Field) didn't have any restaurants when I was there last. Perhaps you're thinking of the airport in the city of SeaTac?
That is true in some way but the original decision to shut them down was taken about 20 years ago by the left red/green government.

Merkels convernment initially decided to keep them running longer but took a 180 after Fukushima, probably as you say having the right feeling for the majority opinion in the country at that time.
The devices also inherently bar you from doing this even if you wanted.

Mobile text editors play ads before opening a new tab or loading a file.

They're devices for consoomer cattle. (To paraphrase Terry Davis.)
The Battle over Techno’s Origins
Interesting - i wasn't aware of that:

https://nordvpn.com/blog/nordlynx-protocol-wireguard/
If non-intrusive browsers existed, which could run Javascript, is that considered acceptable to go to JS sites? eg what about Firefox or its derivatives?
Yes, I fully agree with him. There is a lot of distraction from the computer/AI industry which passes off as 'progress' or 'cutting edge'. Then there are other distractions like social causes: trans, gender, pronouns and other stuff.
That must be a few years back, i think they no longer serve canned spam/loof to the servicemen (and women).
Same, my wife still uses my 2013 Air running Arch.
Yes the easiest method for beginners
You are free not to use it.
This is partly true. It’s worth noting that Canonical/Ubuntu has the same certifications such as DISA/STIG and FIPS, and runs quite a bit in highly sensitive environments, often bundled by ISVs, such as VMware or Pivotal, where I’ve worked.

Red Hat makes more money because they’re an enterprise software company and everyone thinks they’re just an OSS services company. They’re that too, but they are far more sophisticated than these articles claim.

At the core is that Red Hat’s distro is perceived as more of a standard by the ISV community that certified their software against it. Red Hat does a masterful job of playing both sides of openness - open copyright, closed trademark. They’re pure open source… but they fork most of the upstream with their own branded project version, and convince companies to certify against the proprietary trademarked offering. Automated upgrades and most documentation are behind a paywall. But they also have some of the best security responsiveness and extended support (up to 10 years?) in the industry to make up for it.

Beyond Linux, they also meet customers where they’re at by watching the competition and customers, and pivoting when they need to. Customers seem to like a competitors product more? They find the next leapfrog angle and invest years in it, dumping the old. OpenShift was rewritten 3 times before hitting paydirt! That’s good business sense. OpenShift trying to take on vSphere, Ceph evolving into an enterprise storage player, etc. These aren’t simple moves.

This dance of subtle open/closed aspects a great business model, and hard to replicate: open in code, but closed in the direction the money must flow. Most business folks don’t have the patience to weave this narrative, which takes years of reputation building. And it’s required alongside all the other “build a product people want” difficulty.

IBM also loves this model: “WebSphere” certification over “Java EE”, for example. Hence “OpenShift” certification over Kubernetes, or “RHEL” over Linux.
Yes, but only in regard to chess -- as soon as you move on to sudoku you're back to square one.
RAM is permanent as long as you don't pull the plug. If you've been told to preserve evidence, and still pull the plug, then you did not do what you were told to do.
It would be neat of there could be defined curated chunks of standardize text data sets for LLMs training distributed over bittorrent.

Maybe there already is and I just haven’t looked hard enough.
Are you saying it was more Deep Space 9 than Next Generation?