skysight-inc/HackerNews huggingface dataset:
Correctly written C programs don’t have undefined behaviour, so a translator can operate assuming there is none.
Why does C2Rust produce so much incorrect code? Getting 5% wrong sounds terrible, for a 1:1 translation to unsafe Rust. What does it mis-translate?

https://dl.acm.org/doi/pdf/10.1145/3597503.3639226

> As for C2Rust, the 5% unsuccessful translations were due to
compilation errors, the majority of them caused by unused imports.

I'm rather confused by what that's supposed to mean, since unused imports cause warnings, not errors in Rust.
Isn’t that why they call it “ Semi-Private”?

There’s a fully private test set too as I understand it, that o3 hasn’t run on yet.
who in this field is anticipating impact of near AGI for society ? maybe i'm too anxious but not planning for potential workless life seems dangerous (but maybe i'm just not following the right groups)
> Around the turn of the millennium, there were numerous international committees and hundreds of millions of dollars spent by companies on this idea that we simply can’t use the existing internet on mobile phones, so there needs to be something else.

This was not unreasonable. GPRS started to roll out around 2002. And it was quite spotty initially, to say the least. The phone hardware was also quite underpowered, good old Nokia 3310 had a whopping 2kB of RAM accessible to the software.

I got my first mobile phone in 2000 that had WAP-over-SMS, and it was quite useful. I could check the weather forecast, and my university had a nice WAP site with important notifications (scheduling changes, exam reminders, etc.)
I find the decline in alcohol consumption fascinating, how much of it is lack of sociability, being more aaare of its dangers, or just not willing to put up with the hangover.

I was at a family event last night and all the cousins and their friends were using zins - tobacco pouches. I don’t see those mentioned in this data under nicotine in the article.
I think I may be putting my schizophrenia into remission
> the ones who dare to disrespect the sign

The idea discussed in the article is how do we make a sign which can even be understood in 10,000 years? They need to understand we are saying "bad, stay away" in order for them to even know if they disrespect it. There is a risk they think we're saying "this is great, come and see!"

> That bound to create a religion/cult and that would probably cause much greater harm to that society.

Sure, it could start something harmful to society. But what if there is no warning at all? They're just as likely to start their own religion which says they should spread this stuff everywhere, far across the planet. Which could render much of Earth uninhabitable. Seems worth the risk of creating a "fear of radiation" religion, to save the Earth and life itself.
It's more complicated than that. For example, software in car or electronics companies is not a cost center, but is nevertheless treated as an ugly stepchild most of the time. They usually have a culture, where "hardware" engineering (mechanical, electrical etc.) is real engneering, while software is easy in comparison and thus can be deprioritized.
> LLMs fail in entirely novel ways you can't even fathom upfront.

Trust me, so do humans. Source: have worked with humans.
It seems exaggerated for comedic effect, but it is technically possible under certain extreme conditions. For a £600 increase in an electricity bill, the player would have to use a device with high power consumption for an extended period. Here's a breakdown:

Gaming PC Power Consumption: High-end gaming PCs can consume around 300–600 watts while gaming. Let's assume a power usage of 500 watts for simplicity.

Usage Time: Playing continuously for long hours over a quarter (about 90 days) could significantly increase electricity consumption.

500 watts = 0.5 kilowatts
Playing 8 hours daily for 90 days = 720 hours
0.5 kW × 720 hours = 360 kWh
Electricity Costs: Assuming a cost of £0.30 per kWh:

360 kWh × £0.30 = £108 additional cost.
For a £600 increase, you'd need much higher power usage (e.g., using multiple devices like a high-end PC, large TV, and cooling systems) or running the game nearly 24/7. It’s unlikely but feasible if they had an exceptionally inefficient setup or other contributing factors.
I would love so much if I could integrate Home Assistant into my Sonos devices. In fact, even with this box, I’d be interested in plugging into one of my Sonos for the output at least.
Isn’t there next LTS 26.04?
Ask HN: Most innovative business website of 2024?
My partner is turning her passion for interior design into a business. I'd like to help get her set-up with a new site, but I'm looking for a fresh and fun site design (look & feel) feel to propose. It's rare that I see something truly novel in the website design and UI/UX space, so I thought I'd pulse the HN community for new ideas and examples.
Why do you think this? Maybe I'm just daft but I just can't see it.
Regulators won't step in for the next four years. America will try oligarchy to see how that goes.

