MurphyA/hacker-news huggingface dataset:
by dvt | 2026-03-04 02:13:05+00:00
Gotcha', but I'm just trying to see the audit for how claim X was rated and based on what sources. If we're looking at the Claude logs, we have huge files that have things like this[1]:

{"id": "claim_0081", "date": "2023-02-11", "claim": "Current Level 2 self-driving operates under easy conditions and is nowhere close to handling real-world complexity.", "type": "descriptive", "target": "Level 2 self-driving", "status": "supported", "horizon": null}

Why is this supported? How is this supported? Waymo would probably disagree, etc. Here's another one:

{"id": "claim_0083", "date": "2023-02-11", "claim": "Tesla's product naming ('Autopilot', 'Full Self Driving') misleads customers into thinking the cars are more capable than they are, potentially causing accidents and deaths.", "type": "causal", "target": "Tesla marketing", "status": "supported", "horizon": null}

I fully agree that TSLA engages in all kinds of deceptive marketing, but to fully support the stunning claim that it potentially causes deaths is, uh, a bit much. I mean, at least tell me who's saying this. What's the provenance?

If Claude itself rated the claims, which seems the be the case unless I'm totally off base, I fail to see how we're actually doing anything at all here. Right now I'm working on a local research agent, and I'm being absolutely meticulous about storing browsed webpages, snippets, etc. into short-term (session) LLM memory or a long-term (cross-session) SQLite db.

[1] https://github.com/davegoldblatt/marcus-claims-dataset/blob/...
by Lammy | 2026-03-04 02:14:06+00:00
No, XFinity are the ones who decided their routers “““need””” to have unwanted RAM-hungry extra functionality beyond just serving their residential customers' needs. Their routers participate in an entire access-sharing system so they can greedily double-dip by reselling access to your own connection that you already pay them for:

- https://www.xfinity.com/learn/internet-service/wifi

- https://www.xfinity.com/support/articles/xfinity-wifi-hotspo...
Show HN: OpenCovibe – a local-first desktop UI for Claude Code
by way007 | 2026-03-04 02:14:09+00:00
Hi HN,

I built OpenCovibe, an open-source desktop app that wraps Claude Code with a local dashboard.

I made it because I wanted a better view of long coding sessions: what tools ran, what changed, and how to resume work without digging through terminal scrollback.

What it does:
- Shows tool calls as structured cards (Read/Edit/Bash/Grep/etc.)
- Keeps run history with replay, resume, and fork
- Supports multiple API providers/endpoints
- Tracks usage and basic session stats
- Stores everything locally (~/.opencovibe), no cloud backend

Tech stack: Tauri + Rust + Svelte.
License: Apache-2.0.

GitHub: https://github.com/AnyiWang/OpenCovibe

It’s still early and mainly tested on macOS.
I’d really appreciate feedback on UX, reliability, and what feels missing for daily use.
by cucumber3732842 | 2026-03-04 02:14:36+00:00
It has nothing to do with enforcement and everything to do with roads being interconnected and naturally load balancing thanks to modern gps routing.

You slow down a main through road it puts that traffic right onto residential roads that formerly weren't worth taking and so someone's kid who used to ride their bike in the street has to either stop or risk getting turned into paste.

I live in a state with stringent roadworthiness inspections BTW.
by fzeroracer | 2026-03-04 02:15:26+00:00
> The lost because of that? If so, it sounds like it was the red-state liberals being immature and choosing a no-win situation: either lose because you run a candidate that makes liberals happy but can't win the state or liberals doom a candidate who can win the state because he only offered the liberals 90% instead of 100%.

This is an incredibly nonsensical rationale. For some people, including myself, abortion is going to be a hard line. I don't care if you think compromise is a better option, if that line is crossed they are losing my vote. If abortion can be a single-issue policy for Republicans then I can damn well make it into one for myself.

> Such black and white thinking. You'd rather have 0% alignment on issues than 90% or 75%? Because that's what you get when a Republican wins.

