skysight-inc/HackerNews huggingface dataset:
> One of the first things compilers do is throw away the original source code; outside of initial front-end codegen, there is no reference to the original AST

That doesn't have to be an immutable fact for all implementations of compilers for all languages. The Rust compiler has multiple IRs (AST, HIR, THIR, MIR & LLVM IR), and for all but the last one (codegen), we keep around, if not a reference to the HIR node that allows us to navigate its context, at least a Span that points at the user's code (sometimes a whole struct or linked list of "facts" we've collected so far, each containing Spans). rustc also throws away information to reduce memory consumption, much to my dismay, but we still perform later checks to re evaluate (sometimes as an approximation) what the reason for a certain "decision" was, so that we can talk to the user in terms they understand, and not in terms of compiler internals.

The ideal design would be to have a single implementation of all logic with two modes of operation: the low memory consumption one (what you state as the way compilers work), and a "track everything without discarding metadata until the end" mode, that can provide better human readable output.
Yolo pumping out code for a programming language or tooling I'm unfamiliar with, either to use as boilerplate or learn from as an example.
Isn't there this tension between "useful as a food package / eating utensil" and "harmful as trash"? You want something that is just biodegradeable enough that it doesn't become a forever problem, but not biodegradeable enough that it mixes with food or becomes useless as a food container.

The worst offender is compostable bags: They can hold trash for about 1 day before they become the trash.
Agreed. It is a "good old" binary protocol, so the many gotchas of text protocols are not there.
Any notes on cost? That looks quite promising.
There's the official teal-types[1] project that aims to fill that gap only for standard Lua. I've used the LÖVE types[2] in the past.

1: https://github.com/teal-language/teal-types/tree/master/type...
2: https://github.com/MikuAuahDark/love2d-tl
Regardless of the definition, I can't buy and own such a "driverless car" because I don't operate a supervision center with people available to "assist" the car. Whatever "assist" means. Nor can any company that's not large enough to operate the infrastructure.

I'm sure at least some of the hype is in regards to people owning such "driverless" cars.

It's driverless by definition because it does not have a driver, but it's not autonomous by definition, because it requires outside help to function. Cool hair splitting. It's an impressive technical feat for sure. In regards to perceived benefits for society, it's part of the way there, as it reduces the number of humans required to driver from 1 per car to 0.something per car.
In some ways it’s my fault that I didn’t present it very well, but perhaps this should be taken less strictly, as something of a source of inspiration, like some kind of painting. Someone can then take it more strictly and make some kind of Curry-Howard isomorphism, or from the idea that the information concept of a file corresponds to the material concept of force, something in dimensional analysis can grow.

That is, it may be less formal at the beginning, but then a craftsman may be found who will do everything quite strictly.

Nevertheless, now this author is developing the theory of syllogistics and there are quite practical results, for example, that the logic textbooks for lawyers can be translated into boolean algebra and made more precise.
"Types and Programming Languages" by Benjamin Pierce is an excellent textbook (and approachable, even to people without formal CS education) that covers type inference and introduces a lot of the nomenclature/formalism gradually.
Except that we have had clear proof for one, and just hand wavy "they are doing it too!! The Iranians or the qataris or whatever!!" for the other. We also know that Israel has army units dedicated to this. Like, it's well documented even from Israeli sources

So yes, it's whatboutism but even worse, it's putting those two on the same level when they absolutely are not. What's the Iranian or Qatari equivalent of AIPAC?
And handles them inappropriately, it seems, since we converted the URL to https://flipdisc.io/http://localhost:4321/.

I've fixed it now.
Probably fine .. as long as you don't come home.
All I'm doing here is recounting my personal experience.

> When the USA is debating policy towards a smaller country, any country in this position does everything they can to sway opinion in their favour.

Perhaps, but I can think of no other time when I've logged onto social media to see a promoted post by the official account of a US ally aiming to influence my opinion of a US domestic issue. Maybe my memory is faulty and there are many other examples. If so I'd be more than happy to be corrected, I'm genuinely curious.
Xylitol. It's made from a birch bark extract. I only learned the specifics after I caught my pup having dug an empty pint of Rebel out of the trash and lost it. Then I looked up the info online. Some sweeteners will upset their stomachs, but Xylitol will kill them.
> In general, this approach avoids parsing the output of any command.

Somewhere, there has to be validation phases. Just because you have objects, doesn't mean they are well formed.

https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-va...

It turns out proper validation is way harder than parsing. There is a reason text based interfaces and formats are so pervasive.
Thanks I'll work on that. One thing though
> The linked example can encode _any sequence_, not just ones that have an equal number of ones and zeros.

The compression I made can also encode any sequence of bytes, see the testinput folder (caveats in the FAQ are because of the implementation specifics not the algorithm), it just also has to store the freq table which I'm working on compressing too. It has no requirement for equal number of 1s and 0s, that was just an example in the description that I guess did more bad than good.
ewww.. horrible comment.
One thing they seems to have got working fairly reliably is the lunar landing of the probe using image processing to guide the final approach and touch down. It seems to have worked well in this and the previous mission, there are videos on youtube of that.

https://youtu.be/wUju9-cckKA?si=nZFOCga10mnCA_vs

The other component is the autonomous docking of the return probe in lunar orbit.

Soviets have done a lunar sample return, but they had a probe that would lift off directly into a earth return trajectory, but that seems to have limited both the liftoff mass and the possible zones in moon from which it can lift off. This seems a much more complex mission than that.

Also some animated videos of the misson show a skip re-entry back to earth, don't know if it is the case during this particular flight.
If it's anything like the previous Surface machines, the BIOS will not have the option to turn Secure Boot off. That makes it much harder to get Linux on there, too hard for most people.
It is hard to me to understand how much this revisionist tendency is just a recent invention and to what extent it has been present throughout the history.

For the most part, I can see old books on bookshelves are still unedited. But maybe some other books have been completely destroyed due to not being acceptable to future readers/powers?

But I really hate it. I dislike when people do not understand that moral and social norms change over time and you can't blindly apply your current views to historical people who were brought up and lived in a different world.

I am pretty sure people in some distant future will think about us as heathens for eating meat, driving cars and wearing plastic. I hope they will be wise enough not to cancel us complete for this and hear out other wisdom we might want to pass.
Nvidia sees around £339B wiped off market value in three-day sell-off
Wow.. I wonder how this compares to groq?

I made a request to access their developer cloud. Anyone have any idea when they start processing those requests and how many slots they might have?
Startup Diraq taps GlobalFoundries to forge silicon-based quantum chips
Indeed... Happens to me every day in different ways.
The earlier ones had glowing reviews but when I finally got to try one (expecting it to be good!) around IIRC the third generation, it was awful.

This time, I’ll believe it when I feel it.
Something else pulls from the vault and exposes it as a regular env var to your process. The .env file is a workaround to get this running locally! For open source, the simplest to explain is using a k8s secret mounted to a pod — pod identity allows access to the secret via rbac, which cannot be faked. Only that pod has access to that secret. But your process, running on the pod, sees it as an env var.
Pretty cool guys. It would be nice to know the differences to other local first like solutions out there.
> The researchers found no overlap between male and female

That's kind of a bold claim...

EDIT: Interesting that I'm getting massively modded down by people who have clearly not even read the article. There's a bunch of graphs that show "no overlap" without any explanation of what they are actually even showing on the graphs. And then they make claims like "found no overlap between male and female" when what they actually means is "in some poorly specified tests, where they don't actually tell you what they were doing and how they determined this, they found data that was different between male and female". It also seems like the author of the article isn't grounded in statistics or he'd be calling it "no correlation" not "no overlap".

But sure, just carry on down-voting me if you can't be bothered to actually read the article.
I'd like to see a useful spectrum of classifications between "lasts forever as a pollutant" and "dissolves in water". As in How biodegradeable is it?. I think that would help make distinctions between the many "biodegradeable" options.

You want something that is just biodegradeable enough that it doesn't become a forever problem, but not biodegradeable enough that it mixes with food or becomes useless as a food container.

The worst offender is compostable bags: They can hold trash for about 1 day before they become the trash.
Ow contrarily I'd argue the opposite. GPU vram has gotten faster but the density isn't that good. 8gb used to be high end for the early 2000's yet now 16gb can't even run games that well, especially if its a studio that loves vram.

Side note: as someone who has been into machine learning for over 10 years, let me tell ya us hobbyists and researchers hunger for compute and memory.

VRAM isn't everything.....I am well aware but certain workflows really do benefit from heaps of vram like vfx and cad and CFD. I realize that the dream of upgradable GPUs where I can upgrade the different components just like you do on the computer. Computer is slow, then upgrade ram or storage or get a faster chip that uses the same socket. GPU could possibility see modularity with the processor the vram etc.

Level1Tech has some great videos about how PCIe is the future...where we can connect systems together using raw PCI lanes, which is similar to how nvidia Blackwell servers communicate to other servers in the rack.
Love this.

Reminds me of the “flip flap” boards in old train stations. Like https://www.vestaboard.com/
We have that in Spain too. I still pay for the plastic bag like 50% of the time, because they're useful to take out the trash. Otherwise I wouldn't be paying the 5c but I would need to buy trash bags.

PS: the best reusable shopping bag I have is a traditional Taiwanese shopping bag a friend brought from there. Light, beautiful, rugged, holds a lot of weight, seems indestructible. A pity they don't sell these here, I live in fear of losing it :D
We detached this subthread from https://news.ycombinator.com/item?id=40784625.
> near limitless lifespan

The lifespan is probably not as limitless as you might have imagined, the discs tend to fall off or get stuck. But they are really neat while they are working, especially how they sounds.

I was at an office with these flip dot displays, and eventually we dismantled the display. I took some picture of the pieces and you can see how stuck discs look like:

https://photos.app.goo.gl/onpHefUVL8oeP4si7
Without first-class CUDA translation or cross compile, AMD is just throwing more transistors at the void
Ask HN: Where to Report Scam Webshops?
Might have found a bunch of suspiciously similar-looking and very possibly fake webshops in a scam network, or at least I don't think this many unrelated brands would end up using the same outlet provider. Couldn't find any contact info, the shipping info and privacy policies are bullshit, the prices are suspiciously low, the wording is strange on every site and no Hungarian would start every word in uppercase (unless they are braindead). Some sites are just redirects to others, and quite a lot of them has intentional typo. For example, www.salonomnhuoutlet.com and www.salomohungary.com

Reported this at https://safebrowsing.google.com/safebrowsing/report_badware/ but it seems like the sites are not yet flagged as https://transparencyreport.google.com/safe-browsing/search shows the sites as safe. Is there any way to get these sites off the net?

The list: https://bgp.tools/prefix/196.245.161.0/24#dns

Don't know what that cprapid.com is, but it's on the Badware Risks filter list.

Btw, at least for me, the top 3 results for "salomon xa pro 3d" are these scammy-looking sites.

I've found an article about this phenomenon too: https://mybroadband.co.za/news/security/521539-surge-in-online-shopping-scams-in-south-africa.html
Slack has never been a solution for hobby groups and open source communities and the like, but people love to keep using it as such and then blame the pricing model for not working for them.
I get that your comment is a hyperbolic jab at Trump supporters but why is a pro-Russian candidate actually bad - besides the tiresome comparisons of Putin to Hitler and similar claims? It seems like NATO didn't disband or let Russia join after it asked to multiple times because we have a military industrial complex that requires perpetual war to sustain itself. Why risk nuclear war over vague political goals like "containment" and "spreading democracy" when engaging Russia in this way will mean Russia is fighting for its survival. Honestly asking because I don't understand.
We are going to reinvent an ad hoc, informally-specified, bug-ridden, slow implementation of half of Usenet.
No idea what they’re expecting, but I would expect some interesting differences based on our current understanding of the geological differences between the two sides. Apparently the near side was warmed by Earth early in the Moon’s history which meant the far side cooled more quickly and developed a thicker crust.
It sounds like a definition/data-collection issue.

What are we calling 'unsheltered' versus 'homeless'?

America is full of oddballs who live #vanlife or couch surf or bounce between motels. Is that what we are calling 'unsheltered'?

> Every time I've seen statistics comparing, they disagree with your anecdote.

We both know the Churchill saying. Hard to parse the statistics you provided but what I am talking about is bona-fide homeless on the street that you walk past in the city. Not some Barista who is technically not on a lease but lives at her boyfriends house.
Them being not monetizable by you is exactly the reason why I should use them. You could charge me for a copy of the software, but that won't last forever like subscription cloud crapware does.
Pixar is paying a massive premium; they probably are using an order of magnitude or two more CPUs than they would if they could use GPUs. Using a hundred CPUs in place of a single H100 is a greater-than-h100 style premium.
Thanks for clarifying, I learned something new today!

Edit: It turns out that Bash does substitutions in the middle of strings using the ${string/substring/replacement} and ${string//substring/replacement} syntax, for more details see https://tldp.org/LDP/abs/html/string-manipulation.html
What's wrong with explicitly using "python3"? I guess maybe in theory you could maybe write a script that was compatible with both 2 and 3 but that sounds needlessly masochistic, and if there were ever going to be a python4 you wouldn't want to accidentally switch to it automatically either.
why not infinite brains so you can have more computational power than these GPUs?
But that someone is wrong. Pointing out past strongmen (which both Suharto- and Sukarno, really, were) have led Indonesia in the distant past is not the same as Subianto being democratically elected into office and replacing the mainstream Widodo and ending the Era Reformasi. Subianto exists in the same company as Duterte, Modi, Erdogan, Bolsonaro, Meloni, Milei; 2010s and onwards figures.
It absolutely is. But there are dozens or more comments here about how Assange and Wikileaks were "above all that", and "impartial sources, without fear or favor".

When no, he was and is as partisan as anyone else.
As long as it requires some humans to be available to "assist", I'm not sure anyone would sell or buy such a vehicle. Or rent in the "car rental" sense. Taxi service is what makes sense.

If I own the car, and I'm sending it to do errands for me while I work or sleep, seems like the cost of someone being available to "assist" it at short notice would be prohibitive. Unless it requires assistance once a month or so.
So I knew that AMD's compute stack was a buggy mess -- nobody starts out wanting to pay more for less and I had to learn the hard way how big of a gap there was between AMD's paper specs and their actual offerings -- and I also knew that Nvidia had a huge edge at the cutting edge of things, if you need gigashaders or execution reordering or whatever, but ML isn't any of that. The calculations are "just" matrix multiplication, or not far off.

I would have thought AMD could have scrambled to fix their bugs, at least the matmul related ones, scrambled to shore up torch compatibility or whatever was needed for LLM training, and pushed something out the door that might not have been top-of-market but could at least have taken advantage of the opportunity provided by 80% margins from team green. I thought the green moat was maybe a year wide and tens of millions deep (enough for a team to test the bugs, a team to fix the bugs, time to ramp, and time to make it happen). But here we are, multiple years and trillions in market cap delta later, and AMD still seems to be completely non-viable. What happened? Did they go into denial about the bugs? Did they fix the bugs but the industry still doesn't trust them?
Ok not SF. SF is a major outlier. That city is truly a homeless apocalypse
Sohu – first specialized chip (ASIC) for transformer models
So, and I say this as someone who is indisputably pro choice. It was an open secret that Roe V Wade was a bad legal decision, and tons of ink has been spilt on that, even Ruth Bader Ginsburg has commented on it, and there’s some thought that it may have turned the tide against an organic pro-choice movement that was happening at the time. That being said Dobbs was an incredibly cynical power play, with everyone involved saying that Roe V Wade was settled law and they weren’t going to touch it, then doing to opposite.
AFAIK the only proven meddling from Russia was stirring stuff up in a party- and faction-neutral way. They were trying to cause chaos, not try and get one party or another elected. Their agents would, for example, organize a protest on Facebook, then organize the counter-protest at the same location.
> Specialized chips are inevitable

I mean, are they? Seems like the industry would prefer these things to become commodities, especially if it helps with portability and reproducibility.
How do you mean that we are to have enthusiastically supported the Nazis?

We even warned the Soviet Union of Operation Barbarossa, using information we obtained from cracked Nazi codes. When one of my grandparents fled Norway due to the Nazis they were given asylum. During WWII Sweden was led by a political coalition consisting of the peasant's party and the social democrats, and in Germany, social democrat leadership got put into concentration camps as they were seen as communist-adjacent.

>Yet the calls from Swedes for the US to provide more Ukraine aid are deafening at this point

The Russians have probably threatened us behind the scenes and have probably been saying things that are quite extreme. Otherwise the social democrats wouldn't have flipped and had us join NATO. Furthermore, it's not like the US didn't want Ukraine to join the western block, so why shouldn't they help, now its attempt to do so is being met with an invasion?

I don't hate America. There's much good about it, but the US should rule the US, the Swedes Sweden, and the Ukrainians Ukraine. Just as we help Ukraine, it is reasonable that the Americans do too, since it's near us, and since we're kind of in this together.

>Where is the criticism from Swedes when Russia murders its own journalists or China restricts freedom of speech?

Literally all the time? When has Swedish media stopped caring about people Politovskaya, etc

>Please, if you are so anti-american, impress upon your countrymen to stay away from NATO. You people are clearly not interested in allying with the US.

I am kind of personally opposed to our membership, but I don't hate America, nor am I necessarily anti-American as such. But I don't want US power in Europe, we should rule our lands, and the Americans theirs.

If the Americans have influence here, then that is influence we ourselves do not have. Consequently, it can't be permitted. But this doesn't mean that we can't be friends. It means that the US can't have the keys to our house, or put cameras in it, or hang around the windows with binoculars, or decide what we buy, etcetera.

I understand the US wanting to get at the maniacs after 9/11. 9/11 was much worse than is immediately apparent and there are details that anger me even now, that make me want to reach across the world and dash a whole bunch of people against walls and furniture, so I understand the desire to do something, even the extraordinary rendition stuff, to some degree, but you can't do this kind of thing. You weren't willing to actually go after the Saudis, which you probably should have, instead of the aggression against less relevant countries.

Justice for individuals is important and soverignty is as well and even justified lashing out, when it is at odds with justice for an individual or soverignty of some foreign country, then it's not easy to go along with the lashing out of a country that is justified.
I don't know how legit the source is, but if this is to be believed then it's a pretty interesting finding. It seems likely to spark off some pretty big social conversations and a lot more research into this particular area

I don't have time to dig deeper at the moment but I'm very curious about this topic
> in practice simple formats have tendency to evolve into frankenstein monster with a mess of extensions and variations (see markdown for example)

Compare to OPML, which is supposed to support other things—exactly the type of things you describe—but it requires special handling in the implementation to actually do it, so you get implementations that don't, which isn't far off from the exact situation of variants that you describe. See the previous OPML importer that I linked to for an example.
You're absolutely right about the software and absolutely wrong about the profile photo. What aspect of it makes it not seem like Google is a serious company? Non-compliance to 1950-1980s appearance norms? Finally getting rid of the universal suit/tie/shaved/etc dress code was the best thing my generation has done.
Most reasonable people would denounce BOTH. You seem to be pushing toward the idea that "if they do something evil, my evil is no longer evil".