Bezos has made sure to bend the knee to Trump:

https://www.bbc.com/news/articles/c5ygvjpxn17o

https://www.cnbc.com/2024/10/25/jeff-bezos-killed-washington...
I do think TV was, and is, harmful. I do not have one for that reason and I think it was good for my kids (as well as myself).

I also think social media is a lot worse.
> 1. People were clearly wrong about music. Audio only is clearly not as addictive as video + audio.

Or they weren't and addiction wasn't the crux of their position; and I say that as someone who loves a lot of rock derivatives.

The influence pop icons with broken lives had on teen generations was horribly deleterious (and I'm not even talking about hippies), mainly because malleable and unproperly taught minds rarely see that an artist's respectability is completely separate from his output.

The ancients had the concept of muses for a reason.
The problem with this metaphor is that it's the first time I see the term "technical asset". And this is likely due to the fact that it was coined to explain to non-technical people with decisional power why development was getting so slow in certain situations using language they were used to.

But technical assets, or should I say, technical investment is just as important. A 10x developer isn't someone who codes 10 times faster. It's someone who code 10 times less.
You can take a copy of Debian and resell it or put it in a product and sell that. That’s a pretty important freedom of free software.
Ottosson's first figure (not linkable, alas?) looks suspiciously, on either branch, like a Thomian catastrophe (a cubic going from one [stable] to three [2 stable, 1 unstable] intercepts).

Interesting that the Old Country shows up as heavily "task-based" trust. I wonder if it could move towards becoming a higher-trust society if enough people were convinced that living together in a civilised manner were a worthy, err, I mean profitable, background task?
Until I realized this, the title was quite confusing. If “20,000 leagues” were referring to depth, it would be enough to go all the way through the Earth, exit the other side, and then make it a quarter of the way to the moon.
They could not do this at the individual level, nor did they have ways of reaching people to persuade them to watch (notifications from mobile apps, emails about posts).
So, if it's not a product it shouldn't be sold or leased, and people shouldn't be hired to build it.
We can't agree whether Portia spiders are intelligent or just have very advanced instincts. How will we ever agree about what human intelligence is, or how to separate it from cultural knowledge? If that even makes sense.
Isn’t this like a brute force approach?
Given it costs $ 3000 per task, thats like 600 GPU hours (h100 at Azure)
In that amount of time the model can generate millions of chains of thoughts and then spend hours reviewing them or even testing them out one by one. Kind of like trying until something sticks and that happens to solve 80% of ARC. I feel like reasoning works differently in my brain. ;)
It's the difference between "how?" and "what?". A procedural approach describe the step you do something. But not what is the problem you want to solve and why you want to do this to solve it. A declarative approach on the other end, describe the goal and intended solution first and try to make a proper procedure to achieve the goal.

The two approach have their own cons and pros. But aren't explicitly exclusive. Sometimes the goal and solution aren't that clear. So you do it procedurally until you find a POC(Proof of concepts) that may actually solve the problem. And refine it in a declarative way.
As I understand it, GrayJay is not free (as in they want to be paid, which is I think is reasonable). How does this work with something like AGPL?

