skysight-inc/HackerNews huggingface dataset:
> Now, let's say you split the function in two parts and you find their minimums independently. Optimal substructure tells us that if you just merge these two, you'll get the minimum version of the whole function.

Optimal substructure doesn't tell us this. I don't know whether or not this problem has optimal substructure, but even if it did, it still wouldn't tell us this.

Optimal substructure means it is possible to construct an optimal solution from optimal solutions to its subproblems; it doesn't mean that optimal solutions to arbitrary pair of subproblems (that compose to form the complete problem) can be used to form an optimal solution, which is what I understood the quoted section of the article to be saying.
That effort died about 14 years ago.
The goal here is not to claim that it is faster, though (it isn't, in a lot of other things it is slower and if you run cargo bench you will see)

It is to highlight that we already reached a good level of performance this early in the project.

Your claim about the programming language having no impact is just false, though. It's exactly what people said back in 2015 when we released Scylla. It was already false then, it is even more false now.

The main reason is that storage is so incredibly fast today, the CPU architecture (of which the language is a part) does make a lot of difference.
A side topic: is there a nice big extensive free test suite for sql, for people interested in making toy databases to use?
Would Game Programming Patterns help someone who wants to build a slot machine? I’ve built a wall mounted machine for my home but I never got the software side done. I think a book could help but most of them cover very different mechanics these days.
Already posted.
I use jj and zed. More appropriately, I happen to use jj and I also happen use zed, and I never really think about them together. All repo-level work I do with the cli. The only thing I really care about in-editor is recency on a line level, and since jj uses git, zed has no problem showing line-level metadata. There is a slight difference because of jj's stage consolidation, but I don't find that to be a problem, since there's not much of a difference between a line in a staged file vs a line in the working tree.
Gobaith, an open source mood tracker for developers
It's always a refreshing reminder of my privilege seeing how many barriers certain people have to just buying/receiving a computer- shipping into a country, dealing with getting money into a country, using a credit card, etc.

Also, a lot of people say the world is getting worse, but computers and the internet are slowly but surely spreading to many people who wouldn't have had access even 5 years ago.
Festival-goers can just pay for their food direct as well?

Sorry, I don't understand your offering at all and the questions just sort of keep coming!

I see you combine payments, but I'm struggling to see the real-terms benefit over a tap-payment (card, watch or phone)? For a food stand, it would seem, not taking the money directly is a relatively large potential liability. Is the point to enforce a contract between vendors and the festival?

Does the festival pay the food stands [something] up front?

How's your liability insurance? Or do the festivals underwrite you for when Amazon/wifi is down and no-one can pay for their meals? (I did see you tout live updates, so transactions must be networked)

Sounds easy to abuse (show someone else's code?), have you had much fraud?

You're in USA? Did you need a banking license?

Small festivals in UK would be 4-8000 people, say; average food spend is probably £20+ per day -- are you carrying a debt to food providers for £500,000+ over a long weekend (consolidating payments)?

Fascinating.

Do you do non-food transactions too - souvenir stands, onsite shops, [festival] activities? Like some festivals include a number of tokens and you can buy activities with them at the festival.
Does Humiris offer built-in tools for model drift detection when combining LLMs
see I think some shades of pink are more of a weird red purple? like fuchsia and magenta have a different tone.

I believe what we call "bright pink" is kinda weird wavelength wise anyway though, I remember old YouTube essays about it.
The convolution by FFT overlap and save can have very low intermediate storage (none on GPU with cuFFTDx for example). And most of the time, the IFFT doesn't have to happen right away, lots processing can still be performed in the frequential domain.

Having each of 18k CUDA cores of a L40s perform small 128-points FFTs and with very little sync or overlap manage long filters... is pretty efficient by itself.

There's a lot happening in the HPC world on low-rank (what you're intuiting with PCA), sparse and tiled operations. I have a hard time applying all this to 'simple' signal processing and most of it lacks nicer APIs.

I've seen lots of interesting things with 'irregular FFT' codes and working on reducing either the storage space necessary for FFT intermediate results, sometimes through multi-resolution tricks.

Look up Capon filters and adaptative filtering in general, there's a whole world of tricks there too. You might need a whole lot of SVDs and matrix inversions there...

Bust mostly if you're on a GPU there's a wealth of parallelism to exploit and work-around the 'memory-bound' limits of FFT-based convolution. This thesis https://theses.hal.science/tel-04542844 had some discussion and numbers on the topic. Not complete but inspiring.
That previous comment is a "tell me you've never been declined for a financial service before without telling me" kind of thing; I had to shop for a week to find a bank that would give me a checking account.
Isn’t the chips act $250B? I suppose it the depends on how you count and compensate for price level.
Is your company a member of the SQLite Consortium? https://www.sqlite.org/consortium.html
Please do! My email is on my profile.
It is not a win. In a recent study, Robinhood with Citadel has the worst price improvement (execution quality) of any brokerage on the market. I’ve personally observed this - Robinhood might “improve” by 1/10 of a cent from NBBO while Fidelity is frequently closer to the mid.
I disagree. AI used thoughtfully as a tool can potentially allow a mathematician or scientist to progress further and see more beauty. I'm also a mathematician by training and I've realized that a large part of my love for math was/is the process of solving a problem by my own wits. AI does take that away somewhat, but that's not really the important part of maths for society as a whole.
Will you release the code into the public domain, like SQLite?
Valkey maintainer here. ¯\_(ツ)_/¯

I worked with antirez a bit before he left the project in 2020, and I still look fondly back on that time since he was a wonderful person and he helped me learn a lot. I wish he had considered coming to work with Valkey instead of Redis, but maybe we'll find some some way to work together that benefits both communities.
I’d like to try it! I’ll write you in the next days
Hey folks, author here. I'm really happy the article has gotten such attention. I hope it's good attention and that you folks learned something! Unfortunately, though, it's _very_ hard to keep track of all the comments in HackerNews. So, if you have a comment you'd like me to reply to and I haven't, please either use the Reddit post: https://www.reddit.com/r/Compilers/comments/1hapetl/common_m...

or head over to my website: https://sbaziotis.com/ for more contact info.

Best,
Stefanos
Probably a stupid question, but why is it not possible for a browser to ignore cookies from a site where the user chose 'Do Not Track' then that's it, they can't have cookies, can't log in e.t.c alternatively a few white labeled cookies can be agreed upon as a standard e.g just to support maintaining logged in sessions
I thought crocodiles counted? They are related to birds, but clearly are not birds.
obligatory mention of "analogue literals": http://web.archive.org/web/20110714020203/http://weegen.home...
Wouldn't your argument be far more defensible if it wasn't dripping with a siege mentality and provocative, yet unfalsifiable claims? Youre a step away from claiming that the children yearn for the mines.
It's because the audiences for each are different. The audience of programs are CPU cores that have a well defined set of behaviors. An i7 isn't going to one day decide it doesn't like the SHL instruction or offended by having to perform too many MOVs.

The human by comparison is more taxing to write for as your brain is the compiler and checker for the instructions of your language. You write, proof read, correct, proof read again, correct more, delete, re-write, etc. I get why AI tools for writing are in high demand. Hell, sometimes I spend what feels like forever writing some of the comments here on HN as I have to compress a lot of thought into a few, clearly written sentences.
I used to work as a Night Counselor at a school for boys.

The biggest stumbling block for lower-income students was their utter disdain for higher-learning or any sort of success which wasn't glorified in rap because that and sports figures were the only successes which they were regularly exposed to in popular media --- the gifted student who had gotten the scholarship and escaped the ghetto was not in general going back there to conduct business or practice medicine or teach.

A program where inner city students were required to return to their communities and work to improve them in order to receive their scholarship is about the only way out I can envision.
I don't see how the physical constraint matters of you can't observe it with a performance penalty. I don't really know if that's the case but that is what the person you are replying to is implying.
Spreading a little mischief :)
Profit is the spread between what something is sold for and what was paid for it, so it's not always true. One can look at what similar flights costs in Canada and come to the obvious conclusion that air canada et al are bad at being airlines and are way overpaying for everything to drive much higher ticket prices while having better profit margins that are still terrible.
Thank you!!!! As a founder and developer I usually look at our product with a critical eye. Encouragement like this is really nourishing.
Hilarious. To get a pittance we need to open ourselves to yet another vector for a leak.
I haven't followed up in a while, but last I did the research indicates that digital media generally underperform good old-fashioned print books in terms of learning outcomes.

