skysight-inc/HackerNews huggingface dataset:
> it can never prove the code is working correctly (see halting problem).

The halting problem doesn't say anything about whether a program could prove things about another program, just that it can't do it for all programs.

Lots of programs obviously do or don't halt, and you can prove it in a couple lines ("there's an infinite loop here and every execution will enter it" or "all the loops are bounded by constants" etc). There's nothing stopping an AI from noticing things like that just as much as humans can. For more complex programs it obviously gets much harder, but it's very hard for humans to prove things about programs too!
Jane should come here to Tokyo to see what a city that's largely fit for humans is like in modern times. Zoning rules here are basically the opposite of America's, and walkability is the norm in most parts of the city (with excellent public transit connecting the most popular districts).
I think it depends on how high our threshold for “understands how a CPU actually works” is. I mean sandybridge had 19 pipeline stages, I certainly couldn’t list them all off the top of my head and describe what they did!
This strikes me as a post-hoc justification. Seems more likely to me that they just didn't think of it, or don't care enough to actually implement it.
I wonder where everyone has gone. The lazy answer is that companies aren't paying enough. But how is it better to sit at home making $0 than working and having an income? How do they afford rent or electricity or pay for car insurance?

The workforce participation rate is still well below pre-pandemic levels. Millions of people just up and left the workforce. It's not as if they are looking for work at the right wage, they simply aren't looking for work at all.

Very peculiar.
Their LaTeX compiled, though.
The title here on HN has been butchered into nonsense. The only possibility for "them", as written, is "enzymes", which isn't the case.
I can't believe people pay these carrying costs. Two Toyota's in CA is $600/yr for me, 100k/300k bodily, 100k property.
Nice! I've been writing for a long time as well. I've found writing consistently and in a stream of consciousness manner is very helpful. This being HN, you can bet that I also wrote an app for my practice ;) https://www.indelibleapp.com/
Is AI doomed to always be a version behind the target framework/language? If a framework API is updated or if a new hardware feature is launched, it will take a little time for the AI to catch-up right?

I imagine it’s not just about having API examples, you would want real codebases and use cases for training.
It's on the front page, because when we see jvns.ca we know it's a good link :)

Keep it up, and many thanks!
I generally agree. I think that today it’s a brilliant tool for throwaway code. Like when you just want the output. Especially if the output can be verifiable or is okay to be fuzzy.
The prisoner's dilemma strikes again.
I haven't heard of Nim until now. I've been a Go programmer for years now, and I see a lot of potential. I wonder why Nim hasn't taken off. What's the catch?
> It's not for lack of trying. Hotels have raised hourly wages by 25% since early 2020, and employers are offering greater flexibility in scheduling. Still, workers are nowhere to be seen.

25% of minimum wage isn't much.
May be.

But like alpha go to zero, if there is certain rules it can learn itself and no more or large amount of writing by human is needed.

Also, one may worry not how intelligent they are but the noise vs info ratio that will kill a lot of web site. The problem is not lie but lie mix with truth or belief … then you do not know and shut off.
The problem here is that the GPS system doesn't have enough local knowledge encoded into it yet.
I can't for the life of me understand why people haven't just switched to Neovim. Sure fine vim might be what's on your server but for your actual personal development work it's, to me, better in every way.
I think it is failure to differentiate between moments of risk with safety margin and risk without safety margin (or with substantially reduced margin) that puts most people in danger.

We tend to look at overall "risk of dying doing a sport" and fail to maintain awareness to identify these specific moments.

For example, our family wakesurfs on Lake Tahoe. My wife considers boating and wakesurfing pretty safe. However, in June the water temp is 53 degrees F. If our boat sinks 3 miles offshore and nobody sees it, life jackets will not save anyone. The boat sinking that fast is unlikely, but it is possible. I consider that an unacceptable unmitigated risk, and ask her to stay near shore when she drives.. yet she never does, and when i scold her she thinks im nagging and annoying.

