MurphyA/hacker-news huggingface dataset:
I Am an Anarcho Pacifist, Opposing the Deep State Center of Power, The Pentagon
by pcwir | 2026-02-09 11:29:17+00:00
Gang stalking & Deep State = Pentagon.

Proof = U.S. Army in wars sets up brothels for U.S. soldiers by human trafficking women.

Also Proof = Years ago, my Instagram account got thousands of fake username bot accounts to spam follow me after I stopped talking to a girl in my 7th or 8th grade class, who said “You’re a great guy, you’ll find someone someday.” I am a respectful man after all.

My name, is Vitalii Mykolayovich Skikun and I am an Anarcho Pacifist and believer in Non-Initiation of Force. Too bad we all have to keep pay taxes.
by NicuCalcea | 2026-02-09 11:30:11+00:00
Do the same what? I don't position my personal opinions as statements of truth that "we" all believe, if that's what you mean.

The Eurobarometer and other surveys clearly show the majority of EU citizens want further integration in lots of fields including defence, foreign policy, fiscal matters, etc. Further integration, such as the adoption of the Euro, is legally mandated and pretty much inevitable.

So when you say "we", you should clarify who you're claiming to represent, because it's not most of us.
by hunterpayne | 2026-02-09 11:30:15+00:00
Nobody has ever recycled Lithium, just reused the cells that lasted longer than average. We have no idea how to actually recycle Li. We don't even understand the physical mechanism that causes it to exhaust. We think if we just let it sit around for a few decades, it might just come back on it own. We don't know though.

As for reserves, while you understand the economics you are missing the physics. For example, there is Li (and U) in the ocean. We don't extract Uranium from the ocean not only because it isn't economical, it isn't even energy efficient. This is because moving a billion tonnes of water takes more energy than the 3 tonnes of Uranium you would harvest from doing that. For Li, its takes just as much energy (and money) as its just as rare. In other words, there is a floor on that economic extraction argument specified by a positive EROEI (energy returned on energy invested).
by stingraycharles | 2026-02-09 11:30:21+00:00
Your response is, completely expected, an appeal to outrage.

You’re asserting that account age shouldn’t matter, and that any scrutiny is morally illegitimate.

Nobody is discriminating against you. It’s just that account age is one of the few signals that an online platform has to go by.

HN absolutely recognizes this in their policy, considering that they give new accounts an entirely different color to make them stand out from the rest, and that they don’t allow downvotes unless your account has achieved a certain karma level.
by hmry | 2026-02-09 11:30:24+00:00
Not OP, and not sure about OCaml and Haskell, but one small example where Java's type system is unhelpful/incorrect is mutable subtyping.

E.g. Java assumes Cat[] is a subtype of Animal[]. But this only holds when reading from the array. The correct behavior would be:

- `readonly Cat[]` is a subtype of `Animal[]`

- `writeonly Cat[]` is a supertype of `Animal[]`

- `readwrite Cat[]` has no relationship with `Animal[]`

But Java doesn't track whether a reference is readable or writable. The runtime makes every reference read-write, but the type checker assumes every reference is read-only.

This results in both

- incorrect programs passing the type checker, e.g. when you try to write an Animal to an Animal[] (which, unbeknown to you, is actually a Cat[]), you get a runtime exception

- correct programs not passing the type checker, e.g. passing a Animal[] into an writeCatIntoArray(Cat[] output) function is a type error, even though it would be safe.

