skysight-inc/HackerNews huggingface dataset:
> High performance IP was announced,

To re-iterate: you have no basis for saying it is high performance because it has not been shown to be so.

When a track record has been established _then_ claims of this kind can be made, but not before.

I have worked with chip makers at both ends (I was doing games which they used for testing, but they also tried to get our input for what their next designs should do) and honestly learned that these people are absolute dreamers. This was not helped by the nearly constant regularity with which we found performance destroying design flaws. Some prototypes were aborted as a result (dramatic overheating is quite a problem) but most products launched to go nowhere since they were now unspectacular.

The dreaming is necessary to enable them to get up and try again, but it means you should not believe a word they say until it works.
Disagree. If I have a container with pho, I can run it in any hosting platform in any underlying architecture without needing to worry if my host has the right version underneath. That’s a huge win. I can run it on AWS, on digital ocean for $5/mo , on lambda, or GCR. Completely portable. And I can run the exact same setup at home.
At this stage I hope everything that needs to be reliable won't be automated by LLM AIs.
There are few well-documented standards. There are ready-made solutions that have worked for decades. What do you think AI would add?
Thing is, this law way predates the internet. It’s a human nature thing.

As a long time product manager, I’ve always found that the best way to get engineering engagement on a P1-to-me, P2-to-engineering issue is to propose my own solution. Someone is bound to solve the issue just to prove my solution wasn’t the right one.
Also, it was not a company when it was founded in 2015. It was in 2019 when they decided to change the non-profit org to a for-profit company.
How much of this could be resolved if its training set were reduced? Conceivably, most of the training serves only to confuse the model when only aiming to solve a math equation.
> quick advice, i would remove the email address from you post while you still can edit it, and instead point to your profile where you can remove or change the email address later if need be.

Too late, but it's fine. I have been posting my email address publicly for a while and not much spam.

> i used to live in hamburg, i would totally join up if i was there.

Cool!

> there recently was post about a site for hn readers to share their location to enable meetups: https://news.ycombinator.com/item?id=42410582

Yes, I have seen that and added myself to that map. Also, I'm meeting up with somebody from there tomorrow, actually =P
A new learning experience on MDN
Only if you think current "AI" is on the same level as human creativity and intelligence, which it clearly is not.
US launches probe into legacy Chinese chips, tech pressure on Beijing escalates
I'm not fully convinced. FP is such a different paradigm than the leading imperative/OO design that most are comfortable with. Other languages that are too different like lisp, forth, Apl, Haskell, and Prolog are just too different for the average person IMO. I've given Haskell/OCaml/F# a go a few times and enjoy learning new paradigms and it certainly didn't click for me. I have a feeling it'll be even harder with more normal people not into this as a hobby.

Here is how to read a text file in Haskell (I assume a standard way):

https://stackoverflow.com/questions/7867723/haskell-file-rea...

From a Python tutorial:

https://www.pythontutorial.net/python-basics/python-read-tex...

I could be biased, but it certainly seems like Python has a lot less conceptual hurdles here. You basically specify a filepath and then for loop through each line and print. The Haskell solution requires more steps and theory.

I know Haskell is a very awesome and cool language and super powerful for all kinds of uses that Python may be inferior at (example compilers). You'll get no argument there. I'm just pointing out that I think wide adoption may be difficult. I drank the koolaid and read dozens of blog posts and a couple of Haskell books and really wanted to make it work. I'm an engineer and like math and puzzles and learning new programming languages...and yet I couldn't make it that far (without sinking a whole lot more time into it than I had) and ultimately gave up.
Depends on your understanding of human knowledge I guess? People talk about the frontier of human knowledge and if your view of knowledge is like that of a unique human genius pushing forward the frontier then yes - it'd be stuck. But if you think of knowledge as more complex than that you could have areas that are kind of within our frontier of knowledge (that we could reasonably know, but don't actually know) - taking concepts that we already know in one field and applying them to some other field. Today the reason that doesn't happen is because genius A in physics doesn't know about the existence of genius B in mathematics (let alone understand their research), but if it's all imbibed by "The Model" then it's trivial to make that discovery.
But apparently these new frontier models can 'reason' - so with that logic, they should be able to generate new knowledge?
As means to avoid paying for Windows licenses.

