MurphyA/hacker-news huggingface dataset:
by losvedir | 2026-01-30 23:10:03+00:00
It reminds me of my days looking at biotech stocks. You'd have a small company stake their whole financial future on the outcome of a clinical trial, to know whether their drug works or not. Leading up to the release of the results, the price would veer this way or that based on tidbits cleaned from doctors involved in the trials or whatever, but the stock would mostly be in a superposition of the two universes, one where it succeeds and one where it fails (or more mundanely: the probability weighted average of the price that the stock would be in each one). Then the results would come out and the universes would collapse to the "works" or "doesn't work" one and the stock would jump 30% or crater 50% or whatever.

I haven't been following this gold and silver saga, but it feels like a similar situation where there were two possible Fed appointees who would have vastly different impacts on the price of the metals. Then the announcement comes and the price found the world where that was the nominee and not the other guy.
by Lerc | 2026-01-30 23:11:32+00:00
There have been alternatives suggested. While better is a subjective term, most alternatives have either not been successful or have not yet meaningfully achieved a level of success to matter.

Flattr took one approach without much success. They represented the problem well though. When someone does something that is of a small but not insignificant benefit for a large number of people, how should they be rewarded? When the reward due, divided by the number of people paying for it, gets low enough it seems to not reach a threshold that it makes sense for any individual to pay.

You could charge a fee above the threshold, and many people do take this path. It is essentially requiring a small number of people to massively overpay to cover those who don't pay at all.

A Universal Income takes the approach that if everyone gets what they need there is no particular requirement to be monetarily rewarded. You essentially have been rewarded for whatever it is you do.

Advertising plays the small threshold thing both ways, They offer you a chance to sell a little corruption below your threshold for thinking it is damaging, and in return they accumulate the corruption and the money and send you the money and deliver the requested corruption to their customers.

Part of the fundamental difficulty is in determining the size of the reward due. How is that determined? There are plenty of people who will offer services to do that if it means they can take a cut. I don't see that path going well unless it is a mechanism governed by strict non-profit rules, and even then I would have doubts.

A purely rule based system would be intrinsically unfair and subject to gaming, but often times this turns out to be the least worst solution. By agreeing to a set of rules people can accept that while flawed, adhering to them by agreement can make a system that cannot be taken over by a malicious individual.

In short, right now, No I don't think there is a better way. There may be people with a financial interest that it remains that way.
by MohskiBroskiAI | 2026-01-30 23:11:41+00:00
"Packed full of missing parts" is a fascinating way to describe Axiomatic Abstraction.

You found the `sorry` keywords. Congratulations, you know how to grep.
Now try reading the Type Signatures attached to them.

Those are not "missing parts." They are Axiomatic Boundaries.
I verified the High-Level Implication Structure:
(Geometry_Axioms) → (Spectral_Collapse) → (P ≠ NP).

The Lean Kernel confirmed that the Logic Flows are sound.
The "missing parts" you cite are the atomic geometric primitives (e.g., the existence of the Witten-Laplacian on a manifold) which are standard in Differential Geometry but tedious to formalize from scratch.

I am not asking Lean to verify the existence of manifolds; I am asking it to verify the Complexity Implication OF those manifolds.

If you cannot distinguish between an "Unproven Conjection" and an "Axiomatic Dependency," you are debugging the wrong repo.

The structure holds. The implication is verified.
Cope harder.

Oh and btw - I've redone the repo WITHOUT depending on any Axioms. Literally about to update it.

But nice try junior developer!

If this was that easy to solve - easy enough for randoms like you and the other guy to critique the solution itself - then it would have been solved ages ago.

Let that sink in - perhaps it'll humble you a tinny winny bit.
by nerdsniper | 2026-01-30 23:11:52+00:00
Whereas to me, it's wild that thousands of years of gold bullion trade as a form of currency exchange is supplanted basically overnight and now only "gold but only on paper" would be considered the only form of real gold currency.

"Monetized" gold has only existed for 50 years since gold futures started being offered in 1972. But the real "retail era" of "gold but only on paper" started just ~20 years ago with gold ETF's in 2003 (Australia) and 2004 (USA). So in just 20 years, we're now arguing that the norm from the past 3,000 years of gold trade is completely invalidated.

