skysight-inc/HackerNews huggingface dataset:
I've put the part about Pope Gregory (and St Paul Basilica) at the St Paul basilica in Vatican. Was punished by not putting it in Rome (where by "Rome" the game probably meant "whatever the meaning is in the underlying map engine").

The Alaska sale is in DC? One of the videos has the exchange of the flags on the post.
Naive RAG is dead – long live agents
Please elaborate on what you think the issues will be? Why read documentation when you can simply ask questions and get better contextualised answers faster? Whatever edge issues manifest they will be eclipsed by greater productivity.
Bats Shrug Off Viruses and Rarely Get Cancer (2023)
> These were not "colonial possessions". For example, Britain had colonies.

Would you define Ireland as a colony? It preceded all other British colonies and they used very similar methods to those that the USSR did in its “colonies”, confiscation of land, population replacement, (indirect or direct ) genocide etc. etc.

> which you certainly won't do

If you actually did that would you mind sharing that data?

Of course there is very little accurate data available (due to obvious reasons) and we have to use proxy indicators but still.. can you actually provide any meaningful statistics besides anecdotal claims about a single Soviet state?

> you may not be aware

A lot of projection going on here..

Also I really can’t understand at all what are you trying to say in your last paragraph.
Yes that's what I wanted to know, in particular I use DuckDB with DBeaver all the time to explore/play with parquets and other stuff - why would I prefer their new UI?
Project Europe
I had never thought about that - I guess the privacy cuts both ways.
Oh, heck. We didn’t need AI to do that. That’s been happening forever.

It’s not just bad optics; it’s destructive. It discourages folks from learning.

AI is just another tool. There’s folks that sneer at you if you use an IDE, a GUI, a WYSIWYG editor, or a symbolic debugger.

They aren’t always boomers, either. As a high school dropout, with a GED, I’ve been looking up noses, my entire life. Often, from folks much younger than me.

It’s really about basic human personal insecurity, and we all have that, to some degree. Getting around it, is a big part of growing up, so a lot of older folks are actually a lot less likely to pull that crap than you might think.
If you're not hiring a designer, someone else ends up doing their job instead. Someone, whose pay is probably 5-10x higher.

You don't even need them on the team permanently, commission a design or a review of the existing one.

Perhaps I'm biased. Graphic designers are dirt cheap. From our perspective, UX crowd is full of underqualified people looking for easy tech money. I can see how it can make hiring far more complicated.
Yes I definitely concur, I have spent significant time with it.

The main bottleneck is having the libraries that define the theorems and objects you need to operate at those levels. Everything is founded on axiomatic foundations and you need to build all of maths on top of that. Projects like mathlib are getting us there but it is a massive undertaking.

It’s not just that it is a lot of maths to go through, it’s also that most maths has not really been proven to this degree of exactitude and there is much gap-filling to do when trying to translate existing proofs, or the reasoning style might be quite distant to how things are expressed in Lean. Some maths fields are also self-consistent islands that haven’t been yet connected to the common axiomatic foundations, and linking them is a serious research endeavor.

Although Lean does allow you to declare theorems as axioms. It is not common practice, but you can skip high up the abstraction ladder and set up a foundation up there if you are confident those theorems are correct. But still defining those mathematical objects can be quite hard on its own, even if you skip the proving.

Anyways, the complexity of the Lean language itself doesn’t help either. The mode of thinking you need to have to operate it is much closer to programming than maths, and for those that think that the Rust borrow-checker is a pain, this is an order of magnitude more complex.

Lean was a significant improvement in ergonomics compared to the previous generation (Coq, Isabelle, Agda…), but still I think there is a lot of work to be done to make it mathematician-friendly.

Most reinforcement-learning AI for maths right now is focused on olympiad problems, hard but quite low in the maths abstraction ladder. Often they don’t even create a proof, they just solve problems that end with an exact result and you just check that. Perhaps the reasoning was incorrect, but if you do it for enough problems you can be confident that it is not just guessing.