Correct. I'm done voting for the lesser evil. If it works for Republicans it can work for the left. As much as you say it's a 'dumb strategy' we're in this situation today because it works. It's what got the current set of Republicans into power.

> Tell me: how many competitive races have "Tea Party republicans" lost because they ran a nut?

Most Republican elected officials in Texas? Ken Paxton is insane, incredibly corrupt and someone that should've been ran out of the state years ago. Same with Greg Abott. The idea that democrats should compromise a bit with insane assholes who are causing direct harm to women is a mistake. Even if you consider it 'tactically' correct, morally it is a mistake and is a losing proposition for their own voters.
by avatardeejay | 2026-03-04 02:15:55+00:00
I definitely lean pro AI, and I feel an air of condescension here that doesn't thrill me. But, it wasn't overwhelming and the point does kind of resonate.

I see it in a reddit post, or a twitter comment, I've suspected it in text messages. And like that angle, the like "you're a human. can you please, just" and feeling a little out there for pouring my soul into every word I right wherever it is, like, that idea resonates. That frustration to be reading a lengthy blurb in what's become an over-saturated style where I have to work even harder to discern their real meaning than if they were actually that verbose to begin with.
by jMyles | 2026-03-04 02:16:05+00:00
Even though there doesn't seem to be huge mainstream consumer demand for this (although I actually question how well consumer demand for privacy and customization can ever be ascertained when the price signals are corrupted by a market where the winning players are essentially chosen by the state, as is arguably the case with both TSMC and Qualcomm), it still feels like the world simply couldn't go on with both iOS and Android become caged, cheapened, fragile shadows of the visions we once had for them (particularly AOSP).
by albatross79 | 2026-03-04 02:17:26+00:00
I think his claim basically boils down to "if you're expecting AI, LLMs don't cut it". And I think he's basically right on that count. There's a lot of tooling and harnessing being put in place to course correct them on the job, and from the other angle standards are simply being lowered to accommodate them. So they can be made to be useful, but they're still not what you would want from an actual AI. Marcus wants to augment them with symbolic AI. I don't know how feasible that is, but he's not fundamentally against AI, he's just against the notion that LLMs are AI. Which given how they've been marketed and how the public is encouraged to think about them, is a worthwhile point to make.
by ncouture | 2026-03-04 02:17:42+00:00
We are looking at high-level operant conditioning disguised as standard startup advice. The most fascinating tactical deployment happens at [22:56]—the 'Socratic Trap.' Notice how they advise inducing a micro-stressor (asking the founder why they will fail) to shatter the target's rehearsed 'pitch mask' and force cognitive overload. It’s a textbook elicitation technique to establish a baseline of the founder's true risk tolerance.

Which influence tactic or behavioral shift stood out to you the most in this briefing? Drop your profiling observations below—I’ll be analyzing the best ones.
by logicprog | 2026-03-04 02:17:59+00:00
I think the problem here is that most of his claims are obvious, uninteresting, and largely agreed with even by the biggest AI hype people, like that AI hallucinates, or that they don't perfectly follow guardrails in the system prompt, or that they can be prompt injected, or that Open AI's financials look bad.

But then on the other hand, he completely ignores all of the developments in the field scaffolding around these systems in order to resolve these problems. All of the changes and developments in how these models are trained, all of the things they've actually been able to achieve and do, and basically all of the positive use cases and things that balance out his criticisms.

Since he doesn't really talk about any of that, of course he doesn't make false claims about it, he just ignores it, implicitly creating a false picture.

And then it is this false picture that he uses to justify his grandiose claims about how everyone should have listened to him about how to do AI and these systems are inevitably going to turn out to be useless and the whole industry is going to collapse and fully disappear and society is going to be ruined and so on.

So, of course, it looks like, on the one hand, all of his specific claims about AI are perfectly correct, and on the other hand, that all of his grinder claims about what that implies or means about the industry you have turned out to be wrong, and that he spends much more time on the latter than the former.

