MurphyA/hacker-news huggingface dataset:
by poszlem | 2025-07-21 14:17:21+00:00
From my perspective, Gemini CLI is useless—it’s the only LLM that has repeatedly refused to work with me because of so-called "offensive language." And when it does work it's overly verbose and often just plainly wrong. Codex CLI just feels like a stripped-down version of Claude Code.

Claude Code wins for me for one simple reason: I can just pay for a MAX account and not worry about running out of credits or going through my credit card limit. That makes me use the tool twice as much as the others, where I’m constantly watching my credit balance.

Cursor wins because it was the first big one, not sure if it has any important advantages over claude code anymore.
by ot | 2025-07-21 14:17:24+00:00
No, the timer is still global (that's why you need the compare-and-swap). But the threads only need to do reads most of the time, and reads do not cause contention. Writes do.

It looks something like this (pseudocode):

static std::atomic<uint64_t> deadline{0}; auto now = coarse_clock::now(); auto curDeadline = deadline.load(std::memory_order_relaxed); if (now >= curDeadline && deadline.compare_exchange_strong(curDeadline, now + period, std::memory_order_relaxed)) { // Actually log }
by acdha | 2025-07-21 14:17:51+00:00
The bigger problem was the poor experience when anything failed and your users got an inscrutable error page or, if it was a gap in functionality rather than a hard compatibility error, parts of the page didn’t work as expected and you might not even notice if depended on a browser / MS shared library version you didn’t use.

Philosophically I like the idea but that era needed a lot more attention to tool quality and interoperability. I’m not sure anything anyone on an XML-based standards committee did after the turn of the century mattered as much as it would have if the money had been spent improving tools and avoiding things like so many tools relying on libxml2 / libxslt and thus never getting support for newer versions of XPath, XSLT, etc.
by motorest | 2025-07-21 14:18:25+00:00
> That doesn't really prove that much.

You seem confused. France launched a criminal probe, whose goal is to investigate whether these types of biases reflect actual manipulation from Twitter. You are presented with evidence suggesting these biases exist. Now France is expected to look into them. Their findings will either support a criminal case, reject a criminal case, or simply not support further investigations.

> Pushing antisemitism, holocaust denial, and supremacist content is not ok, even if you argue they are only pushing extremist content for the clicks (which is a laughably bad hypothesis as Twitter's business model depends on the platform having mainstream appeal)
by lxgr | 2025-07-21 14:18:51+00:00
I see how it can make sense on the settlement layer, but that's of absolutely no relevance to individual investors, which is who Robinhood are targeting.

In the EU, as far as I remember most modern brokers let you buy shares with unsettled proceeds of others without restrictions; in the US, getting a margin account takes no effort at all and bypasses the freeriding rules too.
by libertine | 2025-07-21 14:19:26+00:00
As I said: these decisions are made by elected officials.

If there's a conspiracy of corruption/lobbying/interests behind those countries' decisions, it's a completely different problem that is for those countries' regulators to control, and/or for the people to choose to vote for someone else.

France isn't Russia or Iran, where you have an illegitimate regime that does whatever it wants above their law and constitution.

A Conspiracy Theory doesn't give any right to the billionaire owner of the social network to be above the law.
by micromacrofoot | 2025-07-21 14:19:38+00:00
These people know they're testing meat alternatives, so it's not blind — there are a lot of biases that come out as soon as you start talking about alternatives because people don't understand them.

Anecdotally I've heard similar thoughts "I can taste the chemicals" from someone that didn't realize they were eating a handmade veggie burger made from chickpeas.
by forgotpwagain | 2025-07-21 14:19:42+00:00
There are biotech companies like Eikon Therapeutics (https://www.eikontx.com/ ) where super-resolution microscopy in living cells is a central part of the platform.

There is also one widespread approach that isn't mentioned in the article: expansion microscopy. Expansion takes the scifi-sounding approach of: what if you could make your sample physically bigger? See the Wikipedia page for more: https://en.wikipedia.org/wiki/Expansion_microscopy
by rbanffy | 2025-07-21 14:19:46+00:00
Last time I went to an MRI, there was a prep room before the MRI machine. There was a stern and visible warning to remove anything metallic from your body before going through the second door. I am fully aware if the pins on my leg were affected, the machine would gladly remove them from my, most likely along with the bone and the leg they are attached to.

A lot of fatal accidents are like that - a series of small mistakes nobody notices, each individually harmless, followed by THAT ONE BIG MISTAKE that ends up killing someone (or a lot of people).
by reillyse | 2025-07-21 14:20:08+00:00
This is less historical record than medieval propaganda piece. I get that it was written as such but even the article at the beginning pretends it’s an accurate representation of what the king got up to and then towards the end tacitly admits it’s an idealized representation of how a king should behave. This basically brings into question all of the actual details. Did he go to church every morning ? Maybe it was deemed proper that he did but as the king he just skipped it - we’ll never know.

Likewise listening to commoners- maybe this was done for show with some well cleaned up subjects every so often , or maybe it was a genuine practice , we don’t really know.
by seanhunter | 2025-07-21 14:20:15+00:00
One thing to note for people who don't have a securities background is that exchanges have offered "depositary receipts" which is essentially the same thing for some time - the innovation here is making the depositary receipt into a crypto token. Depositary receipts are used typically to provide a secondary listing for a stock outside the country of its primary listing. So for example on Nasdaq I can trade a "Vodaphone depositary receipt", which will be denominated in USD but relate to 1 share of Vodaphone, which is listed in GBp in the UK. Somewhere in the pipeline a depositary institution has the actual shares and keeps track of who is the beneficial owner of each share for which a receipt has been issued.

This is an easy way for large companies to generate more liquidity (from foreign investors) and often has tax or other advantages for investors in that they don't need to report an FX pnl- they can just hold the stock in their main currency even though its primary listing is actually in a different currency.

These are usually called ADRs (American Depositary Receipts) and EDRs (European depositary receipts) based on whether the instrument is listed in the US or Europe. So the Vodaphone example above of a UK public company trading a depositary receipt on Nasdaq would be an ADR.

https://www.investopedia.com/terms/d/depositaryreceipt.asp
by foobarian | 2025-07-21 14:20:33+00:00
Nice analogy. So it seems the solution would be to create more Taylor Swifts then, by investing in music schools and programs, talent shows, scouting, etc., where the analogous thing would be to create more "nice places to live" with all the desirable attributes like walkability, jobs, public transport, etc. It's a tall order since land and climate are the ultimate scarce resources, but there are probably some underutilized spots that could support it. The rest would also be difficult due to property rights.
by phkahler | 2025-07-21 14:20:44+00:00
>> I don't get it how in the world someone can just enter the room when the device is on.

The magnet is always on. His wife was in the room. Unless you're previously aware of the dangers of an MRI machine it looks like any other exam room with some equipment in it. It's up to the staff to inform and keep people out and enforce that. IMHO he should not have even been in the outer room wearing a chain like that.
by mrbadguy | 2025-07-21 14:21:08+00:00
Their latest sham is the bag sizing box that has one side open. So, even if your bag would actually fit into a volume of the required size, if any of it is loose (often the case with soft bags)then it’s “too big”.

I recently saw a lady try to make this point to them, only for the staff to keep repeating “but it sticks out”. In the end, the lady had to take the belt off her jacket and wrap it around the bag just to make the point. What a waste of time.

People who defend this airline “because it’s cheap” are just degrading themselves quite frankly. It’s awful and we shouldn’t be accepting of it.
by potato3732842 | 2025-07-21 14:21:08+00:00
Seems spot on to me.

Figure half that to start since most of the loop is gonna wind up laying flat and only the half of it is prevented from doing so by one's neck. Then maybe cut it by 2/3 again since the sides aren't gonna do a ton of direct squishing. That still leaves you with hundreds of pounds, which roughly aligns with the timeline of suffocation in the article High hundreds low thousand likely would be neck snapping or otherwise instantly incapacitating.
by ethbr1 | 2025-07-21 14:21:08+00:00
I’m less scared about 100x the resources (in most applications) in exchange for decreasing programmer time / need.

What worries me far more is the lack of formalism around risk / boundary cases by undertrained teams using modern AI solutions.

Anyone building on top of a thing should either understand (a) how it’s built in detail or (b) its specifications and behavior in detail.

Most of these teams understand neither about LLMs.
by Workaccount2 | 2025-07-21 14:21:47+00:00
I wish there was a solid way to balance the weight of a tragedy (sans the kneejerk human emotional reaction) against the proposed solution.

Freak accidents will always happen, and if mitigation is simple and cheap, we should do it. But as soon as we get into the territory of "NICU doors need to be locked with keycard access" (causing every doctor and nurse to do a badge scan 40-50 times a day) then I think it's ok to have 1 infant death every 50 years globally because of it.
by gjm11 | 2025-07-21 14:21:59+00:00
What is the purpose of this comment?

It seems to be taken directly from the article, but it doesn't begin at the beginning or end at the end or shed any light on the part of the title most likely to be puzzling ("beyond arithmetic").

If the intention was to help out readers who don't know what a quadratic form is, I think a more helpful piece of advice would be: if you don't already know what a quadratic form is, then it is very unlikely that you will get anything much out of this article.
by theobeers | 2025-07-21 14:22:05+00:00
Indeed, many such cases. Our society is full of institutions that functioned only because "no one in a position to participate would be shameless enough to abuse it." Then that assumption breaks, and it's ruined for everyone.

It is relevant, though awkward to discuss, that a large share of NIH and NSF funding proposals (and indeed funded projects) are led by researchers who didn't grow up in the US. I wonder if it's in fact a majority.
by dmix | 2025-07-21 14:22:10+00:00
You're just describing population growth and competing incentives, entirely normal things. They can be incentives from completely different sets of people at different times in their lives. Plenty of people are fine with density as long as the place they live is maintained and law is enforced, likewise plenty of other people grow tired of noise or have kids and move to quieter areas (areas w/ people who will then complain of urbanization).

Again none of this is something that benefits from heavily centralized control, unless you want cities to be expensive exclusive zones, and force poor people to only live in rarely built (and poorly maintained) government housing while the rest are forced out into sprawling suburbs, with just as restrictive building rules, which can only forever expand outward consuming forests and farmland + forcing more cars onto the highways.

Then everyone has to drive into the city for work, meaning a political base who doesn't care about downtown infrastructure like public transit that only serves a highly exclusive downtown.

That's a system where no one wins.
by AquilaFasciata | 2025-07-21 14:22:17+00:00
> it manages to combine speed and low-level control with a high level of bug-resistance, more commonly referred to as safety.

This article didn't even make it 2 paragraphs before being incorrect. Safety isn't bug resistance - Safety is ensuring memory integrity. Bugs are still easy to write, they're just going to be logic bugs instead of use after frees, double frees, etc.

The first example of a function and access to fields misses point as well. If you just wanted to edit a field locally, you can do that without references. If you're sharing the struct around, then you don't want more than one mutable reference at a time anyway.
by rorylaitila | 2025-07-21 14:22:57+00:00
Let's call this shotgun capitalism. It's all the rage over at indie X.

It used to be that one had a unique interest, profession or capability. This uniqueness causes them to see a gap in the market that could be filled by a new business. They work on filling out that gap, going as far as the customers and their capabilities will take them.

But that's too limiting. Because their interests and their customers might not lead to infinite growth! So instead you need to burn your life looking for that ONE business that will take off.

So shoot at everything. Burn your business, burn your time, burn your customers (this I detest the most), burn your intellect. Maybe get a shot at joining some club that no one cares about, except the other shooters.

The correct path is neither a shotgun blast on all available ideas, or a march to the death on your pet idea. It's a coherent expansion of effort based on feedback, capabilities, risk and likely return. Otherwise known as being in business.
by quibono | 2025-07-21 14:23:20+00:00
Well... my understanding has always been that 1.1 == 1.1.0 but 1.1 != 1.10; i.e. these aren't supposed to be interpreted in the decimal sense. Declaring 1.1 == 1.10 would be very confusing to me but I understand I might be biased.

Also, I wish everyone settled on SEVMER already. There are some bizarre versioning schemes out there. I get that sometimes those are needed but do we really need the likes of Cisco versions?
by csdreamer7 | 2025-07-21 14:23:33+00:00
If you can shift these tokens around like Bitcoin my first thought was tax or sanctions evasion. Buy some VOO tokens from a 3rd party since you know your corrupt government (and you made money from that corruption) will seize your bank account for any reason. You hold these tokens in a private wallet stored somewhere for a few decades as your escape plan.

There was an article on how cut-throat (pun intended) low the margins are for money laundering in the competition between businesses to get drug trafficked US dollars from Mexico to China.
by bgavran | 2025-07-21 14:24:22+00:00
Indeed, the author seems to have a misunderstanding about both undecidability and complexity as they pertain to dependent types.

Dependent types do not add complexity to our system, they reveal it.

Case in point: here is a fully dependently-typed tensor processing framework written in Idris, which I believe matches most of the desiderata of his talk, capturing even a generalisation of arrays via Naperian functors that is mentioned at one point.

https://github.com/bgavran/TypeSafe_Tensors
by Const-me | 2025-07-21 14:24:34+00:00
Indeed, automatic vectorizers do such simple things pretty reliably these days.

However, if you build your software from kernels like that, you leave a lot of performance on the table. For example, each core of my Zen 4 CPU at base frequency can add FP32 numbers with AVX1 or AVX-512 at 268 GB/sec, which results in 806 GB/sec total bandwidth for your kernel with two inputs and 1 output.

However, dual-channel DDR5 memory in my computer can only deliver 83 GB/sec bandwidth shared across all CPU cores. That’s an order of magnitude difference for a single threaded program, and almost 2 orders of magnitude difference when computing something on the complete CPU.

Even worse, the difference between compute and memory widens over time. The next generation Zen 5 CPUs can add numbers twice as fast per cycle if using AVX-512.

For this reason, ideally you want your kernels to do much more work with the numbers loaded from memory. That’s why efficient compute kernels are often way more complicated than the for loop in your example. Sadly, seems modern compilers can only reliably autovectorize very simple loops.
by boston_clone | 2025-07-21 14:24:35+00:00
Sounds like you've been successfully co-opted by Berman's propaganda [0].

Looking at my local grocer, Impossible Beef is currently cheaper per pound than several of the organic ground beef options. There is also consensus among American dietitians that vegan diets are suitable for all stages of life. Further, "ultra processed" does not have a common definition - could you share how Impossible Beef is so much different than TVP?

Even TFA talks about this onslaught of misinformation - "CEO Ethan Brown has alleged significant “misinformation and misdirection” about the health profile of plant-based meat, and Beyond Meat has gone on the offensive to refute claims that its products are too processed.".

0. https://en.wikipedia.org/wiki/Center_for_Organizational_Rese...
by rickydroll | 2025-07-21 14:24:45+00:00
Let's say you're lying on the sidewalk and having a heart attack. What do you want to do? Get to the nearest hospital so you have a chance at surviving? Alternatively, conduct a market survey to determine which option offers the best prices for cardiac care.

Market forces don't work for medical for many reasons. It begins with paying the shareholders dividends. That money should go to medical care. Same with C-suite compensation. Every time I hear of a medical system executive getting tens of millions of dollars in compensation, I think, "How many people could get medical care for that money?" $1 million in compensation is roughly equivalent to the annual healthcare premium for 65 people.

Then you have specialized clinics, such as MRIs or ENTs, which also have to generate their profits and pay their shareholders and CEOs. I'm reminded of the time I had to see a gastroenterologist, and the place I was recommended was an extremely well-furnished, high-priced luxury office, with a 15-foot-wide, 8-foot-tall aquarium filled with cichlids. Why were they pissing money away on fancy furnishings and an expensive-to-buy and maintain aquarium instead of using the money to take care of patients?

We have sufficient experience with financial engineering in other industries to know that applying financial rules to the medical environment is likely to result in worse patient outcomes and a higher concentration of wealth for a few.
by FollowingTheDao | 2025-07-21 14:24:46+00:00
"Advocates say tokenization is the next leap forward in crypto and can help break down walls that have advantaged the wealthy and make trading cheaper, more transparent and more accessible for everyday investors."

They LOVE playing this game. "We are doing this so you can now be the whale you always dreamed you would be!" But mean while they cut you to shreds with fees.
by n20benn | 2025-07-21 14:24:53+00:00
The same is happening in the Computer Security academic research realm. All of the four top conferences (USENIX Security, ACM CCS, IEEE S&P, and NDSS) have instituted a submission cap--you can't have your name on more than 6 papers being submitted in a given cycle. This has all happened within the last year, likely due to the same GenAI abuse that puts undue burden on PC reviewers.
by pyrale | 2025-07-21 14:25:06+00:00
> Both OVHCloud and Scaleway have been around since 1999, yet haven't ever expanded their core engineering or product responsibilities outside France or the US.

Because their business hasn't significantly expanded outside of France, much like e.g. Hetzner hasn't significantly moved out of Germany? You should look at the gorilla in the room here.

> Cyberhaven

A company founded by Romanians and Ukrainians. Not surprising they have offices there. You should wonder why they became an american tech company.

On a more general note, this "What has Europe ever done for us/the US are our best friends" stance may be good as a bargaining stance when discussing among EU nations, but people have started believing it, and it's the bane of any serious discussion.
by storus | 2025-07-21 14:25:07+00:00
AFAIK X is owned by an American billionaire, not a Russian/Iranian one, so please don't pollute the argument with irrelevant strawmen. What we are seeing real-time is a failure/hack of representative democracy that serves only some extremely small, but well-connected minority at the levers of power that are willing to drive EU to the ground just to stay in power (see EU economic performance since 2008).
by 9rx | 2025-07-21 14:25:39+00:00
> The demand is still there

It's not, though. That's the whole political contention. That demand is, because of high prices, not at the levels the population want to see.

Demand is defined as having desire and willingness to pay for a good or service. High prices maintains the desire in most cases, but chases off the willingness. That's the whole point of having prices!

> Even when it costs nothing, there's always a limit to demand.

Now you're describing a (technical) shortage: A situation where an external mechanism prevents price from rising. In a functioning market, buyers will pay more to stave off demand. But if price is forced to remain lower than people have the willingness to pay (free, in your example) then there is no control mechanism to see people back away from demand.

But that's not a problem in the housing market. If you have the desire and willingness to buy a home, you will have absolutely no trouble finding a home to buy. Price is doing its job.

The problem is for those who only have desire. They are not part of the demand, but that doesn't mean they don't want their desires filled. Hence the political push to see an increase in demand. i.e. Enabling those with only desire to also find willingness by finding a way to lower prices (which means addressing supply).
by Arathorn | 2025-07-21 14:26:12+00:00
thanks :) we're still experimenting with whether to replace Element Web's engine with matrix-rust-sdk, or move Element Web's UI components over to the Aurora experiment and build an Element X Web. Given how well the Element->Element X transition is going on mobile (c.f. the rest of this thread) you can see why we're considering our options.

So, at the moment it's very much still a test balloon (and we've yet to find anyone to fund us to do an Element X Web anyway).
by bilbo0s | 2025-07-21 14:26:45+00:00
I like the part where the author advocates that cities step in and juice the construction of housing when the author says:

3. Financ[ing] entry-level housing locally by using the city’s position to unlock favorable financing without incurring unprotected financial risk.

while performing the patented Obi Wan Jedi Hand Wave I would think.