MurphyA/hacker-news huggingface dataset:
by Havoc | 2026-01-13 17:11:09+00:00
>They're not that hard to make.

Yeah, with parts from China...but that's banned too.

Homegrown factories and supply chains don't just pop up overnight though. So in the near term this just means zero drones and a disorderly transition.

Intentionally triggering that only really makes sense if you think a major confrontation is imminent and chaos is an acceptable price to pay to force speed.
by aeternum | 2026-01-13 17:11:09+00:00
The answer is never to have government pay, obviously it then becomes biased as you point it.

If it doesn't justify a human salary then the right answer is usually to eliminate the need for a full salary with tech. Current LLM models do a sufficiently good job of meeting summarization and will only get better. Those could be published and even reviewed by human influencers for newsworthy bits.
by netsharc | 2026-01-13 17:11:11+00:00
[Original comment redacted]

With your sort of mentality I'm surprised you're comfortable mentioning your sexuality... You know there's a lot of homophobes around, no? And they're just getting more empowered under Trump, Farage, etc...

To give you your own advice, I'd suggest being more quiet about it, you never know if people around you have a hatred of gays.
by 9rx | 2026-01-13 17:11:32+00:00
> Python type hints allow checking correctness statically

Not really. You can do some basic checking, like ensuring you don't pass a string into where an integer is expected, but your tests required to make sure that you're properly dealing with those integers (Python type hints aren't nearly capable enough to forgo that) would catch that anyway. The LLM doesn't care if the error comes from a type checker or test suite.

When you get into real statically typed languages there isn't much consideration for Python. Perhaps you can prompt an LLM to build you an extractor, but otherwise, based on what already exists, your best bet is likely Lean extracted to C, imported as a Python module. Easier would be to cut Python out of the picture, though.

If you are satisfied with the SMT middle-ground, Dafny does support Python as a target. But as the earlier commenter said: Types are best.
by amluto | 2026-01-13 17:11:39+00:00
> They're after the enterprise market

Anthropic is rather obnoxious about training on user data, and I wonder if enterprises (and small businesses!) will grow up soon and start using competing products instead.

(Not that Google is amazing in this regard — their purchasable product options are all over the place to the point where it might be nearly a full time (human!) job to keep track of how to correctly purchase Gemini. Gemini itself seems incapable of figuring this out, or at least I haven’t found the right prompt yet. Gemini is absolutely amazing at hallucinating Google product offerings. OpenAI, on the other hand, seems to have nailed this.)
by oliwarner | 2026-01-13 17:11:41+00:00
His 18yo son overdosed on fentanyl in 2018.

I don't want to excuse his opinions but that's the sort of event that can change a person.

He did online chats, and did one immediately after. It's a tough watch. https://x.com/ScottAdamsSays/status/1046764270128484352
by Storment33 | 2026-01-13 17:12:08+00:00
I agree there is stuff you can't test locally, but in my experience people most of the time are complaining about stuff they should have local feedback loops for such as compiling, testing, end to end testing etc.

You give some good examples and I agree they is CI specific stuff that can only be really tested on CI, but it a subset of what I generally see people complaining about.

> can't locally do things like automatically creating a release in a Github workflow, sending test results as a comment to PRs automatically and uploading CI pipeline artifacts locally.

> uploading CI pipeline artifacts locally

I actually testing this locally before opening up a pull request to add it. I just have my workflow call out to a make target, so I can do the same locally if I have the right credentials using the same make target.

E.g. this workflow trigger on a release.

```yaml
name: Continuous Delivery (CD)

on:
release:
types: [published]

# https://docs.github.com/en/actions/using-jobs/assigning-perm...
permissions:
contents: write
packages: write

jobs:
publish-binary:
name: Publish Binary
runs-on: ${{ matrix.architecture }}
strategy:
matrix:
architecture: [ubuntu-24.04, ubuntu-24.04-arm]
steps:
- name: Checkout code.
uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
- name: Setup Nix.
uses: cachix/install-nix-action@4e002c8ec80594ecd40e759629461e26c8abed15 # v31.9.0
- name: Publish binary.
run: nix develop -c make publish-binary RELEASE="${GITHUB_REF_NAME}"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} # This token is provided by GitHub Actions.
```

Which after building the binary calls this script

```bash
#!/usr/bin/env sh

set -o errexit
set -o xtrace

if [ "$#" -ne 2 ]; then
echo "Usage: $0 RELEASE_TAG TARGET"
echo "$#"
exit 1
fi

RELEASE="$1"
TARGET="$2"

tar -czvf "${TARGET}.tar.gz" -C "target/${TARGET}/release" "clean_git_history"
gh release upload "${RELEASE}" "${TARGET}.tar.gz"
rm "${TARGET}.tar.gz"
```

So I was able to test large parts of this locally first via `make publish-binary RELEASE="test-release"`.
by lewisgodowski | 2026-01-13 17:12:39+00:00
Yepp, I generally will try for the exit row or the first row in a section (sacrificing no under seat storage), but they tend to be the first seats booked. Since I'm usually traveling with multiple other people and we prefer sitting together, it makes it pretty difficult to reliably select those seats with extra leg room. I haven't seen any airlines that charge "+$25 for the extra leg room" on 12+ hour international flights, but if they exist I'd love to know which ones they are!
by iamnothere | 2026-01-13 17:12:41+00:00
It’s just hard to accept how stupid the average person is. Increasingly I feel like the Eternal September is over, the masses won, and the original contingent of people who made up the internet all left for Valinor.

Of course then I see public posts by people who were involved with the early internet and it often isn’t any better. Perhaps the COVID brain damage theory is correct. As a society it feels like we have lost ~20 IQ points. (Cue the pro-IQ and anti-IQ fanatics now that I mentioned it.)
by strken | 2026-01-13 17:12:42+00:00
In this specific discussion, the traits labelled as toxic masculinity were as follows:

> You’re not allowed to feel things. Emotions make you weak. Just suck it up and power through. Bottle it up.

The person who most embodies these traits for me, in my life, is...my mum. I don't view them as exclusively toxic any more than I view them as exclusively masculine, either. Sometimes you really do just choose to hug your kids even when they were aggravating little twits five minutes ago and you're still mad at them, and that's a good thing.
by alwa | 2026-01-13 17:13:05+00:00
Final Cut Pro X has been available for purchase (at the same price, IIRC) for well over a decade now. Pro feathers were ruffled at the time they leapt from FCP7 to FCPX: the $299 price point was something like 1/4 of the going rate for its predecessors, was Apple planning to abandon its pros for the consumer market? Well. Here we are almost 15 years later, and if you paid the one-time price back then, you're still getting free updates today (at least on desktop). And you can still buy in with 299 2025 dollars, rather than 299 2011 dollars.

At the time, the common wisdom was that they'd go the same route as Adobe: you'd have to buy Final Cut X+1 in a couple years for another $299, and Final Cut X+2 a couple years after that... to their credit, that's not the way it's gone.

So that way, I imagine, all the film folks have a little more money to chuck at their high-powered Mac hardware budgets in the next refresh cycle instead... An evergreen Final Cut Pro license costs almost as much as 1TB of SSD from those guys!
by charcircuit | 2026-01-13 17:13:13+00:00
No one specified external message queue. You can have a message queue within the process itself that can deliver messages from one thread to another. There are different kinds of messages queues for this purpose depending on how many threads will be producing messages to the message queue and how many threads will be consuming messages from it. While using message queues may not be neccessary for multithreading it is a very common setup. The ability to have a message queue to schedule work on a background thread is very common between many programs.
by poszlem | 2026-01-13 17:13:22+00:00
How about now:

https://xcancel.com/TheRealThelmaJ1/status/20105429076952310...

https://xcancel.com/NewYorker/status/1910856874792046893

https://xcancel.com/JusticeFwdVa/status/1914987893652705475
by wsxiaoys | 2026-01-13 17:13:26+00:00
Hi HN,

I wrote a 4-part series on how we built the AI edit model behind Pochi’s coding agent.

It covers everything from real-time context management and request lifecycles to dynamically rendering code edits using only VS Code’s public APIs.

I’ve written this as openly and concretely as possible, with implementation details and trade-offs.

Full series:

1. The Edit Model Behind Tab Completion:
https://docs.getpochi.com/developer-updates/how-we-created-n...

2. Real-Time Context Management in Your Code Editor:
https://docs.getpochi.com/developer-updates/context-manageme...

3. Request Management Under Continuous Typing:
https://docs.getpochi.com/developer-updates/request-manageme...

4. Dynamic Rendering Strategies for AI Code Edits:
https://docs.getpochi.com/developer-updates/dynamic-renderin...
by blackgirldev | 2026-01-13 17:13:29+00:00
Sigh. Men, especially white men, seem to have the luxury of not rejecting white supremacists in total. While his art resonated, so did his hate.

Shouldn't we reject these people entirely? We have a fascist regime running the USA right now, with a gestapo running around killing and kidnapping people, in no small part due to people like Adams making his point of view acceptable and palatable over time.
by ericmay | 2026-01-13 17:13:33+00:00
No it's not. This is factually incorrect.

Even as recently as this past week the United States Navy has tracked down and seized Russian "shadow fleet" tankers which are operating despite American and European sanctions, and did so with Russian naval vessels nearby and despite strong protests and anger from Moscow. Hopefully Europe can step up its game and do so too.

But do you know who is helping Russia besides China? India. Iran, South America (Brazil, &c.), plenty of other countries. They've given no money, no aid, and are all too happy to buy illicit Russian oil.
by embedding-shape | 2026-01-13 17:13:41+00:00
> You don’t choose family

Maybe it's because of my upbringing, and moving away from home when I was about 15, but why not? I think most people could actually "choose family" (or not, if it's better for you as individual). Why stick with people if they're mostly negative and have a negative impact on you? Just because you happen to share 0.0001% more DNA than any other human on the planet?