On the other side of the spectrum you have mathematicians like Tao just using ChatGPT for brainstorming. It might not be great at complex reasoning, but it has a much wider memory than you do and it can remind you of mathematical tools and techniques that could be useful.
Software using the win32 graphics primitives is just so incredibly fast. If it looks like those, there is of course still the possibility that it wastes time elsewhere (or in an exact simulation of those looks), but it might also just be the real thing, as instantaneous as the old "just load a file into the text control, \n without preceding \r be damned!" notepad. (I miss having that notepad, it was so properly being just what it was, without any pretentions of being something different)

I think I saw a notepad reimplementation in assembly once: half a screen (or what felt like half a screen) of glue code to plug the file access into the text control, might have even had the ctrl+h menu and dialog. Just like the glue code python prides itself of, only that it was straight assembly, zero dependencies except for the DLLs for file access and the bare bones standard control set.
Apple has already done that to iPadOS. It's not the best either. Honestly if they just let you run a full speed Mac VM, even if it was only while a KB/M was attached it would be a massive massive improvement.
How does this make sense when you can put any book inside of an LLM?
>you can't just reduce spending by firing swathes of people Twitter style.

mozilla probably could.
Rest in peace sweet prince. I'll never forget this discovery, it was probably my first realization that whatever is possible technically is most likely being done somewhere to exert power over people.

And in this case most people in tech knew you could split a network backbone, and if you can do it then most likely someone is doing it. But Mark actually brought it into the light.

And that's what we can't forget in 2025, that whatever is possible technically is most likely being done by someone somewhere. Today it would be using AI to oppress people, track citizens, predict crimes, accuse people of crimes they might commit, or whatever your imagination anchored in technical reality can picture.
I've been interviewed by podcasters using Riverside a bunch these last few months, and it just wouldn't load on Firefox and would scream for Chrome (and the latest Chrome version, at that). I had to use Brave in the end.
It can go either way. A top-down company can be interested or disinterested in culture. Some would argue that for a company to affect disinterest is an active and consequential choice. Consider the "bring your whole self to work" touchy-feely open-plan Valley startup vs a trad IBM-style cube farm. The latter is arguably more accommodating of genuine oddballs, for "good fences make good neighbours" kind of reasons.

As regards pivoting, think about it like a joint having freedom of movement on more than one axis. You want to keep flexibility in as many as possible, but also straight-line speed/strength/efficiency. Somewhere there's going to be a trade-off. A genuinely diverse team (I don't mean just "ticking all the DEI boxes", but profound differences in background and life experience) takes longer to find their groove than a bunch from similar social backgrounds, but they'll have insights that a "TV sitcom cast"-looking team never will.
He's right though. The way to get clients long term is to have a better product. Competing in marketing against Google is a terrible idea considering their main business. Firefox should just be a better, more user friendly product because that's the weakness of Chrome, especially now that they're actively messing with adblocking and they're focusing on everything but developing the actual product.
> It writes blocks of 50 - 100 lines fairly fast in one go, and I work in such block chunks one at a time.

How many lines of natural language do you have to write in order to get it to generate these 50-100 lines correctly?

I find that by the time I have written the right prompt to get a decently accurate 100 lines of code from these tools, which I then hage to carefully review, I could have easily written the 100 lines of code myself

That doesn't make the tool very useful, especially because reviewing the code it generates is much slower than writing it myself

Not to mention the fact that even if it generates perfect bug free code (which I want to emphasize: it never ever seems to do) if I want to extend it I still have to read it thoroughly, understand it, and build my own mental model of the code structure
> I don't think is poetic rather it is broken.

No, it is not. You are merely unfamiliar with this sentence construction.

https://www.collinsdictionary.com/dictionary/english/fix-a-g...

https://dictionary.cambridge.org/thesaurus/fix-one-s-gaze