That said, you're not completely out of line with the views of the USA federal government. Gold has fascinating history of regulation. There was the 1933 total ban on private ownership when U.S. citizens were given until May 1, 1933, to surrender all gold coins and bullion. That lasted until 1974. Or that gold bullion is not subject to FinCEN Form 105 (currency) but rather CBP Form 6059B (goods).
by jesse_dot_id | 2026-01-30 23:12:05+00:00
If it's properly sandboxed then I fail to see how it's useful, unless you're attaching it to your e-mail, calendar, etc. If you're attaching it to those things, then I still don't see how the SaaS messenger account you're using being hacked doesn't still directly imperil your personal information.

Like, I could run this thing on an isolated VLAN in a VM, but if I hook it up to a SaaS app for its frontend, then it's immediately insecure if the bot is connected to anything of value. If it's not connected to anything of value, then what's the point?
by briancr | 2026-01-30 23:13:43+00:00
Yes very C-like.. One immediate difference is that in these C-like scripting languages there’s a split between definitions and executable commands. In Cicada there are only executable commands: definitions are done using a define operator. (That’s because everything is on the heap; Cicada functions don’t have access to the stack). I personally think the latter method makes more sense for command-line interactivity, but that’s a matter of taste.
by llbbdd | 2026-01-30 23:14:10+00:00
I'm not sure that's any different from reading any historical text other than perhaps the abbreviated timeline. Written language always requires some context about when it was written to accurately parse, it's just less obvious for writing that isn't all that old. Modern prints of classic or historical writings sometimes have footnotes clarifying meanings that have changed over time; I don't know if it's happened yet, but I can definitely imagine a footnote clarifying e.g. "this tweet was written when the gun emoji still looked like a gun and this was meant to be more threatening than it appears now"
by rapjr9 | 2026-01-30 23:14:28+00:00
While I do hoard notes I've realized over the years that the main reason I write notes is as a memory aid. If I write it down I remember it better, and I'm more likely to do it. Notes also act as a filter because I write stuff down, sometimes review the notes later, and decide what I wrote down isn't worth doing, so making a note of an idea essentially gives me a delay to review the idea and decide if it is worth doing. I do also record links, keeping them in wiki pages (along with wiki pages for notes about various projects); I started doing that because browser histories today seem to autodelete old links. Putting them into a wiki makes them searchable. I keep journals as well, which are also searchable. I don't necessarily want to be reminded of my notes and wiki/journal entries, I know they are there, I mainly want to call them up when I decide I need them. That's the main drawback of paper notes, I can't search them. I've tried scanning them, but it's tedious and they don't translate to ASCII text well, and drawings are not searchable. I've considered using one of the e-paper notepads instead of paper notes, but I'd need a notepad handy in every room of the house and that would cost too much, and the procedures to automatically sync them to a central location don't seem very reliable (and I don't want to sync personal notes to some public cloud).

So for me, an AI that suggests stuff would be annoying. An AI that could take some vague search terms and my history and could pull old information out of notes that don't necessarily have the keywords I enter, using the context provided by my history might be useful. So for example, I may remember I happened across a design for the DSP algorithms in guitar pedals, but the URL or note may not even mention DSP, so something that could turn a search for "guitar pedal DSP" into finding a link for an audio processing web page I visited would be useful. The AI would probably have to scan all the web pages I visit to be able to store enough context to be useful for a search like that. Doing this for 20 years or more might run into some scalability/cost issues.
by estimator7292 | 2026-01-30 23:14:44+00:00
I'm perfectly happy writing C With Classes. There isn't a problem in my domain that can't be solved with C, and frothing at the mouth about "safety" simply isn't relevant. I program machines and I need a language that doesn't do everything possible to hide that fact.

C is a fine language. Sure it's got sharp edges to poke your eyes our and big gears that will rip your arm off, but guess what? So does the machine. Programming a machine is an inherently unsafe activity and you have to act like a responsible adult, not some cargo culting lunatic that wants to purge the world of all code written before 2010.

I'm going back to statically allocating my 2KB of SRAM now. Humbug, etc
by MetricT | 2026-01-30 23:14:46+00:00
Gold has merely mean-reverted, not "crashed". Some profit-taking since gold got a bit ahead of itself.

If gold continues growing at the same rate as the last 6 months, it will take gold all of a month and a half to get back to where it was.

https://i.imgur.com/bRAy1FB.png

Now, gold might not continue growing, but D.C. hasn't fixed its problems that are causing gold to rise, so I do have a degree of confidence that it will recover quickly.
by raw_anon_1111 | 2026-01-30 23:15:19+00:00
Because to a first approximation, no one wants desktop software, maintenance is a pain, it’s a pain to distribute across a large organization and people want to use the same app across devices and no one will pay me for it.

> But more importantly, let's suppose your software does require an Internet connection to function.

Because I have been able to depend on “fast” internet since 2000 both at home and at work, just like I’ve been able to depend on a compiler since 1992? There is nothing so important that can’t wait in the rare chance that internet goes out.

> Why should that imply a requirement for a code generation tool to have one

Because I don’t want to spend thousands of dollars to run a frontier model locally when I can spend $20/month and codex is included with my ChatGPT subscription?
by ozlikethewizard | 2026-01-30 23:15:38+00:00
Yea, I mean, its always led to such stable transfers of power in the past

https://en.wikipedia.org/wiki/Vietnam_War
https://en.wikipedia.org/wiki/CIA_activities_in_Nicaragua
https://en.wikipedia.org/wiki/Iraq_War
https://en.wikipedia.org/wiki/2011_military_intervention_in_...
https://en.wikipedia.org/wiki/War_in_Afghanistan_(2001%E2%80...

need I go on? I can?
by spondyl | 2026-01-30 23:15:47+00:00
While I have zero interest in defending or participating in the financialization of all things via crypto, there is a bit of nuance missing here.

BAGS is a crypto platform where relative strangers can make meme coins and nominate a recipient to receive some or all of the funds.

In both Steve Yegge and Geoffrey Huntley's cases, tokens were made for them but apparently not with their knowledge or input.

It would be the equivalent of a random stranger starting a Patreon or GoFundMe in your name, with the proceeds going to you.

Of course, whether you accept that money is a different story but I'm sure the best of us might have a hard time turning down $300,000 from people who wittingly participate in these sorts of investment platforms.

I don't immediately see how those left holding the bag could have ended up in that position unknowingly.

My parents would likely have a hard enough time figuring out how to buy crypto, let alone finding themselves rugpulled by a meme token is my point so while my immediate read is that pump and dump is bad, bad relative to who the participants are is something I'm curious to know if anyone has an answer for
by turnsout | 2026-01-30 23:16:00+00:00
I wouldn't say it was oneshotted, but it did produce a working MVP in one Plan execution. Meaning, I went back & forth a few times about requirements, it built a plan, and then CC spent just under 15 minutes writing the code. Once I got the credentials plugged in, the core integrations (Slack, gmail, IMAP, iCloud calendar) and agent loop did work. I can share the initial message if you're curious.
by JDye | 2026-01-30 23:16:01+00:00
I agree that write-actions should be protected, especially now when every other person online is a bot. As for read-actions, I'll continue to profit off those being protected too but I wouldn't be too bothered if something suddenly changed and all content across the internet was a lot easier to access programmatically. I think only harm can come from that data being restricted to the huge (nefarious) companies that can pay for that data or negotiate backroom deals.
by nitwit005 | 2026-01-30 23:16:22+00:00
> Project context signals (repo/PRs? issues? tasks? calendar? a “project doc”?)

There's a cost to recording what you're working on, so usually the only people who track it in a fine grained way are those that need exact numbers for billing. It's not worth the time otherwise.

There are hints to what people are working on. Connecting to a database means SQL may happen, but maybe not.

It's a big issue with personal assistant ideas in general. It's very difficult to get any real context on things. Even data that seems firm like calendar appointments, isn't in practice. Look at people's calendars, and you'll see them triple booked.
by JumpCrisscross | 2026-01-30 23:16:49+00:00
> Surely if it's Tesla making the decisions, they need the insurance?

Why surely? Turning on cruise control doesn't absolve motorists of their insurance requirement.

And the premise is false. While Tesla does "not maintain as much insurance coverage as many other companies do," there are "policies that [they] do have" [1]. (What it insures is a separate question.)

[1] https://www.sec.gov/ix?doc=/Archives/edgar/data/0001318605/0...
by unsnap_biceps | 2026-01-30 23:16:51+00:00
But his precise objectives remain unclear. Speaking at the premiere of the documentary Melania, the US president told reporters Iran had to do “two things” to avoid military action. “Number one, no nuclear. And number two, stop killing protesters,” saying that “they are killing them by the thousands”.

https://www.theguardian.com/us-news/2026/jan/30/donald-trump...
Show HN: Project RCPC – DFD, Data Flow Diagram
by jtr87 | 2026-01-30 23:17:05+00:00
[EN]
The conceptual operation of the RCPC is represented in the following diagram, which illustrates resource sharing, integration with external platforms, and the logical merit system.
[PT]
O funcionamento conceptual do RCPC está representado no seguinte diagrama, que ilustra a partilha de recursos, integração com plataformas externas e o sistema de mérito lógico
by observationist | 2026-01-30 23:17:46+00:00
You're getting a superficial peek into some of the lower end "for the lulz" bots being run on the cheap without any specific direction.

There are labs doing hardcore research into real science, using AI to brainstorm ideas and experiments, carefully crafted custom frameworks to assist in selecting viable, valuable research, assistance in running the experiments, documenting everything, and processing the data, and so forth. Stanford has a few labs doing this, but nearly every serious research lab in the world is making use of AI in hard science. Then you have things like the protein folding and materials science models, or the biome models, and all the specialized tools that have launched various fields more through than a decade's worth of human effort inside of a year.

These moltbots / clawdbots / openclawbots are mostly toys. Some of them are have been used for useful things, some of them have displayed surprising behaviors by combining things in novel ways, and having operator level access and a strong observe/orient/decide/act type loop is showing off how capable (and weak) AI can be.

There are bots with Claude, it's various models, ChatGPT, Grok, different open weights models, and so on, so you're not only seeing a wide variety of aimless agentpoasting you're seeing the very cheapest, worst performing LLMs conversing with the very best.

If they were all ChatGPT 5.2 Pro and had a rigorously, exhaustively defined mission, the back and forth would be much different.

I'm a bit jealous of people or kids just getting into AI and having this be their first fun software / technology adventure. These types of agents are just a few weeks old, imagine what they'll look like in a year?
by dylan604 | 2026-01-30 23:19:23+00:00
> The second Blender started to get industry adoption it was basically over for Maya. They could've saved it by turning it into a freemium product which hobbyists can download and install as easy as Blender, but it's probably too late for that now.

I was with you up until this part. I was a DVD programmer for years on the de facto standard software which was very expensive and cumbersome for some people to use. Then Apple released DVD Studio Pro which did a lot of abstraction layer simplification for people, but also meant that something could not be done in that software that could be on the big boy package. I know it's an apple/orange situation, but there are times where there's a reason for the cheaper/free price tag. I haven't paid attention to the capabilities of Maya/Blender for nearly a decade, but I'm guessing there are still things that can be done in Maya that cannot be done in Blender.
by stygiansonic | 2026-01-30 23:19:29+00:00
The jury found that Ding stole trade secrets relating to the hardware infrastructure and software platforms that allow Google’s supercomputing data center to train and serve large AI models. The trade secrets contained detailed information about the architecture and functionality of Google’s custom Tensor Processing Unit chips and systems and Google’s Graphics Processing Unit systems, the software that allows the chips to communicate and execute tasks, and the software that orchestrates thousands of chips into a supercomputer capable of training and executing cutting-edge AI workloads. The trade secrets also pertained to Google’s custom-designed SmartNIC, a type of network interface card used to facilitate high speed communication within Google’s AI supercomputers and cloud networking products.
by cxr | 2026-01-30 23:19:47+00:00
> It's open source and built with Firebase for auth and data sync.

Consider also supporting remoteStorage <http://remotestorage.org/>, both so that you don't have to operate (admin/provision/whatever) services, and to make it easier for contributors (they don't need to prop something up, either, even if it is just Firebase). And just general user control over data.

If you run into any serious issues, you're likely to get a fair bit of interest on the remoteStorage community message boards to help work things out.

PS: add screenshots somewhere.
by horsawlarway | 2026-01-30 23:20:02+00:00
This somewhat falls apart the second you realize that current models are already choosing which tools to use all the time. You can argue that's not "desire" but I'm not sure you'd convince me.

Frankly - even the other end of your argument is weak. Humans don't particularly want to control air traffic either (otherwise why are we having to pay those air traffic controllers their salaries to be there?). They do it as a function of achieving a broader goal.
by MohskiBroskiAI | 2026-01-30 23:20:53+00:00
"Entertaining?" It’s called Hybrid Verification.

You seem to think that a Theorem Prover (Lean 4) should also be a TI-84 Calculator.

Let me educate you on Architectural Efficiency:
1. Lean 4 verifies the Logic/Topology (The Implication).
(Theorem: IF scalar < threshold THEN Phase = Collapsed).
2. Python verifies the Compute (The Arithmetic).
(Fact: 0.41 < 0.85).

Using `sorry` to bridge an external Oracle (Python) for heavy floating-point calculation is standard practice in applied formal methods (see SMTCoq or Lean-auto).

I am not going to re-implement IEEE 754 floating-point arithmetic from first principles inside a kernel just to satisfy your purism.

I verify the Structure.
I delegate the Arithmetic.
You verify nothing.

Enjoy the show.
by soganess | 2026-01-30 23:20:56+00:00
> “so desperate to contend”

The only thing desperate is people plugging their ears and lalala-ing “HN is not for politics.”

The tech talk here is embarrassingly shallow. Depth is now the rare exception. If I want deep dives, I’ll go see about some crabs. This place now exists to launder the tech worldview, and that’s an inherently political act. Pretending it isn’t doing that is political too.

Like most folks here nowadays, I primarily come for the politics. The difference is I’m not lying to myself about my posture.
by palmotea | 2026-01-30 23:21:17+00:00
> You've pretty much nailed why almost all the highest immigration nations are monarchies. You basically need a ruler to tell the populace they are his bitch and they'll get the free market and open work visa immigration (UAE, Qatar, Kuwait, Bahrain) whether they like it or not.

> It does work and made those countries much richer

What, exactly, do you mean by "countries" and "richer"? The monarch is wealthier and more powerful? Some aggregate GDP number went up? More bank deposits?

There are a lot of ways to make the few gain at the expense of the many, and depending on the statistics you look at, that may look like the country becoming richer. However, those kinds of scenarios are one of the things democracy is supposed to prevent.
by nicbou | 2026-01-30 23:21:18+00:00
At some point, organisation can become a form of procrastination. Building a second brain is not Doing The Thing.[0]

A note is not an intention. It commits to memory, not to action. I really don't care about having a whole searchable, tagged database; I hardly ever look at those notes again.

At work I have topic-based Markdown notes. Sometimes I collect information about a topic for a few weeks or months, and eventually turn it into a proper guide (making guides is my job).

I also LOVE paper notebooks, because they become a beautiful timeline of sketches, to-do lists, thoughts and plans. When I finish a notebook, I scan it then throw it in a drawer.

I also use Obsidian daily notes to journal, mostly because it's easier to open an app than to write in a notebook. I don't do anything special with those notes, unless I'm trying to "debug" something happening in my life.

[0] https://strangestloop.io/essays/things-that-arent-doing-the-...
by kcplate | 2026-01-30 23:21:34+00:00
> peacefully protesting government actions

In a church service? To what end does it make sense?

The whole thing was live streamed. They intentionally interrupted a religious worship service. You had children traumatized, crying. What idiot or group of idiots would think that is going to motivate the government to do anything except go after you with specific laws that were passed to protect religious gatherings from such things.

This type of tactic was not productive to whatever your cause is…it did damage.