Not to take away from the rest of what you say, it's a highly personal experience, and I thank you for sharing that heartfelt message to give people more perspectives, something usually missing when "divisive" (maybe not the right word) people end up in the news. Thank you for being honest, and thank you for sharing it here.
by joshuakoehler | 2026-01-13 17:13:45+00:00
Yes, I've read the History of Redemption by Edwards, The Pilgrim's Progress and Holy War by Bunyan, quite a few Spurgeon sermons, and Holiness by Ryle in addition to (parts of) his commentaries on the gospels. I also read the puritans - I read Thomas Brook's Precious Remedies Against Satan's Devices and the Body of Divinity (Thomas Watson) last year.

Lately I've read a few older biographies/autobiographies - Thomas Scott's autobiography (The Force of Truth), Halyburton's autobiography, and James Henley Thornwell and Benjamin Morgan Palmer biographies.

Right now I'm reading the Life and Times of Jesus Messiah by Alfred Edersheim (19th century).

How about you?
Show HN: Microwave, native iOS app for videos on ATproto
by sinned | 2026-01-13 17:14:14+00:00
Hi HN — I built Microwave, a native iOS app for browsing and posting short-form videos, similar to TikTok, but implemented as a pure client on top of Bluesky / AT Protocol.

There’s no custom backend: the app reads from and publishes to existing ATproto infrastructure. The goal was to explore whether a TikTok-like experience can exist as a thin client over an open social protocol, rather than a vertically integrated platform.