https://idioms.thefreedictionary.com/fix+his+with+a+gaze
The sayings about power corrupting date back to time immemorial. It's easy to say something is wrong (or right) when you are in no position to meaningfully impact, or be impacted, by what you're speaking of. It's another altogether different thing when you are in a situation to define the limits of your own powers, or that which even might affect you.

This, in many ways, is what made the Founding Fathers so unique. They were in a position to grant themselves effectively any and all powers they might ever desire. Yet instead, they sacrificed all of that in pursuit of a more free and just society, in many cases to their own detriment. In modern times I do not think there's any real comparable examples. Instead it's just endless power accumulation, tempered only by the oft liminal protest of the citizenry.
Anatomy of an O1 Prompt
Based AI. This should always be the response. This as boilerplate will upend deepseek and everything else. The NN is tapping into your wetware. It's awesome. And a hard coded response could even maybe run on a CPU.
Well obviously but the idea is that if tariffs achieve their intended purpose (i.e. increase local production and competitiveness) those costs incurred by the consumers are at least partially compensated through higher wages.
I saw this post from a professor this morning:

https://x.com/lxeagle17/status/1899979401460371758

Students are not asking questions anymore.

Small assignments work well!

But then the big test comes and scores are at an all time low.
And is paid like one with today's token costs!
Robust agents learn causal world models
> Your blend of comment was also directed at the likes of Google and StackOverflow. Apparently SO is not a problem anymore

And it kind of was a problem. There was an underclass of people who simply could not get anything done if it wasn't already done for them in a Stackoverflow answer or a blog post or (more recently and bafflingly) a Youtube video. These people never learned to read a manual and spent their days flailing around wondering why programming seemed so hard for them.

Now with AI there will be more of these people, and they will make it farther in their careers before their lack of ability will be noticeable by hiring managers.
Get another job
> Subjective of course, but I just think it's a bad sentence.

IDK, you could just look up the idiom that you are unfamiliar with? So that next time you come across it, you are better informed.

https://idioms.thefreedictionary.com/fix+his+with+a+gaze

https://www.collinsdictionary.com/dictionary/english/fix-a-g...
The actual intelligence in artificial intelligence is zero. Even idiots can do better than AI, if they want. Lazy idiots, on the other end...
If it's been indexed by a Web search engine surely it's in a training dataset. The most popular Web search engines are the least efficient way of finding answers these days.
Linux Kernel Patches for the Eswin EIC7700 SoC and SiFive HiFive Premier P550
Snowden explained it well. There were four other whistleblowers besides Snowden and Klein.

(1) Russ Tice: USAF intelligence analyst

(2) William Binney: NSA Technical Director.

(3) Thomas Tamm: DOJ lawyer

(4) Thomas A. Drake: senior executive at NSA

Each of them was a senior position relative to Snowden and Klein and all these cases were shut down. What change Snowden had to do traditionally by the book whistleblow or tiny traditional leak. He made the conscious decision to take the information so that they could not shut him down, and make a scene from outside the US (Hong Kong) so that there would be time to talk to the press.

Snowden made a political crime that was morally justified. It was not self serving. It turns out that Americans don't care but at least he made a splash.
No one with this mentality has any business working with code ever

Even the writers of Star Trek, a fictional fantasy show with near-magic super AI, understood that the Engineers would eventually have to fix something the AI couldn't, without the AI helping them
Predicted way back in 1971 in the classic movie “Willy Wonka and the Chocolate Factory”!

One of the many hysterical scenes I didn’t truly appreciate as a kid.

https://youtu.be/tMZ2j9yK_NY?si=5tFQum75pepFUS8-
It's all good fun until someone is unexpectedly adversarial to the technology.
You think it is done by holding feminist AI conferences in Africa?
For perceptual color difference, there are much better metrics than “distance in linear RGB”. CIE has some implementations of a metric called ΔE*, for instance.