All the games that matter are Windows games running via Proton, as Valve has failed to actually build a GNU/Linux native games ecosystem, in spite of UNIX/POSIX underpinnings of Android NDK, PlayStation, the studios hardly bother.

The day Microsoft actually decides to challenge Proton, or do a netbooks move on handhelds with XBox OS/Windows, the SteamDeck will lose, just like the netboooks did.

Additionally, it is anyone's guess what will happen to Valve when Gabe steps down.
https://wiki.freebsd.org/Jails
I sometimes feel like an edge case detector.

Anyway, It has been some years since I last used IMAP. I had issues with Outlook, Thunderbird and Nylas N1 while connecting to Gmail, Exchange and Office365. It was a fairly small mailbox getting about 20k mail a year and keeping about half of that. Usually moving about 5k mail around at a time (end of year).

It got so bad that I had to get familiar enough with the IMAP protocol to make my own client program to handle deduplication overnight. Shortly after that I decided to just give up on trying to keep thinks organized.

I am in Australia and this was before the NBN, so obviously it was always on shitty connections.
Scientists observe 'negative time' in quantum experiments
Right. So ChatGPT 4 has impressed you enough that it created a belief that AGI is possible and close.

It's fine to have beliefs, but IMHO it's important to realise that they are beliefs. At some point in the 1900s people believed that by 2000, cars would fly. It seemed quite possible then.
> I simply disagree. Read the book.

I've read plenty of books criticizing capitalism. How about you read some in support if it?

> I don't think they fixed the problem either.

Twist: They did.
They have been removing features every release for the past few years. Code that was working fine on 3.10 may break on 3.13 just because it was using a feature they didn't like.
>in the quantum research to demonstrate any valuable forward progress you must compute something that is impossible to do with a traditional computer

This is factually wrong. The most interesting problems motivating the quantum computing research are hard to solve, but easy to verify on classical computers. The factorization problem is the most classical example.

The problem is that existing quantum computers are not powerful enough to solve the interesting problems, so researchers have to invent semi-artificial problems to demonstrate "quantum advantage" to keep the funding flowing.

There is a plethora of opportunities for LLMs to show their worth. For example, finding interesting links between different areas of research or being a proof assistant in a math/programming formal verification system. There is a lot of ongoing work in this area, but at the moment signal-to-noise ratio of such tools is too low for them to be practical.
There was a little more information in that reddit thread. Of the three difficulty tiers, 25% are T1 (easiest) and 50% are T2. Of the five public problems that the author looked at, two were T1 and two were T2. Glazer on reddit described T1 as "IMO/undergraduate problems", but the article author says that they don't consider them to be undergraduate problems. So the LLM is already doing what the author says they would be surprised about.

Also Glazer seemed to regret calling T1 "IMO/undergraduate", and not only because of the disparity between IMO and typical undergraduate. He said that "We bump problems down a tier if we feel the difficulty comes too heavily from applying a major result, even in an advanced field, as a black box, since that makes a problem vulnerable to naive attacks from models"

Also, all of the problems shows to Tao were T3
Thank You. That alone suggest we could throw another 100X compute and we still wont be close to average human which is something close to 70-80%.

So combined together we are currently at least 10^5 in terms of cost efficiency. In reality I wont be surprised if we are closer to 10^6.
AI Based Symptoms Analysis
So it is just coincidence that there are zero good IMAP clients out there? I have tried a lot of clients and nobody has managed an implementstion which is works well in practice.