They're certainly more enjoyable and easier to breeze through, which is a large factor behind their popularity. But I suspect that that might also be why they're less good for learning. Cognitive load is an important factor in forming strong memories of things you're studying, and optimal levels of cognitive load are inherently uncomfortable.
Beg your pardon - does update it. But I got a refresh button, and not updated. Confused.
I've been using your app for the last 3-4 months very successfully. There are a few niggles here and there but overall it's been exactly what I needed, and I'm very grateful for it!
I guess we can look forward to a new "unbundling" campaign like they tried with video streaming services, targeting a paid umbrella subscription that covers multiple sites.
> optimise the whole healthcare for profit.

I don’t understand what this means. A group of doctors get together and open a business offering their services, and they distribute profits into their bank accounts. Or a dentist, or an optometrist, or a podiatrist.

Why would 99% of people do this work if they cannot profit?

> A decent compromise is what most countries do, which is that citizens pay a fixed sum for health insurance which covers most of the basic expenses.

That is just health insurance with $0 deductible/copays. Some US employers do offer this, and some even pay 100% of the premiums.

But these plans don’t sell well to the broader public, because most people would prefer (or can only afford) a lower premium and accept the volatility of having to spend a few hundred or a few thousand before insurance kicks in.
Controls should be matched for people that end up being equivalently skilled pilots, unless we are supposed to pretend that those capable of being elite fighter pilots have the same brains as those that aren't.