Things I’d especially love feedback on:

- Whether this kind of UX makes sense on top of ATproto

- Client-only tradeoffs (ranking, discovery, moderation)

- Protocol limitations I may be missing

- Any architectural red flags

TestFlight: https://testflight.apple.com/join/cVxV1W3g
by jannniii | 2026-01-13 17:14:14+00:00
They are a small team and tool has gotten wildly popular. Which is not to say that slowing down and addressing quality and security issues would not be a bad idea.

I’ve been an active user of opencode for 7-8 months now, really like the tool, but beginning to get a feeling that the core team’s idea of keeping the core development to themselves is not going to scale any longer.

Really loving opencode though!
by n8cpdx | 2026-01-13 17:14:24+00:00
How did these come to be associated with command-k and not command-p, which is the more common association at least for developer tools (chrome, vs code, sublime, figma, obsidian)? Command P makes sense since it is a Palette. Maybe it is just a weird quirk that all developer-facing tools use one binding while tools for the hoi polloi use the other.

Particularly offensive to try to name the whole concept after Slack’s default keybinding.
by embedding-shape | 2026-01-13 17:14:53+00:00
> I could never put into words my feelings as well as you just did. I loved his art. I did not love the man.

There is a lot of this in the modern era, and probably will only get "worse". People need to sooner than later be able to reconcile this whole idea of "not liking the person yet can't help but like their art". Back in the day it was easy to ignore, and probably most of the bad stuff was easily hidden, not so much these days.
by scarecrowbob | 2026-01-13 17:14:54+00:00
Well, the math still maths, right?