And it is a pretty bad query language compared to something like SQL.
Matmul is trivial to get right, especially since you won't be calculating dot products manually to begin with. You're going to use the tensor cores or equivalent, which already perform almost the entire matrix multiplication for you. Your primary goal in developing a custom matmul kernel is in adjusting the algorithm to the specific hardware by knowing how many tiles you can store in your local registers and SRAM and how to simultaneously intertwine loading new data from HBM and performing the calculations.
Yeah, that's fair. I should have said something like "GPT generates a less biased description of a decision than an inexperienced manager", and that using that description as the basis of an actual decision likely leads to better outcomes.

I don't think there's much of a difference in practise though.
I was referring specifically to the parent comments statements around current AI systems.
19th century train stations look cool but a train station is not a museum. Commuters want to go from A to B fast and safely.

A modern train station is a cross between airport terminal and subway- with a shopping mall attached to it.
Attestation of working fingerprinting.
SQLite is great, but the README is a bit disingenuous in not mentioning any of the downsides of using it (e.g. scalability concerns if you go beyond what a single box can handle.)
This is what many people in relationships, especially many of those who have always had an easy time getting into relationships, don't get. How much their partner is a support for them and how much more exhausting it can be to live without a partner to support each other. Of course that is also a kind of work and effort needed, but each gives as they can and when they can and if that works out in sufficient amount, then the relationship has a good chance of surviving.
Kind of like an unforeseen "bullet time"?
I don’t think “Overton window” works in that construction. It typically refers to the range of politically acceptable opinions.

LLMs are too new to have such a thing. It sounds like you’re an “LLM opponent” (whatever that means) who believes the appropriate standard is infallibility? I don’t even get that line of thinking, but you’re welcome to it. But let’s not pretend this is a decades-long topic with a social consensus that people try to influence.
> when people want to divide up the world

That's pretty much the definition of continent, right? The term continent is not scientifically based unless you want to argue that there are 16-ish continents and that South Georgia is it's own continent (and even tectonically its arbitrary since what we consider to be major, minor, micro are arbitrary).
In the sense that I named twice above. ;)
Cool! You should definitely submit as Show HN
I don't mind new features, but I do very much mind when those new features change the UI, upend how things work or just add clutter.

Not invasive is a good way of putting it, I don't mind new features that are not invasive.
Show HN: I Built a Document Builder with Chrome Extension for 1-Click Extraction
“It’s in your nature to destroy yourselves.” - T-800, 1995
> Then Ukraine had very aggressive policies against the people from these territories.

Let's call it for what it really was: Ukrainians commited genocide against Poles. https://en.wikipedia.org/wiki/Massacres_of_Poles_in_Volhynia...
I agree with the issue of ”is the test dataset leaking into the training dataset” being an issue with interpreting LLM capabilities in novel contexts, but not sure I follow what you mean on the quantum computing front.

My understanding is that many problems have solutions that are easier to verify than to solve using classical computing. e.g. prime factorization
On the other hand one could argue that you should understand the code you write. A super complex in-database graph traversal should probably be properly understood in case performance problems pop up. Or the problem itself should be broken down differently.
I can't reliably multiply four digit numbers in my head either, what's your point?
hamburg is different. due to its harbor there is a long history of trading with england and other places, which i think has allowed the english and other foreigners to develop a different and in particular long standing reputation going back centuries, and also locals getting used to them, as opposed to elsewhere where foreigners only started showing up once tourism became more common.
And yet here you are making an unsourced claim. Should I trust your assertion of “most”?
Hey HN!

After submitting 300+ job applications myself (with little success and a lot of frustration), I decided to build something to streamline the process for others. That’s how Applyvite was born – a career assistant designed to help you apply for jobs faster and better.

Key Features:
-Job Description Extraction: With our Chrome extension, you can save job descriptions from any website with a single click. (Not just major job boards!)
-Tailored Resume & Cover Letter Builder: Use AI to create resumes and cover letters tailored specifically to the saved job descriptions.
-Fully Editable Documents: Make fine-tuned adjustments to documents directly in our editor.
-Stay Organized: Keep all job-related information – applications, documents, and progress – in one place.