https://news.ycombinator.com/item?id=42379879
How does this test account for age? 4th grade is different in different countries.

Is anonymized data available?
...as long as you can persuade the keepers of the proprietary test suite to agree to run it against your code.
I think your approach is reasonably ethical. I'm not all that concerned with ethics; rather the continued funding of the websites we like. One important element of your first hypothetical is that a donation model probably won't suffice, websites will need to be able to set their price based on their costs, so it can't be evenly split between the sites you visit.

So I think the experience would be like you add $5 to your browser, then as you visit sites it asks you either to pay a one time access fee or subscribe for continued access.

But this would be the case for every site, right, because they all cost money. I wonder how many distinct websites the average user visits and if they're willing to pay that many parties that much money.

I guess my conclusion here is that bad ads should be punished by some mechanism. Unfortunately making the most targeted, helpful (and they are helpful, by the way, when done right they show you something you like) ads often incentivizes bad ad production practices like data farming and data marketplaces. I think that has to be attacked legislatively or, in your example, by direct payment.

But I think the reality of an internet gated by payments is a bigger deal than people appreciate.

(PS Not that this is usually my line of argument, but it also has the unfortunate effect of tying someone's economic status to what they can access, leading to greater isolated groups and class hierarchies in content)
> “where else could the computation have happened, if it wasn’t being farmed out to parallel universes?”

Right. I’m definitely a layman here but as a CS generalist this rings out as narrow-minded to me, biased towards the way we designed physically and then mathematically formalized “computation”.

Not that I have anything against multiverses but.. if I had to choose between “Turing-style computation happened, but needed parallel universes to do so” and “what happened is something counter-intuitive and insufficiently understood about the universe we inhabit” I would bet on the latter.
I've been looking into using the last hidden layer of an off-the-shelf LLM to help my company with a classification task. The last hidden layer is obviously super rich in semantic information because it has to somehow tell the next layer how to generate the next token prediction. That final layer, in some respects, is discarding valuable context information that the final hidden layer encodes.

I am not surprised at all that Meta was able to generate some positive returns by feeding the last hidden layer back into the model auto-regressively.

The method of training they describe in the paper is really cool. Summarized in Figure 2, they train it with a corpus of step-by-step text instructions and then across multiple stages, they iteratively replace one of the textual steps with a last-hidden-layer embedding and see what the model spits out. The weights are then updated through cross-entropy loss as the additional text tokens are generated once again.

So they're basically rewinding the output, replacing an increasing number of textual steps with hidden state embeddings, and playing it forward as the model gradually learns to do all of its step-by-step thinking using just the hidden state data.

In a way, this might be how humans learn to think through language. Our parents teach us using words and our brain gradually replaces the words with thoughts until we can replicate the action or solve the problem ourselves without anyone guiding us with words.
> it is because our schools are underfunded

Do you have any data to back this up?

NYC spends about $40,000/student (including teaches benefits, or $23,000/student without benefits and capital expenses) on average and the results are, how do I put it, suboptimal. Schools in the London spend $9,000/student. The CoL between NYC and London is similar. So, how much more money should we pour into DOEs to achieve better results?

In other words: our schools fail not because of the lack of funding (on average, some probably are worse because they have no money), but for totally different reasons.
"sci-fi timeline" :rollseyes. Sonny, I had autocomplete > 10 years ago!
How much has Turso raised so far? Rewriting SQLite sounds like it may cost a sum.
Thanks, but that comparison is for old models, a different, non-shipped version of Devin called “Devin-base”, and doesn’t include Claude.

Slack integration, automatically pushing to CI, etc., are relatively low-value compared to the questions of “does it write better code than alternatives?”, “can I depend on it to solve hard problems?”, “will I still need a Cursor and/or ChatGPT Pro subscription to debug Devin’s mistakes?”
I pronounce this yeeroscopic
It's not an error at all, Simon! Because different setups in the past lead exactly to the scenario that you depicted. Examples: projects that requested signed copyright transfer for each patch (even GNU projects required this). But also what is more insidious is that very complex projects, while sometimes BSD or similarly licensed, were made completely proprietary (and not under the MongoDB / Redis circumstances, but just to turn proprietary for other reasons) but they were so complex internally that basically you can't do anything with the code, without paying like... 50 engineers to study it for six months. So it is an actual danger, but not in the case of BSD + projects that have an acceptable barrier to entry to be understood, fixed, modified, ...
This Week in Tech 1007: All the Hotdogs in the World [video]
We're living in an unfortunate time when people have been trained so thoroughly to hate institutions that they've lost basic understanding of how those institutions work. And how they still serve us, despite their flaws. The institutions have become nothing more than abstractions that can be rhetorically written off and replaced by either outsiders from the establishment, or in this case algorithms.
Seems worse than garden-variety AI slop. Seems loaded with fraud, defamation, and civic sabotage.

Hopefully, lawyers, law enforcement, and perhaps diplomats will rip apart the perpetrators.
I was told by a Microsoft researcher that it will unlock currently unsolvable problems in chemistry, weather modeling, materials science, fusion and plasma physics, drug development… the list went on but it was really long. Most advances he cited would result from improved simulations, iirc.

I don’t recall enough of the conversation (circa 2019) to remember anything about the properties of the problems it helps solve, so I can’t help generalize. Sorry.
I'm skeptical that we'd feel that way if Church didn't come first. His work defined the field and shaped the way we all think about programming in profound ways that make it very difficult to distinguish how natural one is over the other.
> We work exclusively on remote VMs that have no internet access.

Is this some kind of developer dominatrix fetish or something where people get off punishing themselves.

“You’ve been a bad boy! You used AI! No Internet for you”
> The impact is not very different as they grant billions in subsidies which they hope to recoup in tax revenues later

Yes, but it's not a CapEx investment (as in upfront capital taken out of a treasury and invested), and is subject to public notices so there at least is an auditable trail. And unlike China, municipalities and States in the US can directly raise capital via bonds.

> so I don't understand how this arrangement is any worse for Anhui than giving 5 billion in subsidies and tax credits as a US state would

Because that stake in one venture is 10% of Anhui Province's entire Revenue in 2022 - Anhui's total revenue was only $49B in 2022 but it's expenditures were $115B in 2022 [0]. And that's just one venture.

A provincial government like Anhui has invested in dozens (if not hundreds) of large scale ventures such as the legacy automaker JAC Group and Volkswagen China. While these amounts might not necessarily at the same amount as SMIC (excluding JAC Group and Volkswagen China), they are still fairly significant. And Anhui is a middle of the pack government in China - all provinces (as well as the local governments within provinces) themselves have actual CapEx on the line in ventures.

This is a significant risk, as local and provincial governments also have a duty and requirement to provide public services, and ventures not doing well can have an impact on the financial health of provincial and local governments, yet they still have the developmental indicators of Ecuador or Cuba. Spend those billions actually alleviating the urban-rural gap instead of acting as a wealth creation mechanism for much richer Beijing, Tianjin, and Shanghai, where most of Tsinghua Unigroup's CapEx is spent.

> This doesn't change my point that the investment into Unigroup directly led to YMTC which is a massive success

It does though. Even though YMTC was under the Tsinghua Unigroup umbrella, it's primary capital came from a separate government and remained autonomous of Tsinghua Unigroup, and Unigroup's larger failures impacted actual deliveries and roadmap items for YMTC [1]

[0] - https://data.stats.gov.cn/english/easyquery.htm?cn=E0103

[1] - https://asia.nikkei.com/Business/China-tech/China-s-Tsinghua...
If you want to contain it a bit and you don't have a metal-fire extinguisher, dump a bucket of sand or fine salt over it. Commercial metal-fire extinguishers are nothing more than a dozen kilograms of dry, fine salt and a special low-pressure nozzle that allows depositing a "layer" of salt on the burning metal fire that melts and thus contains the fire. However it's hard to keep dry enough that it doesn't aggregate over time, reducing the effectiveness.

Personally, I recommend anyone charging serious amounts of unprotected or questionably protected lithium cells in a residential structure to, first of all, not charge them while you are asleep, and to keep a 10-20 liter bucket of sand nearby. Throw it on the burning battery if you can (you should be able to hear the battery go off maybe 30 seconds before it does go off), then run for your life.
on that note: line numbers in Basic were a kludge, but they were a kludge which meant one could develop without even having a line, let alone a full screen, editor.
> You can also use it for running and debugging Python code.

Not limited to Python code.
We don't currently offer Roth IRA or 401K accounts, but once we do then yes it would be possible to transfer the account without changing the tax-advantaged status.
Cool. Redis in front of Postgres always brought peace-of-mind that will likely be welcome for the vector data use-case.

P.s.: Appreciate the llm command line tool.
Y Combinator Funded AI Firm's 'Stop Hiring Humans' Billboard Sparks Outrage
Dumb question: can someone explain the following?

Imagine a ball falling on the ground.

Simulating the O(10^23) atoms in each one with a classical computer would take (say) 10^23 times the amount of work of simulating a single atom. Depending on the level of detail, that could easily take, you know, many, many years...

We don't call the ball a supercomputer or a quantum computer just because it's so much more efficient than a classical computer here.

I presume that's because it can't do arbitrary computation this quickly, right?

So in what way are these quantum computers different? Can they do arbitrary computations?
You may now crawl back to your throwaway den from whence you came.

Their account is actually older than yours.