While i'm not a pilot, i've been up with private pilots, taken hang gliding lessons, done tandem skydives, ride motorcycles, dirt bikes, ski a ton, backcountry ski..

..i don't consider any of these activities to be "safe" or "unsafe" overall.. i consider moments of low safety margin to be dangerous and to be understood, treated with extra care and mitigated or avoided as much as possible.
I have one word for you: Plastics.
At least the HBO logo decaying from analog noise to digital noise with compression artifacts makes sense.

I'm also amused when they drop confetti and the screen turns into blocky slush.

Another surprisingly hard to encode scene is water. Wave motion and shimmering is almost impossible to handle efficiently.
People had ~3 years to find new jobs outside of hospitality after the industry basically shut down. No one is sitting at home, they found new jobs.

There's also the toll COVID took on the workforce, and COVID-related disabilities.
Steam Deck OS 3.4 Update
In my opinion likely only 10%
If Tesla admits "FSD" can cause this accident, they admit that it can cause any Tesla accident. It could result in millions in fines and potentially much more in lost sales.
The static intro has been HBO's thing for a long time, before digital transmission was a thing.
Most lawyers are not judges. A language model tuned to writing contracts, doing discovery, etc seems feasible.
How would you work on these things?
Interesting. On a MacBook Pro M1, the banding disappears from both.
If they were able to adequately staff two years ago, and now 25% of a pay raise later they can't, there are likely some structural issues going on.
I thought Nvidia had done research into a video codec that works like this.

It'd learn what a scene looked like and then switch to send a really low quality stream to the other person to reconstruct or something like that.
> Reddit also has similar issues of being forced to choose a "governing" subreddit

I’ve been on Reddit for 10 years and I’ve only experienced this… once? Twice at the most. It happened so long ago I can’t even remember the specifics.

I’m not against it either, in theory, but I wouldn’t say it’s a defining feature of Reddit or even a common occurrence the way it is for Mastodon.
I mean isn’t it stupid to expect bike usage given the layout/organization of most of our cities?
What's the state of the art on converting Flash to HTML5? You'd need an Actionscript to Javascript transpiler, export the assets, and handle tweening / timeline keyframes? And probably handle Flash specific events? I don't recall if Flash has any flash-specific effects you'd need to recreate.
Nothing is worse than Disney+
This can't be the explanation. If it were true, the workforce participation rate would be steady. Changing jobs doesn't raise or lower that figure. A person is employed whether they scrub toilets or do brain surgery.

But it's not steady. Literally millions of people have stopped working and looking for work since 2020.
The structural issue is that Covid allowed for the activation energy for people to find better jobs. And possibly cut down on supply of people willing to work hotel cleaning jobs for low pay.

It is probably among the least desirable work. Volatile hours, busiest times are weekends and holidays, literally cleaning up anything from bodily fluids to garbage and dealing with smells.

No one outside of large unionized hotels in big cities is offering a decent salary with predictable schedule. The small franchise hotels have less than 50 employees, so they have no employer subsidized benefits either like access to 401k, public transit credits, or other tax advantaged accounts.
Doesn’t google or someone have an ML model that lets you tweak something like stable diffusion with a small amount of specific pictures to train it on something not in its data set?

Presumably the same type of thing could work for code.
Good points, and honestly I’m more curious to try out Mastodon after this discussion than I was before.
This post is poorly named. What it's saying is to avoid throwing exceptions for normal flow control, and just use them for exceptional cases (file not found, etc).

Performance-sensitive code or not, exceptions for exceptional situations are not going to hinder the app's performance until the exceptional situation becomes common (unless your language does lots of exception setup work on the happy path - which most have stopped doing by now).
Bro we are hearing about this sufficient smarts compiler for some decades now.
Speaking for myself, ontologies and knowledge graphs provide a quantifiable function of equivalence for when we're determining if a product is a variant or if it's a whole new thing.