I don't know if they actually do well in dithering, though. My experience with dithering is that it actually works better in gamma space than trying to linearize anything, since the quantization is fundamentally after gamma.
As opposed to studies in the US, which are of course applicable universally.
This is probably coming from the safety instructions of the model. It tends to treat the user like a child and don't miss any chance to moralize. And the company seems to believe that it's a feature, not a bug.
I recently interviewed a candidate with a degree in computer science. He was unable to explain to me how he would have implemented the Fibonacci sequence without chatGPT.

We never got to the question of recursive or iterative methods.

The most worrying thing is that the LLM were not very useful three years ago when he started university. So the situation is not going to improve.
Yup. My initial response was simply, "Now it's getting somewhere."
It's about putting together individual pieces of information to come up with an idea about something. You could get 5 books from the library and spend an afternoon skimming them, putting sticky notes on things that look interesting/relevant, or you could hope that some guy on Youtube has already done that for you and has a 7 minute video summarizing whatever it is you were supposed to be looking up.
Show HN: Joblist.today – companies hiring open database (in SQLite and Git)
When I see juniors using LLMs, you cannot have technical debt because everything is recreated from scratch all the time. It's a disaster and no one learns anything, but people seem to love the hype.
The problem is that those “id” names have nothing to do with what they’re pointing at.

“EnterpriseAppId” and “AppRegistationId” would make sense.

ObjectId is meaningless nonsense. Everything is an object! Everything has an Id! This tells you nothing specific.
Is GenAI after gen alpha? I think it depends on whether agents become a thing. Assuming agents become a thing before the end of this decade, we could see a divide between people born before we had ai agents and after.
People said that about the internet as well. These kids don't even find the right books in a library!
These kinds of answers are really common, I guess you have to put a lot of work in to remove all those answers from training data. For example "no, I'm not going to do your homework assignment"
Claude API vs. Claude pro (web UI): which one do you think is better and cheaper
I asked it once to simplify code it had written and it refused. The code it wrote was ok but unnecessary in my view.

Claude 3.7:
> I understand the desire to simplify, but using a text array for .... might create more problems than it solves. Here's why I recommend keeping the relational approach:
( list of okay reasons )
> However, I strongly agree with adding ..... to the model. Let's implement that change.

I was kind of shocked by the display of opinions. HAL vibes.
Why aren't we all getting rich from compound interest? [video]
The end never justify the mean, that's how you end up with concentration camps, massive executions and other atrocities.

Beside, killing without distinction combattant and civilians didn't work, see the result of the American Afghanistan war.

Even during the war, 99% of the country was to the hand of war leaders and talibans because everyone hated Americans. Guess why.

It took only a handful of days for Talibans to defeat the American sponsored 'democratic' gouvernement.
Well, I found these candidates long before ChatGPT
Claude is mostly opinionated and gives you feedback where it thinks it is necessary.
> We have just committed a mortal sin of image processing. I didn’t notice it, you might not have noticed either, but colour-space enthusiasts will be knocking on your door shortly.
What it means. The most annoying about that quote is that it is a correct sentence, with one single trivial meaning. Easy right? Your favorite type of sentence. Well guess what, in the text it stands for a totally different thing (without any particular reason or benefit).

I much prefer GP's broken sentence. It is syntactically broken, but it has all the words, much better than if it was syntactically correct with an entirely different meaning than the intended one.
>he’s the only one who spoke up.

Not true.

(1) Russ Tice: USAF intelligence analyst

(2) William Binney: NSA Technical Director.

(3) Thomas Tamm: DOJ lawyer

(4) Thomas A. Drake: senior executive at NSA

Each of them had a senior position relative Klein and Snowden and all these cases were shut down and you seemingly never knew about them.
I am unable to acquire knowledge from the books since 35 years ago. Had to get by with self-directed learning. The result is patchy understanding, but lot of faith in myself
> Your blend of comment was also directed at the likes of Google and StackOverflow.

No, it wasn't.

What such comments were directed at, and with good reason, where 'SO-"Coders"', aka. people when faced with any problem, just googled a vague description of it, copypasted the code from the highest scoring SO answer into their project, and called it a day.