I'm curious to hear more, because I'm in the process of evaluating licenses for a software I'm planning to build and sell. For me it's important that users can feel safe with running my code and build it themselves - and keep using the software if I'm no longer around to maintain it.
Looking forward to hearing your thoughts.
There is a big difference between "leads" and "dominates".
> Companies that use it as hedge, or diversification, just need to "hold" it. Investors (not traders, there's a big difference) also commonly just "hodl" it. Also no need to exchange it.

In both of these cases the only value to "holding" it comes from the possibility of being able to exchange it if needed. While you might go a very long time without interacting with a centralized exchange, the Bitcoin is worthless for these use cases if there's no acceptable path to trading it for something else.
My bank would happily say too bad. I have had them insist on getting me into the branch for absurd things in the past.
There's a reason why Waymo isn't offered in Buffalo.
I thought that was a fake.
Technology (e.g. highly addictive short-form video apps) seems like a likely explanation; fear of fentanyl is less plausible (it would not deter drinking or vaping). Surely the biggest factor, however, is just the interruption of social contagion?

I strongly suspect that physically separating highschool students from their older peers for a couple of years meant that most of the older kids who were in to drugs etc. graduated and were not around to introduce their younger peers to these vices.

It's the flip side of the phenomenon whereby many university societies shut down and either never reopened after the pandemic or struggled to get going again (examples I know about including swing dance clubs and solar car racing teams), because the only students with enough experience to teach their younger peers had by then all graduated.
It was when I called them.
There are people who can verifiably estimate unknown probabilities with accuracy finer than 5 percentage points. These are called superforecasters.

Almost all people can achieve at least 20 point accuracy with a few hours of training. Unknown probabilities are not so problematic as people make them out to be.

Probabilities are literally measures of uncertainty. It's okay for them to be uncertain. They always are.
Thanks for the helpful feedback, I appreciate it, I was lazily rendering all the markers because I was working with a much smaller dataset of only US resorts, but the map component was rendering and calculating the position of 4000+ markers on every map move, I added some optimizations (only renders when zoomed in a bit, only renders visible markers) and it's running a lot smoother now. Thanks!
FWIW, other services like Apple Music and Amazon music (I’m sure others as well) also have similar “station” like features, where you can play a station for a given song/album.

Apple Music will also recommend songs at the bottom of your playlists that it thinks fit in, which I find is another great way to discover music.

I think the play-a-station method of music discovery has been around for a long time. If I remember correctly, even old iTunes used to have Genius(?) which played similar songs from your library.
> But what if there is no warning at all?

Sounds like the situation when the aquatic apes uncovered Shinkolobwe and Oklo.
Try also an app called Radiooooooo
So you have to count the EU as a single country to push China into third place. This is something people argue about. During Brexit I many people assured me the EU was not a country.

If you use PPP rather than nominal GDP China is actually the biggest and the EU the third biggest.

Also worth noting that, despite expansion, the EU was a smaller proportion of the worth economy before the UK left, than the EEC was after Britain joined. The trend is very much away from the West.
> The problem is kelly deals with binary results,

Incorrect. https://entropicthoughts.com/the-misunderstood-kelly-criteri...

The Kelly criterion generalises just fine to continuous, simultaneous, complicated allocations.

All it takes is a list of actions which we are choosing from (and these can be compound actions with continuous outcomes) and the joint probability distribution of wealth outcomes after each action.
RealPlayer deserves a mention here. Way way way before Flash and others, back in 95, they made streaming video possible over dialup modem (at like 320x240 or lower, 4 or 5 fps or so). https://en.m.wikipedia.org/wiki/RealPlayer

Today it's just some spamware reusing that old trademark, but it was the first popular streaming video implementation on the web.

Before that we mostly had server rendered video frames on a meta refresh timer, like Netscape Fishcam (https://www.fishcam.com/). Netscape was the commercial predecessor to Mozilla, the browser/company that eventually made Phoenix/Firebird/Firefox.

And before that you kinda sorta had ASCII graphics, sometimes with color, sent over direct modem connections to your local BBS. (And Gopher was in there somewhere in between)

I feel old.
Do you backup your Emails?

Yes. I have a combination of self hosted email and a vendor email provider. I access both with IMAPS. I pull down the emails with Thunderbird and never leave them on the server. I back up the local Thunderbird data folder locally then back it up to multiple encrypted SSD/NVME.
They did add a growing tree! Presumably the future autoobscurantist civilisation might simply interpret that to mean that the fountain of youth is so powerful that it has an effect on its surroundings, reversing time for plant life as well as people.
> Does compulsive technology use trigger the same neural pathways as addictive substances?

Absolutely yes: the dopamine circuit.
everywhere this survey has been done. colleges, independent firms, doctors office, the results are all the same.

Teens and young adults today are doing less sex, less drugs. All those can't be wrong unless todays teens are collectively less truthful than tennagers from previous eras. I doubt that.
Those are the (subsidized) prices that end clients are paying for the service so that's not something that is representative of what the actual inference costs are. Somebody still needs to pay that (actual) price in the end. For inference, as well as for training, you need actual (NVidia) hardware and that hardware didn't become any cheaper. OTOH models are only becoming increasingly more complex and bigger and with more and more demand I don't see those costs exactly dropping down.
I don't even keep my emails. I have nothing in my inbox at the moment.

If an email contains something I need to keep, it is transferred to my proper files.

Empty mail, happy life.
Yeah, I didn't realize Chimp studies, or neuroscience were out of vogue. Even in tech, people form strong 'beliefs' around what they think is happening.
AGPL would still allow a third party to fork their code and create a commercial product out of it, which is what they are opposed to.

The AGPL only requires that the host also provides their code.
Given your experience in the area, I highly encourage you to get the 30 day free trial and evaluate Astree yourself. You should be better positioned than I am to assess their claim of zero false negatives in all of the classes of issues that its creators claim that it can detect, which to my eye, appears to cover a superset of what is typically considered under memory safety. I very much look forward to the result of your effort. Given its use by Boeing and the ESA to prevent runtime errors in C/C++ code, I would be surprised if it failed your scrutiny.

Astree uses the theory of abstract interpretation that most of those in the formal methods community publishing papers do not touch as far as I know. It is therefore a different kind of tool for verifying properties of code than the techniques put forth in most formal methods papers.

NIST evaluated Astree and it got a perfect score on their test suite. It was actually a better than perfect score, as it found flaws in the test suite that NIST had not known existed. I have not heard of runtime errors in the Astree verified C/C++ code running on Boeing airliners or ESA space probes, unlike the prominent Toyota issues where they did not use any such tools and their slogan “always moving forward” became literal. So far, those who can afford it seem to be avoiding runtime issues in C/C++ code, which would be impossible if it did not work as advertised.

I acknowledge that correctness by external observation is not airtight logic. However, substantially similar reasoning applies to the security of RSA, since the RSA hardness assumption is an assumption and not a verifiable proof. A key difference is that with Astree, a claim is made that the software can make proofs internally to justify its claims, but we can scrutinize neither the proofs nor its source code. I choose to believe claims about Astree until they are proven otherwise given that Astree appears to be preventing runtime errors in a great number of mission critical applications and the independent NIST review found no flaws in its ability to statically detect sources of runtime errors.
Tensorflow is the worst. Basically every time my python env was borked (with multiple incompatible versions of Numpy) it was down to tensorflow.
Skymont in Desktop Form: Atom Unleashed
The obvious reason for me is simply that everyone is much more health conscious now. That also plays much more of a role in social status than it did before. That also extends to showing off your healthy lifestyle on social media.

Simply put, it's not as cool now.
"mimetic" is apt there, but I think that Dennett, as a friend of Dawkins, would say it's "memetic"
But maybe it's something more like general symbolic manipulation, and not specifically the sounds or structure of language. Reading is fairly new and unlikely to have had much if any evolutionary pressure in many populations who are now quite literate. Same seems true for music. Maybe the hardware is actually more general and adaptable and not just for language?
Can you search through old emails easily?
I think there's an easy and obvious thing we can do - stop listening to playlists! Seek out named jazz artists. Listen to your local jazz station. Go to jazz shows.

Not a musician myself, but I am a live performer. I think live performance will come back into stride for things people do.

Then again, people do livestreaming all the time, but it's a different sort of entertainment compared to people putting up a live show for you for a lack of better term.

I am hoping to do it next year.
Clicking “Archive” also has the same effect + you can easily finds things while not being at the computer.
3 meals a day + snacks don't make sense for the body but good for business.
My point is by voting for the subscription model by buying into it you're encouraging bad corporate behavior. Subscriptions are anticonsumer. Additionally, all that is available for free. I'm boggled.
> doing the default thing with cuda related python packages used to often result in "fuck it, reinstall linux"

From about 2014-17 you are correct, but it appears (on ubuntu at least), that it mostly works now. Maybe I've just gotten better at dealing with the pain though...
The Four Shades of Loneliness
It's not too complex for them to do it because they used to do that. The problems is scammers caught on to it and abused the system. They'd create music and get it listed on Spotify, and then create fake listeners that would listen to their music non-stop and then get paid out as an artist with a lot of listens. After getting tired of playing whack-a-mole, Spotify changed the system to what it is now.
I’m using this system as well.

I don’t keep letters in my mailbox. I don’t see why i should keep emails either.
I’m not defending Spotify nor do I like the company but I have two problems with this article’s rhetoric:

1) the word payola isn’t technically correct to describe Spotify “optimizing” its cost of goods sold by replacing with mass produced, farmed content. It’s more similar to Amazon Basics category of goods.

So payola is not the right term, since no one’s paying them to promote some music on the platform. Actually there’s real payola and that’s from companies like Universal music promoting drake etc

2) calling the Spotify owned content “slop” is kinda unfair to the creators. Afaik it’s not AI generated and there is real musicians making money off of this (albeit little)