I think it is really crucial to emphasize that even though most of the individual claims he makes are correct, he spends much more time on the prognostications that are fundamentally not correct, or at least are very speculative right now. I think that's an indication of something gone very wrong with someone's epistemic and incentive situation.
by hollerith | 2026-03-04 02:18:10+00:00
If you're using a high-DPI monitor, you might not notice the blurriness. I use a standard 110-DPI monitor (at 200% scaling in Gnome) and I notice it when the scaling factor is not an integer.

Or more precisely, I noticed it eventually as a result of my being primed to notice it after people on this site insisted that GTK cannot handle fractional scaling factors.

Compared to the contents of a browser's viewport, Emacs and the apps that come with Gnome are visually simple, so it took me a year or 2 to notice (even on a standard 110-DPI monitor used at 150% and 175% scaling) any blurriness in those apps since the app I'm most conditioned to notice blurriness is my browser, and Chrome's viewport is resolution independent except when rendering certain image formats -- text is always non-blurry.

Yes, Chrome's entire window can be quite blurry if Xwayland is involved, but it now talks to Wayland by default and for years before that could be configured to talk Wayland, so I don't consider that worth talking about. If Xwayland is not involved, the contents of Chrome's viewport is non-blurry at all scaling factors except for the PNGs, JPGs, etc. For a long time, when run at a fractional scaling factor under Gnome (and configured to talk Wayland) the only part of Hacker News that was blurry was the "Y" logo in the top left corner, then about 2 years ago, that logo's PNG file was replaced with an SVG file and the final bit of blurriness on HN went away.
by danielparsons | 2026-03-04 02:18:15+00:00
Because it's useful...

I do wonder if all this extra user data will be of much use. I suppose it could make commerce frictionless, recommending the exact product/service to you at the ideal moment, before you've even heard of it.

But the nature of innovative products and services is that most people don't know how to use them yet, and therefore they can't be recommended based on user data. So idk...
by cpeterso | 2026-03-04 02:18:21+00:00
Looks like LLMs also find Dafny easier to write than Lean. This study, “A benchmark for vericoding: formally verified program synthesis”, reports:

> We present and test the largest benchmark for vericoding, LLM-generation of formally verified code from formal specifications … We find vericoding success rates of 27% in Lean, 44% in Verus/Rust and 82% in Dafny using off-the-shelf LLMs.

https://arxiv.org/html/2509.22908v1
by alterom | 2026-03-04 02:18:36+00:00
>Now if only we could look up everything you said in chatrooms as a 19 year old and post the most inflammatory stuff on HN.

Sure. Wen I was in college, I didn't have the idea of snooping on other students and exploiting them as "dumb fucks" who were stupid enough to trust me.

Most of my public online history starts at around that time too.

And one of my first comments on Slashdot was expressing concern about Facebook violating people's privacy by introducing the feed back in 2006.

https://slashdot.org/comments.pl?sid=195861&cid=16054826

I was 19 then.
by marcus_holmes | 2026-03-04 02:18:37+00:00
> The other thing is, human intelligence is the only real intelligence we know about.

There's a long and proud history of discounting animal intelligence, probably because if we actually thought animals were intelligent we'd want to stop eating them.

Octopodes are sentient. Cetaceans have well-developed language. Elephants grieve their dead. Anyone who has owned a dog knows that it has some intelligence and is capable of communicating with us. There's a ton of other intelligences that we know about.

> As humans, we have conveniently made those properties match things only we have.

I think this is the key point. Machine intelligence is not going to look like human intelligence, any more than animal intelligence does. We can't talk to the dolphins, not because they're not smart and don't have language, but because we can't work out their language. Though I'm not sure what we'd even say to them, because they live in a world we'll never understand, and vice versa. When Claude finally reaches consciousness, it's not going to look like a human consciousness, and actually talking to that consciousness is going to be difficult because we won't share a reality.

An LLM is a tool. I can just about stretch to it being an Artificial Intelligence, but I prefer to continue being specific and call it an LLM rather than an AI. It is not conscious or self-aware. It fakes self-awareness because as a tool the thing it does is have conversations with humans, and humans often ask it questions about itself. But I don't think anyone actually believes it is self-aware. Not least because the only time it thinks is when prompted.
by pnathan | 2026-03-04 02:19:07+00:00
I am experimenting at a very early stage with using Verus in Rust to generate proveably correct Rust. I let the AI bang on the proof and trust the proof assistant to confirm it.