SO is a valueable resource. AI Systems are a valueable resource. I use both every day, same as I almost always have one screen dedicated to some documentation page.

The problem is not using the tools available. The problem is relying 100% on these tools, with no skill or care of ones own.
> Initiatives like these feel like a smokescreen to get people riled up while they rob you blind.

Killing bureaucracy will sow chaos. But bureaucracy can only comfortably grow and uncomfortably shrink.

When the department of traffic hired that guy to sort through the backlog of $x, and that guy gets fired, there’s nobody to sort through that data. $x will not consistently be serviced. But that was the uncontroversial circumstance before.

If, every time someone got hired, they wrote their own exit script, assuming their position would not be replaced, DOGE’s work would be less controversial.
Seeed Studio launches Wi-Fi HaLow mini PCIe module, add-on board for XIAO boards
I just had the same experience!
I’m 10 years in software and was never bothered to remember how to implement it the efficient way and I know many programmers who don’t know even the inefficient way but kick ass.

I once got that question in an interview for a small startup and told the interviewer: with all due respect what does that have to do with the job I’m going to do and we moved on to the next question (still passed).
I already consider reading to be a superpower. So few people seem capable these days. And we're talking about people born decades before ChatGPT.
To reinforce this, I'm a stingy bastard but I'd give them 5$ a month if I could donate them to the browser development itself since it's the program I use the most.
260M is not for firefox entirely, e.g. Mozilla AI (and VPN) is part of that. I don't think there are official numbers for firefox alone but i doubt it's over 30%
Now quants can do devops
> I've made similar mistakes with tens of projects - having files larger than 500-600 lines of code

Is it a mistake though ? Some of the best codebase I worked on were a few files with up to a few thousands LoC. Some of the worst were the opposite, thousands of files with less than a few hundred LoC in each of them.
With the tool that I use, I often find navigating and reading through a big file much simpler than having to have 20 files open to get the full picture of what I am working on.

At the end of the day, it is a personal choice. But if we have to choose something we find inconvenient just to be able to fit in the context window of an LLM, then I think we are doing things backward.
I think it's unwise to naively copy code from either stack overflow or an AI, but if I had to choose, I'd pick the one that had been peer-reviewed by other humans every time.
Zen Browser is pretty cool and it's not just a fork
How is a 'guess-the-next-token' engine going to refactor one's codebase?

Just because everyone's doing it (after being told by those who will profit from it that it will work) doesn't mean it's not insane. It's far more likely that they're just a rube.

At the end of using whatever tool one uses to help refactor one's codebase, you still have to actually understand what is getting moved to production, because you will be the one getting called at midnight on Saturday to fix the thing.
> I am not familiar with what is typical in American NPO's but I can't help but feel that my money will not be spent on the right stuff.

I would agree with you there.

Sadly the art of troughing is a well known feature of larger NPOs.

That's why (IMHO) people should never blindly donate to NPOs without first taking a quick look at their financial accounts to get a feel for how much troughing is going on. Honestly, if I had my way, I would make it law to have a simple-to-read one-page summary of that data for every NPO.

I also do not buy the oft-cited argument "well, we have to attract talent by paying them 'competitively' ".

Well no. If the "talent" wants a fat paycheck, they can go work in the private sector. If they are going to work at an NPO, then they should WANT to work for the NPO, not just see it as another spot for their CV. In many (most?) cases they will be in charge of an army of well-meaning unpaid volunteers, its not a good look for the C-suite to roam around in private cars, businssess-class flights, have fancy "away days" etc. etc.
OpenAI's metafictional short story about grief is beautiful and moving
LLMs are trained on public data though.
Hexagon Spiral Coordinates
I agree. Claude is very useful to me because I know what I am doing and I know what I want it to do. Additionally, I keep telling my friend who is studying data science to use LLMs to his advantage. He could learn a lot and be productive.