3) I’m almost positive that Spotify will just start using AI exclusively for creating this slop very soon
“Now, a team has found a molecule that could provide caloric restriction in a pill”… instead of just restricting calories
Consumers' time is wasted by slop (by listening to it, skipping it, expunging it from playlists, etc.) Musicians are harmed when their material is lost in a sea of slop.
Show HN: Supergateway – Run MCP stdio servers over SSE
Hi guys,

I’ve just released Supergateway and it allows to use MCP servers with stdio on remote assistants over SSE.

Now most of MCP servers only support stdio transport and this is problematic if you want remote assistants to access them. MCP spec has SSE transport which works with remote HTTP connections but it is rarely used by MCP server authors. So I’ve created this gateway that allows you to run stdio transport MCP servers and tunnel them via SSE transport.

It’s very simple to use. Run any stdio MCP server like this:

npx -y supergateway --stdio "uvx mcp-server-git"

It’s totally open-source and supports pretty much any MCP server.

Built this since we have an AI infrastructure platform (https://superinterface.ai) that allows you to use MCP servers in remote assistants and we saw that we cannot really run any community MCP servers without something like this.

It’s def pretty cool to see remote assistants embedded on a website being able to access these cool MCP servers.

Let me know what you think!
/Domas
However, this does not function when a security key is activated.
It just removes the clutter from view. It’s not the same thing.
Mathematicians absolutely can, it's called foundations, and people actively study what mathematics can be expressed in different foundations. Most mathematicians don't care about it though for the same reason most programmers don't care about Haskell.
There's a bunch of people who tend to have problems with Python dep management:
- Windows users

- DS/compiled libs users (mostly Fortran/Cuda/C++)

- Anyone with dependencies on native/non python libraries.

Conda definitely helps with 2 and 3 above, and uv is at least a nice, fast API over pip (which is better since it started doing dependency checking and binary wheels).

More generally, lots of the issues come from the nature of python as a glue language over compiled libraries, which is a relatively harder problem in general.
Speaking of ageing, what happened with the research around this gene:

https://pmc.ncbi.nlm.nih.gov/articles/PMC5403515/
Maybe the post's a bit hyperbolic but we do seem to be going through a moment in history.