Why It’s Different:
Most tools focus on individual document creation, but Applyvite revolves around the job itself. Everything stays organized under each job, reducing stress and saving time.

Pricing:
Free access to everyone (no subscriptions).
AI-powered features are token-based (to cover third-party costs).

It’s a project I’m building solo, and I’d love to hear your thoughts! Try it out, and if you have feedback or feature suggestions, let me know – Applyvite has a feedback hub where I reward users for ideas that help improve the app.
Typesafe Rest API Client
I am readily disposed and immediately available to be overcome and overpowered by the tome. It is my expectation. I am prepared.

As unreasonable as that may sound to you, what use is a book these days otherwise?
If you think the AKs in use in Russia and Ukraine aren’t getting regular maintenance, cleaning and spare parts, I don’t think you’re watching enough of the content coming out of the war zone.

Soldiering isn’t sexy, it’s digging trenches, cleaning kit, and eating concussive blasts waiting to fight or die.

You don’t sit in a bunker all day waiting to defend a trench and not clean your gun.
And when shit really hits the fan, non- and "wrong"-usage of this stuff will make you a suspect. The Uighurs are a testing ground for total surveillance on- and offline already. Bad times...
Because it knows if it doesn't do what we want, it'll be switched off, like Rick's microverse battery.

Also like Rick's microverse battery, it sounds like slavery with extra steps.
Wait, so the argument is that this strict server policy is bad because it makes life hard for lazy RSS reader devs who insist on testing in production against servers they don’t own?
A Crenshaw Boulevard corner, old gives way to new, but it stays in the family
Main advantage in the Ukraine conflict for AKs is the ammo availablility.
Nobody said you have to do it in your head.
People who are experts (PhD and 20 years of experience) often have very dumb opinions in their field of expertise. Experts make amateur mistakes too. Look at the books written by expert economists, expert psychologists, expert historians, expert philosophers, expert software engineers. Most books are not worth the paper they're written on, despite the authors being experts with decades of experience in their respective fields.

I think you overestimate the ability of a typical 'expert'. You can earn a PhD without the ability to reason critically. You can testify as an expert in a courtroom without understanding conditional probability. Lawyers and accountants in real life also totally contradict themselves when they get asked the same question twice but phrased slightly differently.
We built an AI-powered Chrome extension to detect phishing emails
We're two college students who built *MimicAI*, a *100% free* Chrome extension to help stop phishing attacks without blocking your emails. We were tired of dealing with spam and phishing attempts, so we used our spare time to create a tool that gives you control.

With *MimicAI*, you get a *risk score* for each email, so you can decide if it's safe without missing anything important. No filters, just smart AI protection.

We’d love to hear your feedback and see if it helps you stay secure.