I am writing this off grid, using about 15kwh of batteries and a $1200 (6kw) inverter. My entire system puls panels and racking those panels, plus wiring some un-powered shacks was about $10k, though I did the work myself (which would probably hae been another 3-5k if I could have found someone to do it.
by chor3 | 2026-01-13 17:15:08+00:00
HexPickr – Extract OKLCH and Tailwind v4 palettes from photography.

I'm a 'vibe coder' returning to the IDE after 10 years. I spent the last 60 days managing a multi-agent stack (Codex + Antigravity) to get the perceptual color math right for P3 displays. The agents were great for the UI, but I had to manually step in when they started 'hallucinating' HEX values instead of wide-gamut OKLCH. It’s a niche tool for the Tailwind v4 ecosystem.
by georgeburdell | 2026-01-13 17:15:21+00:00
Adams had a normal range of beliefs. Postulating that they arose from some extrinsic and extra-personal source is a condemnation of your own limited views. People get older and begin to care less about conformity, including keeping controversial thoughts to themselves, as society loosens its reins as your needs are met (to make money, to find a partner, to have a family, etc.)
by victor_y | 2026-01-13 17:15:22+00:00
Hi HN, I'm Victor. AI is making attacks cheaper and faster. Automated vulnerability scanners, LLM-assisted exploit generation, and attack frameworks that used to require expertise are now accessible to anyone with a prompt. Security testing needs to keep pace.

I built ModernPentest to run continuous automated pentests on any web application or API. Setup takes 5 minutes, and you get a full report with exploitable vulnerabilities in under an hour.

How it works:

- AI agents (Claude Agents SDK) coordinate a multi-stage testing pipeline: discovery, parallel vulnerability testing (injection, access control, authentication), consolidation, and report generation

- Agents run on GCP Cloud Run Jobs (containerized)

- Real-time progress updates via Convex WebSockets

- Security tools: Nuclei, SQLMap, httpx, and custom checks for specific platforms

What it tests:

- Any web application or API (Next.js apps, WordPress sites, Django backends, etc.)

- Deep checks for Supabase RLS policy bypasses and Firebase security rule misconfigurations

- API authentication, authorization, and injection vulnerabilities (OWASP API Top 10)

The speed difference matters. Traditional pentests take 2-4 weeks and give you a point-in-time snapshot. By the time you get results, your codebase has changed. We run in under an hour, so you can test after every deployment.

Remediation validation is another pain point. When you fix a vulnerability, you usually wait 5-10 days for a consultant to verify. Our agents verify your fix in about 5 minutes.

Pricing: $500/month gets you 24 pentests per year (monthly automated + on-demand), SOC 2-ready reports, and remediation tracking. That's $6K/year vs $15K+ for a single traditional pentest.

Tech stack: Next.js frontend, Convex backend, scanning agents on GCP running with Claude Agents SDK.

Demo: https://modernpentest.com

Happy to answer questions about the agent architecture, detection methodology, or false positive handling.
by maxverse | 2026-01-13 17:15:28+00:00
If anyone Googles it and is wondering about Feeling Good (1999) and Feeling Great (2020) by the same author, it seems like Feeling Great is just an updated version of the original book, based on more experience and new insights. Here's the author discussing the difference:

https://feelinggood.com/2020/10/26/213-from-feeling-good-to-...
by n8m8 | 2026-01-13 17:15:52+00:00
Is an ETF simple?

I get your point that in modern society, you can invest in an ETF in a few clicks, but in a way, owning your own infrastructure is simpler. Transform the sun into energy reserves with parts you can buy, understand, and install yourself from wholesalers.

A power company is opaque, carries overhead, and requires complexity to serve at an institutional level. ETFs have a similar complexity/abstraction to their customers.
Show HN: Shimmytok – Pure Rust GGUF tokenizer (no C++, no extra files)
by MKuykendall | 2026-01-13 17:16:02+00:00
I got tired of needing llama.cpp bindings or separate tokenizer.json files just to tokenize text, so I wrote a pure Rust library that reads the tokenizer directly from your GGUF model file, the same output as llama.cpp, zero C++ in the dependency tree.
by schainks | 2026-01-13 17:16:08+00:00
Agree. What an odd tweet. It feels like he couldn’t be bothered to bug Kaiser every day to get the IV scheduled or didn’t have anyone who could make calls for him? Maybe he was truly alone and had no one to trust IRL.

I was a Kaiser Northern California member and yes their scheduling system was dysfunctional — they were the better of the options my employer offered. However, if you’re in need of treatment that is already approved, one phone call was always all you had to do book. Surgery was harder to book than anything, particularly for rare conditions.
by jakevoytko | 2026-01-13 17:16:20+00:00
I followed his blog back when he started this descent, and I have a theory that it was hill climbing.

He used to blog about pretty innocent stuff; his wife making fun of him for wearing pajama pants in public, behind the scenes on drawing comics, funny business interactions he'd had. But then he started getting taken out of context by various online-only publications, and he'd get a burst of traffic and a bunch of hate mail and then it'd go away. And then he'd get quoted out of context again. I'm not sure if it bothered him, but he started adding preambles to his post, like "hey suchandsuch publication, if you want to take this post out of context, jump to this part right here and skip the rest."

I stopped reading around this point. But later when he came out with his "trump is a persuasion god, just like me, and he is playing 4d chess and will be elected president" schtick, it seemed like the natural conclusion of hill climbing controversy. He couldn't be held accountable for the prediction. After all, he's just a comedian with a background in finance, not a politics guy. But it was a hot take on a hot topic that was trying to press buttons.

I'm sure he figured out before most people that being a newspaper cartoonist was a downward-trending gig, and that he'd never fully transition to online. But I'm sad that this was how he decided to make the jump to his next act.
by DHRicoF | 2026-01-13 17:16:21+00:00
I don't understand why I would push to origin my local branch. This will (potentially) require multiple push -f. I prefer to share the work in a state I considere complete.

As an alternative, just create a new branch! `git branch savepoint-pre-rebase`. That's all. This is extremely cheap (just copy a reference to a commit) and you are free to play all you want.

You are a little more paranoid? `git switch -c test-rebase` and work over the new branch.
by ajross | 2026-01-13 17:16:42+00:00
> "almost" is the load bearing word here, and/or a weasel word. Define what an "economically important project" is.

Linux, clang, python, react, blink, v8, openssl... You know what I mean. I stand by what I said. Do you have a counterexample you think is clearly unfunded? They exist[1], but they're rare.

> Is "povertyware" what we call software written by people and released for free now?

It's software subject to economic coercion owing to the lack of means of its maintainership. It's 100% fine for you to write and release software for free, but if a third party bets their own product on it they're subject to an attack where I hand you $7M to look the other way while I borrow your shell.

[1] The xz-utils attack is the flag bearer for this kind of messup, obviously.
by pentagrama | 2026-01-13 17:16:58+00:00
Here is a quick side by side comparison between Apple Creator Studio and the Adobe Creative Cloud suite.
Each app may be stronger or weaker depending on the use case, workflow, and specific user needs, so this is only a rough equivalence.

Function | Apple | Adobe | Adobe price / month
--------------------|----------------------|---------------------|--------------------
Image editing | Pixelmator Pro | Photoshop | ~USD 20
Video editing | Final Cut Pro | Premiere Pro | ~USD 23
Motion graphics | Motion | After Effects | ~USD 23
Audio production | Logic Pro | Audition | ~USD 23
Video encoding | Compressor | Media Encoder | Included with Premiere Pro
Live audio | MainStage | No direct equivalent| N/A
Docs/presentations | Keynote/Pages/Numbers| Express/Acrobat | ~USD 10 to 24
--------------------|----------------------|---------------------|--------------------
TOTAL | USD 12.99 / month | ~USD 100+ / month |
| (7 apps bundle) | (5 apps separately)|
| | USD 69.99 / month |
| | (bundle 20+ apps) |

Disclaimer: table formatting assisted by ChatGPT (hope it works on HN).
by AnotherGoodName | 2026-01-13 17:17:14+00:00
I specifically do remember comics poking fun at diversity initiatives. A quick search of "Dilbert comic about diversity" brings up some examples.

At the time i read those i probably thought they were on point. I've changed my views over the years. You can't keep them or you end up like Adams. That's probably the key to understanding him. He grew up in an era where black students were not allowed to attend white schools. The world changed. He didn't.
by moderation | 2026-01-13 17:17:40+00:00
There is a lot of chatter on Twitter and here about sandboxes for AI, however there appears to be a lack of awareness of the native built in sandboxing capabilities of Claude Code, Codex and Gemini CLI. Claude Code, Codex and Gemini CLI all use seatbelt on MacOS. Claude Code uses bubblewrap on Linux. Codex uses seccomp + landlock on Linux. Codex has experimental native sandboxing on Windows with AppContainer.