fritzo

It's probably whitehat ops to garner political support for cybersecurity bills the public would otherwise dismiss

Bless those hackers for firing a warning shot over our freezers, that we may take heed and secure our neonatal care units, stoplights, and air traffic controllers.

> gulf between ... novel proofs and ... understanding

Machine proofs are useful machine understanding. You don't read the proofs, that's holding it wrong. You point another agent at the proof and prompt "use these ideas to prove this lemma that's useful to me". And it works, agents are faster given access to the proofs than without.

GPT has gone downhill in terms of prose readability.

Concept search. "Read my code, point me to an academic paper with similar ideas." I've had code lying around for decades, where I can point an LLM at it and learn the papers discussing similar ideas and learn of better methods.

We should be more diverse with the software we build.

Any prompt jockey can make a faster ripgrep. The spec is "faster ripgrep".

What is the one thing that only you can specify, where your competitive advantage is maximized? Find that thing and pursue it with all your energy!

But "magnificent 7" foreshadows that 3 will survive and 4 perish, keep it!

I'm as frustrated as the next open source maintainer, but "stole" goes too far. We gave that code away with pride, knowing the world would be a better place.

Could you pick up, say, a manhole cover?

> An LLM ... cannot be a real participant

The participant is not an LLM, the participant is a company. The company learns. It adapts. It has a trillion dollars of skin in the game.

Isn't Venezuela on the Atlantic?

If distillation preserves an LLMs soul, then distillation preserves the human souls on which LLMs are trained, and we hn commenters are already immortal, right?

Whoa that's a slippery slope! Next you'll want model runners to cite the data their models were trained on

Sounds reasonable. Is there a good benchmark on which make this decision?

I dunno, seems like Amazon the forest is the real hyperscaler

Just wait till the Atlantic Meridional Overturning Circulation halts, then you can grow icicles!

The alternative is 4 years of house arrest, just until the next administration can issue a pardon. There is no sentence between 4 years and capital punishment.

I doubt you ever understood the solid state physics, semiconductor fabrication processes, supply chain logistics, monetary policy, shipping routes, mining engineering, etc. "Knowing how things work" is a stone-age attitude.

Feature request: fewer clicks. It should be one click per question

By "sizable rock" do you mean large pebble or small boulder?

What has "artificial" to do with it? Human intelligence is also unauthorized unconscious plagiarism.

Dependency bloat and dependency bitrot have made solutions less permanent, have increased the maintenance burden. My ancient projects with zero dependencies still stand. But projects I built on shifting dependencies are rotting and cracking.

Looks to me like a mob of humans, angry they've been deceived by ambiguous communications, product nerfing, surprisingly low usage limits, and an appallingly sycophantic overconfident coding agent

ln -s CLAUDE.md AGENTS.md

There's your one line change.

If it's a poor location for photovoltaics, it's exactly as a poor for photosynthesis

Sorry for my ignorance, but what exactly is the distinction between hn and social media? Is it the personalization that distinguishes the two? Does "social" mean "feed depends on graph neighborhood"? So collaborative filtering + ranking algorithms + moderation is not social media until you add graph neighborhoods?

I've also seen a glue-less paper binding trick where two pieces of paper are finely crimped together with some high pressure tool in alternating v^v^v^ patterns, actually making tiny tears in the paper. Does anyone know what kind of tool does that?

ELI5 what is a harness?

EDIT from https://arcprize.org/media/ARC_AGI_3_Technical_Report.pdf:

> We seek to fight two forms of overfitting that would muddy public sensefinding:

> Task-specific overfitting. This includes any agent that is created with knowledge of public ARC-AGI-3 environments, subsequently being evaluated on the same environments. It could be either directly trained on these environments, or using a harness that is handcrafted or specifically configured by someone with knowledge of the public environments.

Sounds like her first thought was, "I'm talking to a manic guy, and I can use him to make money"

Wait, is 474 a number or a proper noun?