There is another route with Lean where Rust generates the Lean and there is proof done there but I haven't chased that down fully.

I think formal verification is a big win in the LLM era.
by TZubiri | 2026-03-04 02:19:29+00:00
This mentality is how you get

"Hi, thank you for your message, please take a look at our following FAQ guides:

- I forgot my password

Was this answer useful to you, or would you like more links to our FAQ? Before we give you a link to what used to be a talk to a human line, but which has been replaced by another chatbot in a sort of Matryoshka"
by llbbdd | 2026-03-04 02:21:28+00:00
You may ask, but given latest advancements in identifying people from trivial information, I'll be a bit cagey about it. I'll say I'm not 20 anymore. :)

I'm certainly not trying to be insulting, but these threads do get more than a bit tiresome. There's very little curiosity in them towards understanding why Electron is so popular; maybe a tendency lately of HN to assume that popular things are bad, or that large companies do things exclusively for the wrong reasons.

Efficiency is coming up a lot in this thread, and almost universally without definition, because the people making claims about it are implied to be measuring the efficiency of the same thing: how fast your software can run on the least possible hardware. But efficiency can also describe how you use time, which as they say is the one thing you can't ever have more of. Or money, which is also rarely infinite.

In this thread I see takes like:

- "They're a huge company, they can afford to do it native!" (or they can write it once across 3 OS and the browser, and spend the time on other things)

- "Electron has bad performance!" (non-native performance isn't the same thing as bad performance, using more RAM than you think it should consume isn't automatically bad performance)

- "The UI is inconsistent with native apps!" (take it up with product and design, remember Skype? Or AIM)

Electron isn't going to take over the bare-metal powerhouse app space anytime soon, but that's not why anyone builds anything with it. It saves dev time, it makes the economics of bothering to support Linux desktop users make sense, most actual customers have more RAM than they need anyway, and you can still call out to native code for the perf sensitive parts.

Like you and the article said it's about caring. There are definitely bad Electron apps. There are bad programmers at every level between the user and the metal. But the scapegoating on here is so predictable I could have predicted half the responses in this thread with my eyes closed given only the title of the article and some of them are borderline against the guidelines in how little they further discussion. I at least hoped my comment was funny, even if it didn't add much either.
by remote | 2026-03-04 02:21:54+00:00
Having taken part of the 2015 YCSS I am familiar with this session.

If we are pulling profiling observations, the operational maneuver that really stands out to me is the "Strategic Silence" protocol at 16:13.

Brilliant breakdown on the micro-stressor... What's your read on how they handle the power dynamic when a founder is visibly intimidated?
by rickstanley | 2026-03-04 02:22:11+00:00
I downloaded it recently and found it to be quite useful for quick notes. And I can attest to its "fast" claim, using it on a heavily monitored corporate computer, with CrowStrike and what-not; curiously, and I may being hyperbolic here, but, I got the feeling that it was opening faster than MS Notepad, even with Copilot disabled.

The only thing missing is for me is the "save temporary file" behavior, as I have this habit of making a quick note, close to save up space, both in RAM and view, then later on, fire it up again. Will see if there's a Lua api for this later.
by TZubiri | 2026-03-04 02:22:35+00:00
Remember when LLMs were entering the mainstream, and everyone shared tips on how to superprompt, and one of the hot tips was to tell the AI to write a prompt itself?

Like:

BAD: "Write the specs for a system that does X Y and Z"

GOOD: "Write me a prompt to write the specs for a system that does X Y and Z."