You'd think that systems teams could be able to predict whether something works with something else, but you'd be wrong. Systems architecture is still mostly a matter of faith, right up until it crashes against the reality of operations and maintenance.

The traditional way of making a family of systems goes like this. A containerized group of systems guys make a big graph, and show how product variants X Y and Z are 98% equivalent, so they can use the same tooling, the same procedures, etc. Downstream, the org is mandated to take this on faith, even when (and after) the FoS has been falsified by experience in the field, on the production floor, and in the repair station. This isn't just expensive; it's dangerous as hell.

Knowledge graphs are one path towards falsifiable product architectures. You have a pile of procedures, each set is specialized, and the graph, properly configured, is a snapshot of just how related those products are.

Another angle is data warehousing the product data with the aim of creating an "Equivalence Factor" for an arbitrary subset of assemblies. When it goes below a certain factor, the assemblies are NOT the same product, and they should be handled accordingly. That "Equivalence Factor" is something I'm still working, but it includes: O&D, materials, density, mass, interfaces, topology, dissassembly, tooling, fasteners. One of the hard sells is that the number is not a solid number - it's a baseline, part of a check, and it's got a range. People like hard yes or no answers, but with Equivalence Factor I can at least give you some probabilities of maintaining a system as it's configured.
My initial thought was "wow, this would have been cool when I was a kid, but now I just need to look up!"

And then I actually went to the site. Holy crap. It's really incredibly well done. Kudos!
I miss the days where people actually cared if you knew about threading, how the unix file system worked, the finer points of the language you choose to work in. Yeah I get it, most of it is book knowledge, but it still somehow selected for the people that actually built the foundations of the tech companies we see today. The current crop of hires aren't really contributing anything fundamental, just jumping from one high paying gig to the next (and I say this as someone who works at one of those fancy places he get an offer from).
H264 and H265 have an optional similar feature for grain synthesis, but very few decoders implement it so it's not something you'd find at the codec level in blurays.

Of course, film grain is a common effect added during the editing process.
I'm very skeptical that big game engines will have any impact on the web. The issue is they're built for downloading XX gigs of data to a hard drive. Not for launching instantly like say google maps 3d mode.

Further, they re-implement everything themselves instead of using the features already built into the browser. Image decoding, video decoding, sound mixing, networking, text rendering, etc meaning you end up downloading 10-50meg of WASM. And every time they make a tiny change expect another large download.

Vs something like three, pixi, babylon, playcanvas, which are designed web first.

I think, it's likely a successful real-time 3d web based game will be designed for the web and I don't think the big game engines are engineered to make that easily possible.
Notably:

> Ellison and Wang are cooperating with the SEC’s ongoing investigation...
I previously worked in an Exxon owned chemical plant. Everyone on site from ditch digging sub contractors to Exxon employee plant manager was empowered to stop work if they thought there was a problem.
I have been using listary but this looks amazing!
Can you feed it larger quantities of text or just short excerpts?
Why has the workforce participation rate cratered? If people simply changed to a better job, that figure would hold steady. Instead it shows us that millions of Americans decided to stop looking for work.
I am currently building tools for programming and modifying programs with natural language using the OpenAI API and their relevant models (similar to ChatGPT).

Especially if you combine the text/instruct model with the coding model and then give specific instructions, it is able to complete many simple coding tasks without me opening an editor.

Right now I am focused on something like Codepen but with English specifications only.

I believe that I should immediately start leveraging this type of tool in my other projects. Similar to the way you would use a calculator or Google Translate.

I believe over the next few years the models will continue to get better and also start to incorporate visual understanding and better reasoning. The point at which it I would consider it poor software engineering to write programs manually is rapidly approaching for many domains.
> I mean, isn't that the same thing?

Not at all. The claim about not being stumped was made in response to criticism that Go is unusable without generics. Said criticism was probably made up, but I guess it was still interesting enough to garner the response that ultimately brought us here.

> That would be blub the other way around.

Seems like blub the same way around. Indeed, the blub paradox itself is paradoxical.