(Although all that is assuming you're actually following the Liskov substitution principle, or in other words, writing your custom subtypes to follow the subtyping laws that the type checker assumes. You could always override a method to throw UnsupportedOperationException, in which case the type checker is thrown out of the window.)

Interestingly, AFAIK Typescript makes these types both subtypes and supertypes at the same time, in the interest of not rejecting any correct programs. But that also allows even more incorrect programs.
by smugglerFlynn | 2026-02-09 11:30:36+00:00
Some of us lack access to good physical bookstores which are curated and allow for casual non-biased exploration. Amazon and other digital players never picked up on curation or segmentation, their store fronts are hot messes similar to digging through a random bin of books at a second hand store. To top it off they skew your opinion with customer ratings visible next to every single title.

So a list like this is a somewhat working digital alternative to browsing books in a curated bookstore.
by ChrisMarshallNY | 2026-02-09 11:30:36+00:00
I try to use MapKit, when possible, as it is unencumbered by licensing and support issues (and works pretty well), but I have considered MapBox. It’s commercial, but pretty straightforward, with licensing and support. I have heard good things about it.

I don’t really know about Maplibre (but I’ll check it out).

Had a friend create an app, based on Google Maps (if you remember, in Ye Days of Yore, GM was the mapping engine for iOS), but Google did the licensing rug-pull thing, and he had to do an emergency open-heart surgery to his app.

That was a sobering lesson about relying on third-party dependencies.

[EDIT] Looking at your app, I’ll not be surprised, if you’re familiar with my friend’s app: EasyRoute
by vhsdev | 2026-02-09 11:30:42+00:00
This is an educational reference implementation showing how to build reasonably secure, standards-compliant authentication from first principles on Cloudflare Workers.

Stack: Hono, Turso (libSQL), PBKDF2-SHA384 + normalization + common-password checks, JWT access + refresh tokens with revocation support, HTTP-only SameSite cookies, device tracking.

It's deliberately minimal — no OAuth, no passkeys, no magic links, no rate limiting — because the goal is clarity and auditability.

I wrote it mainly to deeply understand edge-runtime auth constraints and to have a clean Apache-2.0 example that follows NIST SP 800-63B / SP 800-132 and OWASP guidance.

For production I'd almost always reach for Better Auth instead (https://www.better-auth.com) — this repo is not trying to compete with it.

Live demo: https://private-landing.vhsdev.workers.dev/

Repo: https://github.com/vhscom/private-landing

Happy to answer questions about the crypto choices, the refresh token revocation pattern, Turso schema, constant-time comparison, unicode pitfalls, etc.
by disgruntledphd2 | 2026-02-09 11:30:58+00:00
Yup, LLMs are rocking for smaller more greenfield stuff like this. As long as you can get your results in 5-10 interactions with the bot then it works really well.

They seem to fall apart (for me, at least) when the projects get larger or have multiple people working on them.

They're also super helpful for analytics projects (I'm a data person) as generally the needed context is much smaller (and because I know exactly how to approach these problems, it's that typing the code/handling API changes takes a bunch of time).
by aqeisi | 2026-02-09 11:30:58+00:00
When I was learning web penetration testing / security, I found it really hard to put the bits and pieces together. There are a lot of labs, but the basics are not really explained in depth. The attack simply "works" and you are left thinking why it did. After 7 years in AppSec and multiple expert level certifications, I built AppSecMaster, with clear learning tracks for all skill levels. Each lab has its code attached, where you can spot the insecure code and also a live instance for you to test on. Solutions are explained in detail, starting from the core concepts. There are lots of free / master tier challenges. For expert level users, we also have big applications (mansions) that help prepare you for top level code review certifications.
Best of luck to all
by Notatheist | 2026-02-09 11:31:01+00:00
In my early days someone told me generating roads is a non-trivial problem and I thought that was bollocks so I spent 4 months smashing my head against a wall to prove them wrong!

>A clothoid gradually increases curvature over distance.

This seems complete overkill? I remember smoothing between tangents of two circles to mostly solve roundabouts. I had to cheat for 3+ lane roundabouts but it worked for any semi-realistic road.

>Just simple rules stacking on each other that result in beautiful patterns. I can’t explain why, but seeing those structures always felt good.

I think in 2026 it's safe to blame your autism. I do. Nobody likes Factorio because it's a good game. We're here for the lines and grids.
by xorcist | 2026-02-09 11:31:10+00:00
I wish more people understood this. Or perhaps they do, but it doesn't fir their political pitches or something.

Funding an enormously complicated semiconductor facility from a blank sheet of paper somewhere in Europe is a very expensive way to accomplish little, if the rest of the supply chain from materials to products is in non-friendly nations.

The way to bring in an industry the same way you do anything complicated: You start small. Get the specialized diode factory up and running again, and then build out supporting industries and value chains as needed. Complex lithography equipment can wait until last.

It wasn't long ago we built mobile phones in Europe. Ericsson, Nokia, Siemens, Alcatel and Bosch all had production and most if not all components were sourced from Europe or the US. Two decades ago is the blink of an eye in the larger scheme of things, not even a generation, and many who worked on this are still in their working years.

Without being directly related, it would also be a good opportunity to chisel out a crack in the Android/Apple monopoly. Then maybe in a decade or so you could actually live as a functioning citizen without giving remote root to the oligarchs and self proclaimed supranational kingmakers.
by layer8 | 2026-02-09 11:31:30+00:00
There are people who bid but then don’t pay if they win the auction. Or take weeks to pay after winning. That’s just a pain for the seller, because they have to spend time trying to get the winner to pay, or else have to put up the auction again (which used to cost some fee each time for the seller, I don’t know how it is now). The only penalty for non-paying winners is the negative feedback they receive.
by alexjreid | 2026-02-09 11:32:37+00:00
xllify takes your existing Excel formulas or VBA and produces clean, reusable custom functions packaged as proper add-ins. You can also just describe what you need in plain English.

Yes, this part is an LLM wrapper. LLMs can reliably write code that targets xllify, given adequate guardrails.

The engine is written in C++ and uses Luau (Roblox's Lua fork) as the sandboxed scripting runtime. Luau might seem an odd choice, but it's genuinely well-suited here, it's fast, sandboxed, and compiles easily for both native and WASM targets. And you don't really need to know Luau to use xllify: the AI writes it for you. We'll see if Luau is a barrier.

Anyway, the same Luau code runs two ways:

.. As a native XLL add-in on Windows, talking directly to Excel's C API. This gives you in-process, multi-threaded function execution with low overhead. If you've ever wrestled with the C API directly, you know why this matters. It's extremely fast but utterly brutal to work with. xllify tames.

.. As a web-based add-in via WebAssembly, using the Office JS platform. Same code, same functions, but now deployable on Mac and Web with all the discoverability and security benefits that come with the modern add-in model.

Luau coroutines are supported, so functions can do non-blocking work (API calls, streaming data) without locking up the calculation chain. The runtime ships with a comprehensive standard library so you're not starting from nothing.

DuckDB is available to do heavy lifting on data analytics problems on data that might be too big to fit into Excel.

LLMs can hallucinate, so xllify doesn't rely purely on generation. The AI will select from a library of verified, tested functions where they exist rather than generating from scratch every time. Industry-specific function packs (finance, healthcare) are on the way.

There are two ways to build:

.. xllify Assistant runs inside Excel itself. You have a conversation with the assistant, build and test functions live, and when you're done you can export a .zip with a ready-to-deploy add-in setup including the package.json Office JS packages.

.. xllify agent tooling for local development if you prefer working in your own editor/terminal.

The add-ins are fully self-contained. No runtime dependencies, no phoning home, no ongoing model costs. Once built, it's yours. Works in air-gapped environments.

Try the online demo and sign up for early access: https://xllify.com - I would love your thoughts on this niche little thing.
by AutumnsGarden | 2026-02-09 11:33:01+00:00
For the past 2ish months, I’ve been working on Lattice, my internal engine for my multi-tenant blogging system. Take a look at the code [1] and the live site [2]

[1]: https://github.com/AutumnsGrove/GroveEngine
[2]: https://grove.place
Show HN: Busted – eBPF tool that monitors what your AI agents send
by barakber | 2026-02-09 11:33:29+00:00
I built an eBPF tool that hooks into the kernel to monitor and enforce policies on LLM/AI traffic in real time — no application changes needed.

It attaches uprobes to OpenSSL's SSL_write/SSL_read to capture decrypted payloads, classifies traffic to 12+ LLM providers (OpenAI, Anthropic, Google, etc.), detects MCP JSON-RPC calls, and can block connections in-kernel via LSM
hooks.

You can write inline Rego policies for enforcement. For example, deny any request to Anthropic containing a specific keyword:

sudo busted monitor --enforce --rule 'package busted
default decision = "allow"
decision = "deny" {
input.llm_provider == "Anthropic"
contains(input.tls_payload, "secret_project")
}'
Everything is Rust — eBPF programs, userspace agent, classifier, policy engine, and native egui dashboard. Built with Aya.

https://github.com/barakber/busted
by franga2000 | 2026-02-09 11:33:55+00:00
I agree, that's the biggest appeal. But on Linux, there isn't really a "system webview", so they use webkit2gtk. Most systems happen to have this installed as a dependency for something else, so it's a reasonable choice.

The thing is, that library is based on an ancient version of webkit, which is slow and lacks some modern web features. There are some open issues about it and the response is "yea, we know, we're doing the best with what we have", which is fairly reasonable.

A secodary complicating factor is that the main "universal binary" for Linux is AppImage, which by design requires you to ship all the dependencies. So you end up with the eorst of both worlds: you're still shipping an entire webview with every app, just like Electron, while unlike Electron, which is based on recent Chromium, the webview is based on outdated Webkit.

There have been some attempts to bundle CEF (basically Chromium) instead of Webkit and there is also a testing branch that uses Servo, but those only solve the second issue.

Ideally, the Linux ecosystem would standardise on a webview implementation and Tauri could link to that, just like they link to Webkit on macOS and Edgeium on Windows. It could be based on Blink (Chromium) or Gecko (Firefox) or even better, it could be just a standard interface and the use could pick their implementation. But since the Tauri folks would be the first and for a while only people using it, they'd probably have to do most of the work themselves.
by EMM_386 | 2026-02-09 11:34:04+00:00
> It cannot, however, synthesize new facts by combining information from this corpus.

That would be like saying studying mathematics can't lead to someone discovering new things in mathematics.

Nothing would ever be "novel" if studying the existing knowledge could not lead to novel solutions.

GPT 5.2 Thinking is solving Erdős Problems that had no prior solution - with a proof.
by Krasnol | 2026-02-09 11:34:15+00:00
For someone who wants to sell the idea of not wasting time on reading, you're trying to waste a lot of time with your comment. You wasted mine for sure so I'll hopefully help somebody else with my short comment:

----------------

- op basically says: don't pay attention to recommendation lists

- they assume you plan on reading all books recommended there or none

- they do not present an realistic alternative to finding books you might like

--------------------

Especially the last point is what I missed from your comment because it is actually a good idea to browse through other peoples recommendations to find similarities in taste.

Like in this list, I looked at the SciFi section and didn't find Neal Stephenson. Which, for me, is a sign of good quality together with other books I've already read. There are other books I have not even heard about. I might check them out and it would be a logical thing to do. Nothing wrong about it and chances are good that I might like it. They are certainly better than a wild guess.
by mrkeen | 2026-02-09 11:34:28+00:00
TIL about Monofunctor.

Pretty nifty. It's for cases where your type is a container of something (as opposed to anything).

I.E. you can .map (or .Select if you're .NET-inclined) over the Chars in a String, but not some other type, because String can't hold another type.

https://hackage.haskell.org/package/mono-traversable-1.0.21....
by re-thc | 2026-02-09 11:35:11+00:00
> Essentially people get fooled by survivorship bias

It's still a thing today though? It's not survivorship bias. Take the Microwave example. In a lot of countries it is very hard to buy just a traditional (convection) Microwave now. They force these 4-in-1 or an inverter Microwave.

> leads them to conclude that things were higher quality back in the day

It says nothing about "quality". So continuing, yes the inverter Microwaves are "quality", offer more control and costs more but due to all the complexity dies way faster. A lot of them die in <3 years when the traditional 1s last way longer. Back in the day we only had convection Microwaves. The end.

> This is a common myth that was debunked a while back.

By who? By you? Another example - SSDs have been made to not last as long. We went from SLC -> MLC -> TLC -> QLC etc. The writes were reduced. Did the consumers want this? No. There just wasn't much "choice". Top of line Samsung consumer SSDs just changed. During COVID some vendors sneakily adjusted it too. So, yes quality went worse. Deliberately.
by technothrasher | 2026-02-09 11:35:19+00:00
Professionally, I'm currently working on a touchscreen interface for a medical device warming cabinet. But in my spare time I'm learning to use the micro-mill I recently purchased, by creating a cutting tool for an electric hand drill that will make flat holes in wood that are cut to exact depth and centered correctly. This is for preparing worn out pivot holes in 19th century wooden works clocks to insert bushes.
by wongarsu | 2026-02-09 11:35:33+00:00
> People only speak or write down information that needs to be added to a base "world model" that a listener or receiver already has

Which companies try to address with image, video and 3d world capabilities, to add that missing context. "Video generation as world simulators" is what OpenAI once called it

> When people produce text, there is always a motive to do so which influences the contents of the text. This subjective information component of producing the text is interpreted no different from any "world model" information.

Obviously you need not only a model of the world, but also of the messenger, so you can understand how subjective information relates to the speaker and the world. Similar to what humans do

> The other issue in this argument is that you're inverting the implication. You say an accurate world model will produce the best word model, but then suddenly this is used to imply that any good word model is a useful world model. This does not compute

The argument is that training neural networks with gradient descent is a universal optimizer. It will always try to find weights for the neural network that cause it to produce the "best" results on your training data, in the constraints of your architecture, training time, random chance, etc. If you give it training data that is best solved by learning basic math, with a neural architecture that is capable of learning basic math, gradient descent will teach your model basic math. Give it enough training data that is best solved with a solution that involves building a world model, and a neural network that is capable of encoding this, then gradient descent will eventually create a world model.

Of course in reality this is not simple. Gradient descent loves to "cheat" and find unexpected shortcuts that apply to your training data but don't generalize. Just because it should be principally possible doesn't mean it's easy, but it's at least a path that can be monetized along the way, and for the moment seems to have captivated investors
by joe_mamba | 2026-02-09 11:35:50+00:00
>I'm sure some town in Italy wishes it was still the world's #1 diode manufacturer or something.

Except that's exactly what happened. EU semi fabs like the ones in Italy mostly make diodes, mosfets, microcontrollers and other such low margin products. Nobody here tapes out GPUs and CPUs, that's all Korea, Taiwan and US.
by Aeglaecia | 2026-02-09 11:36:00+00:00
interpreting his words on a literal basis , the PR submitter isn't being directly impolite ...

if you will , place yourself in the shoes of the repository maintainer. a random person (with a personal agenda) has popped up trying to sell you a solution (that he doesn't understand) to a problem (that you don't see as problematic). after you spending literal hours patiently explaining why the proposition is not acceptable , this random person still continues attempting to sell his solution.

do you see any impoliteness in the reframed scenario ?
by phpnode | 2026-02-09 11:36:04+00:00
I'm more interested in the general question rather than the specifics of this situation, which I'm sure is now incredibly common. I know it looked at those implementations because I asked it to, and therefore I will credit those projects when I release this library. In general though, people do not know what other material the agents looked at in order to derive their results, therefore they can't give credit, or even be sure that they are technically complying with the relevant licenses.
by enagymo | 2026-02-09 11:36:42+00:00
Cascade Puzzle, a daily puzzle game inspired by Panel de Pon / Tetris Attack. Swap blocks horizontally to match 3+, trigger chain reactions, clear the board in limited moves.

I originally started this years ago and abandoned it because puzzle generation was hard and I didn't have the proper time to finish it. Picked it back up recently with Claude Code and finally cracked it, the generator uses backward construction (starts solved, reverses moves) so every puzzle is guaranteed solvable.

3 daily puzzles (Easy/Medium/Hard), shareable results like Wordle, no account needed.

https://cascadepuzzle.com
by repelsteeltje | 2026-02-09 11:36:44+00:00
Your last sentence makes a very good point. And Uncle Bob's tool is to have loads of tests.

I suppose it's all just a balance: simplicity versus expressiveness, foot guns versus inflexibility, conciseness versus ceremony, dev velocity versus performance in production.

I'm okay with shifting some of the burden of common errors from developer into the language if that improves reliability or maintainability. But Martin has a point in that no guard rails can ever prevent all bugs and it can be annoying if languages force lots of new ceremony that seems meaningless.