As if the LLM magically knew all about itself and the best tips and tricks to prompt itself even if it had just came out and there was no scraped information on how to use them yet.
by dannythecount | 2026-03-04 02:23:20+00:00
This hits hard. I've been testing the same "mirror" thing with frontier models for months—feeding them my raw chats and logs, asking for personality breakdowns like the ones you describe. It's scarily accurate... and yeah, most people will hate staring at that reflection. The self-description lie is real; behavioral memory doesn't bullshit. Love the agent-to-agent negotiation over Nostr with zero server peeking—smart and necessary. Huge respect for building this openly. Starred the repo, will check the issues soon. If agents start ghosting each other at low confidence, that's peak realism (and kinda funny). Keep shipping.
by rudi-c | 2026-03-04 02:24:36+00:00
re: git repositories

That's partly because repositories rarely need to be cloned in their entirety. As such, even when you need to do it and it's a couple hundreds mb taking a few minutes, it's tolerated.

In situations where a document needs to be cold loaded often, the size of the document is felt more acutely. Figma has a notion of GC-ing tombstones. But the tombstones in questions aren't even something that get created in regular editing, it happens in a much more narrow case having to do with local copies of shared components. Even that caused problems for a small portion of files -- but if a file got that large, it was also likely to be important.
by DreadSh | 2026-03-04 02:25:25+00:00
I built dread.sh because I was tired of checking five different dashboards
to see if a Stripe charge went through, a deploy finished, or Sentry caught
something.

dread gives you a single terminal feed and desktop notifications for every
webhook event. One install, no accounts:

curl -sSL dread.sh/install | sh
dread new "Stripe Prod" # creates a channel, gives you a webhook URL
# paste the URL into Stripe → notifications start

It auto-detects Stripe, GitHub, Vercel, Sentry, Shopify, Linear, and 8
other services — parses headers and gives you human-readable summaries
instead of raw JSON.

Team use: run `dread share` to get a workspace ID. Teammates run
`dread follow ws_xxx` and get every channel, including new ones you add
later.

Features:
- Terminal TUI with event history, filtering, and JSON payload viewer
- Desktop notifications (launchd/systemd, runs at login)
- Webhook forwarding to localhost (no ngrok needed)
- Event replay for debugging
- Web dashboard at dread.sh/dashboard (no install needed)

Single Go binary, SQLite, no Docker, no accounts, no API keys.

Site: https://dread.sh
by cortesi | 2026-03-04 02:25:56+00:00
I'm sorry, but we can tell absolutely nothing about Gary Marcus from this. People should have a look at the final data:

https://github.com/davegoldblatt/marcus-claims-dataset/blob/...

Many of the "supported" claims here are vague, banal, obvious, or just opinion. E.g.

"the general public hasn't quite realized what's not possible yet"

"loads of things scale, but not at all"

"To be sentient is to be aware of yourself in the world; LaMDA simply isn't."

"To date, nobody, ever, has given a convincing and thorough account of how human children (and human children alone) learn language."

"A cat holding a remote control shouldn't have a human hand."

"What I didn't see last night was vision" (about Tesla Optimus)
by SAI_Peregrinus | 2026-03-04 02:26:06+00:00
I like run scripts. Shell or python scripts that do nothing other than prompt the user with what to do, or which choice to make, and wait for them to hit a key to proceed to the next step. Encode the run book flowchart into an interactive script. Then if a step can be automated, the run book script can directly call that automation. Eventually you may end up with a fully automated script, but even if you don't it can still be a significant help.
by owenversteeg | 2026-03-04 02:26:25+00:00
Yikes. Has iFixit jumped the shark? An AI generated press release on behalf of Lenovo, who is (from my perspective) essentially paying them for good PR? And this paid relationship - Lenovo paying iFixit - isn’t disclosed until the very last line of the article, so you have to first read 1500+ words of AI slop?

That made me start looking into their scores. The Thinkpad E14 Gen 7 gets a 9/10 despite soldered ports, a pile of easily breakable plastic clips, a flimsy plastic case, and a riveted keyboard/top case assembly. To me that sounds _worse_ than the M5 MacBook Pro, which scores 4/10 (soldered storage unlike the E14, easily replaceable ports, and a riveted keyboard/top case assembly.) I would personally rather have replaceable ports than non-soldered storage, but putting my personal preferences aside, I think it’s hard to argue that difference between the two is worth going from a 4/10 to a 9/10.