> the more languages (that are actually different) you have used, the more unhappy you are with every single existing language.

And the more you really appreciate just what Go has done by taking an engineering approach and not an academic approach.
This blog post is specifically talking about 32-bit x86 C++ ABI, which was notoriously not zero-cost wrt exceptions even on success-only code paths. Lessons learned from that went into the Itanium C++ exceptions ABI based on static unwind maps, which has been adopted by basically every other architecture except for Windows, which has its own take (that is still zero-cost).
Caroline Ellison Pleads Guilty to Criminal Charges
Just a suggestion: Perhaps you could also sell the print version on Amazon? They print books on demand. This would be very nice for us in Europe because it eliminates the highly problematic customs step from the process.
“All the pretty horses” is “Blood Meridian” but it’s a young adult fiction.
While the article says Radio City has signage about facial recognition: There's no proof that FR was the tool used here. That's what is assumed, but not confirmed.
I haven't seen it specifically on HN, but SearX does what you described - https://searx.github.io/searx/ .
You have to remember that WASM comes from web browsers. It is meant to be transferred across the web and run in a the browser on the target computer. It isn't very practical to compile everything to every architecture/os combination and serve the correct implementation.
This looks really well done! I've thought about writing an app like this and you've got every feature I envisioned and then some.
The extra thermal mass I would definitely believe, yes! I just wouldn't expect there to be additional benefit from the high conductivity of it being steel.
A lot of time and effort went into optimizing the most common case (no exceptions - ideally this should be no-cost) at the expense of everything else. It's very much by design.
I do not think it has cratered in the US.

https://www.bls.gov/charts/employment-situation/civilian-lab...

Just 1 percent, 63% to 62%, which could just be aging demographics since a greater and greater proportion of people in America are going to be too old to work, especially for hard labor work like cleaning hotel rooms.

Also, hotels (and other low pay to quality of life at work ratio employers) were already struggling before COVID. COVID just accelerated the inevitable.
Clickable links:

[1] https://apps.musedlab.org/groovepizza/

[2] https://www.youtube.com/watch?v=T4EtsPf3X-I
Ask HN: Infrastructure Management Repository?
I need a software (ideally web-based, but desktop clients are also ok) which can model infrastructure (servers, networks, OS, middleware, describe methods for remote access) for a large number of projects. I also want to be able to search through the repository (eg. how many RHEL 7 installations do we have in all our projects?).
What do people here use for that?
Just a note, this is 3 medium-sized HN comments per day. :)

You could populate the tracker from people's comments, maybe.
An inductive hypothesis mentioning some independent variable like n needs to look like a conditional, e.g.: "If all maps in Q with at most n-1 edges are 4-colorable, then all maps with at most Q(n) is 4-colored, all maps in Q with at most n edges can be 4-colored" and then it has to be shown.
None. VC firms like YCombinator pioneered the "liquidation preference" whereby the gains that used to accrue to startup employees now go entirely to the venture capitalists.

In short, the startup lottery is just a fiction now, perpetuated by VCs to create an endless treadmill of labor.
What do you mean?

A butter stick sized piece of C4 is similarly stable but contains more stored energy.
FTX’s Gary Wang, Alameda’s Caroline Ellison plead guilty to federal charges
Over a million people died of covid. Many more have become permanently disabled. Many of them were retired seniors but among the people who were not, they were disproportionately service workers who couldn’t wfh.
It's their server, so whatever they want it to be.
For one that one app. The OS supports them otherwise along with probably hundreds of other applications, as it has always been. But let's assume Freeform did support Wacom tablets; literally no one would buy a Mac for the sole purpose of using Freeform on a third party drawing surface. But people are crazy, and unreasonably so. Because unlike the GP, people will buy an iPad just to draw in Freeform. Annoying yet clever of Apple, if they want to sell iPads.
TIL that it's even possible to use exceptions instead of bog standard if statements.