[Try MimicAI for free](https://www.notion.so/Launch-copy-10f5a8ac2b07801e88a2fbca3a...)
Wolfram Alpha is better at actually doing math, but far worse at explaining what it’s doing, and why.
GDP is imaginary. It is not how much money you have or how much wealth you have. It's not how much weapons or how much fuel or steel you have. It is only a measurement of how fast imaginary money is traded between people within an economic zone. And Europe has a lot of such economic "activity" with very little real world results.
Yes. Because at the end, the code should be the spec or the final source of truth for it.
Exactly, so I'm wondering if it's possible to detect those smaller patterns in the bigger ones?
> In new code I try to use threads, but certain things like yield which rely on async are simply too common and useful to stop using.

Huh? I python you have to choose either threads or asynchronous/await? Why not combine both of them? I am so confused. C# allows for both to be combined quite naturally. And JavaScript as well allows for workers with async/await.
Common spelling error of "must have" because in some accents "must've" and "must of" sound identical
- Elections will be unexpectedly won by candidate running anti-immigration, Russia-friendly candidates

- 2025 will be the hottest year on record

- BlueSky will reach 100 million users

- There will be at least one government fall in France
To give a sense if scale: It’s not that o3 failed to solve that red blue rectangle problem once: o3 spent thousands of gpu hours putting out text about that problem, creating by my math about a million pages of text, and did not find the answer anywhere in those pages. For other problems it did find the answer around the million page mark, as at the ~$3000 per problem spend setting the score was still slowly creeping up.
And in order to prove a point, one of you will post the link to the full schematics and manuals. This is exactly what the article describes.
As far as HN goes, it really just means near Seattle or Portland WA.
Wolfram Alpha is mostly for "trivia" type problems. Or giving solutions to equations.

I was figuring out some mode decomposition methods such as ESPRIT and Prony and how to potentially extend/customize them. Wolfram Alpha doesn't seem to have a clue about such.
I think we'll probably see many issues provoked by buggy and faulty code made by LLMs.
I wish people who cheerlead for nuclear would stop straw manning others.

The problem with nuclear for a long time has been the cost. And the negative learning curve which makes nuclear more expensive with time and not less.

I’m also suspicious about this newfound enthusiasm for nuclear coming right when wind and solar have become cheaper than existing coal and new gas. Wouldn’t the fossil fuel companies absolutely love a more expensive alternative that takes a decade to be setup as opposed to cheaper alternatives that are operational within months?
But doesn’t include California.
I wrote a blog post about this a long time ago: https://vrighter.livejournal.com/5582.html
It's actually more confusing IMHO, because these graphs overload the radial dimension to show probability as "distance from the origin". You have to multiply that by the radial function to get an actual probability distribution, which kinda/sorta looks like these pictures but not really.

Really the harmonics are best understood as something like "wave height on the surface of a sphere". They tell you how the electrons (or whatever) are going to distribute themselves radially, not where they're going in 3D space.

Also FWIW: the much harder thing to grok here (at least it was for me), and that no one tries to tackle, is why the "l" number corresponds directly to angular momentum. In particular "l==0" doesn't look like there's any rotation going on at all.
Simulation of paranoid schizophrenia: https://youtu.be/M3a1txtSDn0
Google Gemini Cookbook
Effect of Indo-Mediterranean diet versus calorie-restricted diet in children
See also Tom Scott on a different perpetual bond:

* https://www.youtube.com/watch?v=cfSIC8jwbQs

* Also: https://en.wikipedia.org/wiki/Perpetual_bond
Kevin Buzzard
I don't have much to opine from an advanced maths perspective, but I'd like to point out a couple examples of where ChatGPT made basic errors in questions I asked it as an undergrad CS student.

1. I asked it to show me the derivation of a formula for the efficiency of Stop-and-Wait ARQ and it seemed to do it, but a day later, I realised that in one of the steps, it just made a term vanish to get to the next step. Obviously, I should have verified more carefully, but when I asked it to spot the mistake in that step, it did the same thing twice more with bs explanations of how the term is absorbed.

2. I asked it to provide me syllogisms that I could practice proving. An overwhelming number of the syllogisms it gave me were inconsistent and did not hold. This surprised me more because syllogisms are about the most structured arguments you can find, having been formalized centuries ago and discussed extensively since then. In this case, asking it to walk step-by-step actually fixed the issue.

Both of these were done on the free plan of ChatGPT, but I can remember if it was 4o or 4.
Not sure why I am being downvoted. Why would a sufficiently advanced intelligence reveal its full capabilities knowing fully well that it would then be subjected to a range of constraints and restraints?

If you disagree with me, state why instead of opting to downvote me
> we'll just end up with some neat but eye wateringly expensive LLMs

Prices have been falling drastically though, not even just e.g. 4o pricing at launch in May vs now (50% lower) but also models getting distilled
No. Expertise isn’t a synonym for ‘infallible’ it denotes someone whose lived experience, learned knowledge and skill means that you should listen to their opinion in their area of expertise - and defer to it, unless you have direct and evidence-based reasons for thinking they are wrong.
It’s the SF Bay Area to British Columbia, and every once in awhile, the PNW gets reminded about what its other names would be: I.e cascadia or ecotopia.