Would love to know why people would do this, though. Surely everyone masters if-else ssatements well before they even learn what a try-catch statement is!?
I don't think the halting problem's got anything to do with it, because I certainly also can't prove, in general, whether some code I have written halts or not either but that hasn't held me back from churning out vast quantities of text that, at first glance, might also resemble good code.

But I agree with your sentiment: to get AI to write the code you want, you will need an engineer to work with it.

I do expect that future AI code generation models will learn more about a specific code base over time, partially overcoming domain specific knowledge gaps.
Hah I'm surprised not more people have played the hapland games. I was more wowed by foon putting out an article
I meant coming from a position of concern for injustice rather than risk and self-protection.
Those special tax rates were a form of windfall profit tax to discourage war profiteering.

They had nothing to do with raising revenue and were not due to the war "being expensive".

They were also not progressive taxation measures and had no social welfare justification (other than, of course, avoiding war profiteering). It is incorrect to compare these wartime rates with current marginal tax rates, etc.

In fact, some portion of those taxes paid were eligible for refunds after the war.[1]

[1] https://en.wikipedia.org/wiki/Excess_profits_tax#United_Stat...
Unit Test This
People realized that they didn't need to work shitty jobs. They could Uber part time, or work as a nanny without reporting as a full time employee or cut down on their living expenses or live off of government programs. Just look at how many people live in tents in California.
I had a new years resolution to do a similar practice for writing code. At least 30 minutes per day every night. It's been by far my most prolific year of all time
The CRISPR Baby Scientist Is Back. Here’s What He’s Doing Next
Look how much the workforce participation rate has varied over the last 20 years. Only a few percentage points even through massive global recessions. Small percentage changes in this statistic can easily deceive the layman into thinking it's not a big deal.
That delamination doesn't happen for normal gore-tex where the membrane is one of the inner layers. It's only with the ultra-thin version used by cyclists that is hydrophobic on the outside. My gear usually starts ripping before the waterproofing is compromised.

But I replace my gear when needed anyway and recycle it. I do hike, but not very far from the civilized world. And previously I lived in a place where it rains every day in winter (western Ireland) so good breathing raingear is really a must have.
The Linux kernel is 30,000,000+ lines.
I would want any hotel I stay in to have mandated at least weekly hotel room cleaning, or at least weekly inspection.

Too many people are sufficiently dirty that it can easily cause pest issues, as well as other damages.
I wouldn’t view that as an indictment of a particular material.

That’s like first generation carbon failure and those went away 20 years ago. I’d blame the manufacturer specifically in that case because it’s both catastrophic & unexpected.
Well, about 1,245,000 of them died [1], and I'm sure there were a substantial number of older working-age people who went for early retirement to reduce the chances of dying from public contact.

[1]: https://www.cdc.gov/nchs/nvss/vsrr/covid19/excess_deaths.htm
The average age of a covid death in the US was 80 years old.
I have thought this about Lynch and Haruki Murakami as well. At their best they are able to create very simple worlds without any excess or meaningless details that somehow still feel real. Like characters obsessing about pie in Twin Peaks or Murakami narrators describing eating a sandwich and beer. Its somehow relaxing because you get a break from having to filter out extraneous details.
Nah. The author is living in a fantasy world.
If .. Else .. Finally?
I always assumed the previous frequent room cleanings were more for the benefit of the hotel owner checking up on things than because guests demanded them. So if hoteliers think there isn't very much risk of people trashing their rooms, they don't need to have somebody come in every day.
That's mostly the same basic hardware compiled from a large Verilog file, which is sort of like code.
Generally the advice is to sell immediately and diversify.

I've also had ESPP shares that appreciated significantly and therefore held onto them to get long term capital gains, then sold them into a donor advised fund (DAF) to give to charities in a doubly tax advantaged way.
Can we please just get rid of the 'noise' look and embrace digital acuity already? This might be one reason I tend to prefer animated content over live action.
Probably shouldn't have fired people over some poorly researched procedure...