MurphyA/hacker-news huggingface dataset:
by yu101994 | 2026-01-10 02:07:51+00:00
Hi HN, I’m excited to share *Zombie Extraction Squad Survival*, a browser-first zombie survival game that I’ve been working on at *kuakua.app*. It’s a top-down extraction shooter where you scavenge, fight and extract alive through relentless waves of zombies.
>
> You manage a small squad, loot weapons and gear, rescue survivors, and make tactical decisions under pressure — all in a lightweight, instant-load web experience. I built it using *Gemini 3 Pro* for the game design and logic, and it’s optimized to run smoothly in desktop and mobile browsers without installs.
>
> If you like classic top-down shooters, tactical survival games, or roguelike extraction mechanics (think “search, fight, and get out”), give it a spin and let me know what you think. Would love feedback from the HN community on the gameplay systems and web deployment approach.

Thanks!
by morshu9001 | 2026-01-10 02:08:46+00:00
IMO JS and its spinoffs made mostly the best choices for an interpreted language. The bad parts are pretty inconsequential, and the good parts are important things other langs didn't do well. Even Rust took after how it does async and package management.

Better than Python which also recently started copying over JS decisions, except that Py was easier to use with C libs from the start which made it capture math/data/science usage earlier.
by Guvante | 2026-01-10 02:08:50+00:00
Ignoring OpenAI due to when this article came out of the Fortune 500 one company was less than a decade old.

https://247wallst.com/special-report/2023/05/06/youngest-com...

Given we now have 2,500 billionaires how can they not manage to come up with new ideas that create companies any faster than that?

The reality is most billion dollar companies are made through mergers to reduce market competition not actually creating new things.
by nebula8804 | 2026-01-10 02:08:59+00:00
The $7,500 credit is not really what I am talking about. Most of the 7 Billion in investment came during the Biden years due to pressure (from the administration as well as investors). So the industry complied, spent the money, built all these factories, terminated ICE programs and supply chains and now they are forced to write off a lot of this investment because the market is not there in the US.
by lossolo | 2026-01-10 02:09:01+00:00
I don't think transparency alone will be enough. We may need to treat foreign speech differently from domestic speech (my last sentence from previous comment), with different protections (prioritizing domestic speech) because you simply cannot control the firehose of propaganda coming from the rest of the world. And don't get me wrong, this isn't about silencing foreign opinions. What I mean is we need to recognize that a citizen expressing a view and a state apparatus manufacturing thousands of fake citizens expressing that view are fundamentally different things, deserving different treatment. We already make this distinction in campaign finance, lobbying, broadcasting etc. So I think extending it to the information space isn't a radical departure, it's basically catching up to the modern world.

I want to circle back to something, because I think there's an irony in your argument that's worth examining.
The administration you're worried about abusing power is itself a product of the influence operations. We have documented evidence (not speculation) of Russian operations boosting Trump's candidacy in 2016 and 2024. We have confirmed payments to influencers like Tim Pool and others through Tenet Media, amplification networks on social platforms, coordinated campaigns targeting swing state voters. The Mueller investigation, the Senate Intelligence Committee report, the recent DOJ indictments etc all showing the same thing.

So when you say "look at how Trump is abusing power, this is why we shouldn't give governments these tools", I'd ask: how do you think he got there? The foreign influence you're arguing we should mostly tolerate helped install the government you're now citing as proof we can't trust government.

You're using the consequences of the problem as an argument against addressing the problem.

On your "if democracy can't survive this, maybe it's not saveable" point, I find this fatalistic in a way that doesn't match how you argue about everything else. You clearly do think democracy is worth protecting (that's why you're worried about government overreach, civil liberties etc) So I think yu're not a nihilist.
So why adopt an all or nothing frame specifically here? Democracies have always required defensive mechanisms. We have treason laws, foreign agent registration, campaign finance rules etc. So it wasn't about "pure openness vs. authoritarianism", but basically it always been about where to draw lines. Drawing them poorly is a risk. But as I said before refusing to draw them at all isn't principled neutrality, it's just losing by default.
by hephaes7us | 2026-01-10 02:09:24+00:00
I'm not certain what you're advocating for here?

If you are interested in the public good, I think it is pretty clear that we should ban roulette overnight since it has a negative expected value for everyone but the casino. On the other hand (still presuming you're interested in the public good), I think you have to consider very carefully whether it's good or bad to lock people out of investments or to restrict people's access to health care.
by matu3ba | 2026-01-10 02:10:26+00:00
1 Does this mean that Sledgehammer and Coqhammer offer concolic testing based on an input framework (say some computing/math system formalization) for some sort of system execution/evaluation or does this only work for hand-rolled systems/mathematical expressions?

Sorry for my probably senseless questions, as I'm trying to map the computing model of math solvers to common PL semantics. Probably there is better overview literature. I'd like to get an overview of proof system runtime semantics for later usage.
2 Is there an equivalent of fuzz testing (of computing systems) in math, say to construct the general proof framework?
3 Or how are proof frameworks (based on ideas how the proof could work) constructed?
4 Do I understand it correct, that math in proof systems works with term rewrite systems + used theory/logic as computing model of valid representation and operations? How is then the step semantic formally defined?
by kazinator | 2026-01-10 02:10:29+00:00
As a long time Usenetter, I don't care about the first two sentences being abrasive, but the material in quotes is insinuating that the replied-to grandparent at some point contained that verbatim text. I have a hunch that it did not, which is not cool. Particularly because the text is negative, making the false attribution defamatory, which is a different category from insults.
by SanjayMehta | 2026-01-10 02:10:49+00:00
"A government that openly talks about invading other countries, threatens foreign leaders, and normalizes cross-border seizure or removal of heads of state is running the same play abroad that it runs at home: rule by fear.
Outside the country, it is coercion dressed up as “security.”
Inside the country, it is coercion dressed up as “law enforcement.”"

https://open.substack.com/pub/grumpychineseguy/p/americans-d...
by wslh | 2026-01-10 02:11:41+00:00
This is the forst time I heard about Aristotle and find it very interesting. First question first: is it available for the general public? I don't know if this is the page to try it? [1]

Second, when you say language modeling support, it means that can better understand code representation (ASTs) or something else? I am just an AI user, not very knowledgeable in the field. My main interest is if it would be great for static analysis oriented to computer security (SAST).

[1] https://aristotle.ai/
by fsniper | 2026-01-10 02:12:26+00:00
- This is my son please make him a rock star
- here you go.
- great maybe a polititian?
- here you go (gives President of USA)
- Great perhaps President of Ireland instead?
- No I can't do that.
- But you did POTUS?
- I checked and I didn’t do POTUS? I only did a rock star.
by perching_aix | 2026-01-10 02:13:41+00:00
> The Assembly of Experts members are elected directly by the people every 8 years,

But who gets on the ballot is controlled by the Guardian Council. So it's like how you could get the first car Ford produced in any color, as long as that color was the color black.

Surely this is not new info to you?

> Who elects your king? Trump or Satanyahu

If you think this is a boxing or a football match of some sort, please consult the forum guidelines. We're not here to beat each other down.
by somat | 2026-01-10 02:14:48+00:00
So what's the mechanism here? I did not find any sort of api like isPhoneRooted() But also, I did not look very hard.

I am probably missing something obvious(some sort of tpm key attestation) but it feels like it would be impossible task. I mean, theoretically higher layers can check that lower layers have the correct signed checksums, but they need to use the lower layer to do it and the lower layer could just lie to them. (if isSystemFile(f_name) then return originalFile(f_name); or provide a virtual tpm).
Ask HN: Have CES keynotes been especially bad this year?
by Fr0styMatt88 | 2026-01-10 02:16:30+00:00
So I don't know if it's the way GamersNexus is presenting it, but it seems like the big tech company CES keynotes are just.... incredibly bad.

Even disregarding the AI, they seem incredibly unpracticed, awkward and just like they were slapped together at the last minute or without any care.

Is it just me?
by bigiain | 2026-01-10 02:16:58+00:00
I have a related question, how far are you turning the thumbscrews when making adjustments?

I think M3 standard thread pitch is 0.5mm, so to a first approximation that almost 1000 wavelengths (if I have the SI units right in my head, and I'm not 3 orders of magnitude out?). I suspect the left/right and up/down adjustments have as fairly high lever ratio, but I can't imagine you could successfully adjust the in/out distance with any precision (not in the 690nm sense anyway)? Is the in/out distance not important so long as the beams are aligned?

Dunno if you've seen it, but there's a great youtube video explaining how the actuators to align the James Webb mirrors work: https://m.youtube.com/watch?v=5MxH1sfJLBQ including a 3D printable version of them: https://www.thingiverse.com/thing:5232214 "This is a replica of JWST's mirror actuators. Six of these actuators are paired into a hexapod / stewart platform arrangement and used to control 6 degrees of freedom of each mirror segment (tip, tilt, roll, x, y, z translation)."
Show HN: 0list – Self-hosted waitlist on Cloudflare Workers (free tier)
by d4mr | 2026-01-10 02:18:24+00:00
Waitlist SaaS tools charge $15-40/mo for features you could build in a weekend. Some charge per signup. For a form that writes emails to a database.

Waitlist software is probably the most vibe-codeable SaaS in existence. It's CRUD with a position counter. So I vibe-coded one with Claude, but tried to actually curate some soul and taste into it. Features that make sense and nothing that doesn't: double opt-in, position numbers, source tracking, CSV export, a clean admin dashboard. No referral program nonsense, no gamification, no "invite 5 friends to move up."
It runs entirely on your Cloudflare account:

- Workers + D1 (SQLite) + Hono
- Email confirmation via Resend
- Type-safe API with Hono RPC
- npx create-0list my-waitlist to scaffold

The whole thing runs on Cloudflare's free tier. Your data stays in your database. Zero dollars a month forever.

Demo: https://demo.0list.d4mr.com
Docs: https://0list.d4mr.com
Source: https://github.com/d4mr/0list

Happy to answer questions about the stack or the build process.
by robot-wrangler | 2026-01-10 02:19:29+00:00
> Then what sort of math problem would be a milestone for you where an AI was doing something novel?

What? If we're discussing novel synthesis, and it's being contrasted with answer-from-search / answer-from-remix.. the problem does not matter. Only the answer and the originality of the approach. Connecting two fields that were not previously connected is novel, or applying a new kind of technique to an old problem. Recognizing that an unsolved problem is very much like a solved one is search / remix. So what happened here? Tao says it is

> is largely consistent with other recent demonstrations of AI using existing methods to resolve Erdos problem

Existing. Methods. Tao also says "This is a demonstration of the genuine increase in capability of these tools in recent months". This is the sentence everyone will focus on, so what is that capability?

> the more interesting capability revealed by these events is the ability to rapidly write and rewrite new versions of a text as needed, even if one was not the original author of the argument.

Rejoice! But rejoice for the right reasons, and about what actually happened. Style and voice transformations, interesting new capabilities for fuzzy search. Correct usage of external tools for heavy-lifting with symbolics. And yes, actual problem solving. Novel techniques, creativity, originality though? IDK, sounds kind of optimistic based on the detail here.
by rsiqueira | 2026-01-10 02:19:36+00:00
A small, curated collection of generative sketches written in 140 characters each, using plain JavaScript on dwitter.net.

Fractals:
https://www.dwitter.net/h/fractal

Dynamical systems / chaos:
https://www.dwitter.net/h/chaos

Strange attractors:
https://www.dwitter.net/h/attractor

Spiral-based generative art:
https://www.dwitter.net/h/spiral

Fireworks simulation:
https://www.dwitter.net/h/fireworks

Procedural scenes:
https://www.dwitter.net/h/scene

Wavelets (3D and 2D):
https://www.dwitter.net/h/wavelet

And the most popular dweets:
https://www.dwitter.net/top/all
by ndriscoll | 2026-01-10 02:20:16+00:00
The problem statement is apparently

> Let C>0 and ϵ>0 be sufficiently small. Are there infinitely many integers a,b,n with a≥ϵn and b≥ϵn such that a!b!∣n!(a+b−n)! and a+b>n+Clogn?

Which seems like it's the type of thing you give as a homework problem to state formally in an intro class.
by dang | 2026-01-10 02:21:40+00:00
Yes, using quotation marks to make it look like you're quoting someone when you're not is a trope of internet aggression and something we've long asked HN commenters not to do: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que..., and is one of the reasons why the GP comment was abusive.
by stinkbeetle | 2026-01-10 02:21:50+00:00
> When the risks are too high, then exit the market. When you do business in a market, adhere to the laws there.

And when you want help to improve your terms of trade, you can petition your government to assist.

> It is however the business of governments to foster harmonized (globalized) markets.

It is the business of governments to further the interests and wishes of their people.

> But the US has killed so many regulations and collaborations in the last year, that there is little hope that this will improve any time soon.

Is Italy's actions here fostering "harmonized (globalized) markets", I wonder?

> They do not want globalization anymore but American first.

If globalization is what Americans want, then that is what their government should be accommodating. If it's not, then the government should not.

Even if "the experts" think something is right or wrong, even if some economic factor or other might objectively improve with a particular policy, it should be up to the people to decide. Self-determination is one of the most fundamental human rights there is, too often ignored by the ruling class.
by lcmeyer | 2026-01-10 02:23:07+00:00
Hi HN,

I built Ollie because I was noticing a couple of things in the current AI coding landscape:

Subscription Fatigue: I didn't want to increase more monthly costs for LLM tools that I use every day.

Black Boxes: I wanted to know exactly what data/tokens were being sent to the LLM, so I built a "Glass-Box" interface that shows token-level transparency.

Ollie is a native IDE (Mac/Win/Linux) that supports remote and local models and gives you full control over the system prompt. It also includes tools for 3D inspection and manuscript writing, as I wanted a single "creator workstation."

I'm adding it as a one-time purchase, I usually prefer when I own my licenses.

I’d love to hear your feedback.
by dang | 2026-01-10 02:23:50+00:00
Whoa, you can't post like this to HN, regardless of how wrong someone is or you feel they are.

We ban accounts that do this, and I'm afraid you've been breaking the site guidelines (https://news.ycombinator.com/newsguidelines.html) in other places as well, including other personal attacks: https://news.ycombinator.com/item?id=46530967.

It also looks like you've been using HN primarily for ideological battle, which is not something we allow here (see https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme... for past explanations of this point).

Would you mind reviewing https://news.ycombinator.com/newsguidelines.html and sticking to the rules? We'd appreciate it. You're welcome here as long as you do that, but we really need commenters to stay respectful, avoid posting in the flamewar style, and (above all) use the site primarily for curiosity, not smiting enemies.
Show HN: A Constitutional Framework for Ethical AI Decision-Making
by StrategicEthos | 2026-01-10 02:23:53+00:00
I've open-sourced a framework that transforms LLMs into constitutional ethics advisors. It's designed to prevent catastrophic decisions like Volkswagen's emissions scandal or Meta's Cambridge Analytica breach.

Core idea: "Dogma in constitution, pragmatism in execution"

7 Sovereign Principles (non-negotiable boundaries)

7 Engagement Principles (adaptive execution)

Canonical prompt that makes any LLM reason within these boundaries

What makes it different:

Executable, not theoretical - Comes as a prompt you can use right now

Case-study validated - Shows how it would have prevented real disasters

AI-native - Designed for LLM integration from the start

Example: Volkswagen Emissions Scandal

What happened: €30B+ penalties, criminal charges

Framework analysis: Triggers constitutional halt (S2: Integrity violation → deception)

Result: Forces honest choice: redesign, de-rate performance, or exit market

GitHub: https://github.com/SebastFock/Sovereign-Engagement

Looking for feedback:

What other historical tech disasters should we analyze?

How can we improve the prompt engineering?

What AI ethics dilemmas should we test?

How to integrate with existing AI agent frameworks?

This isn't just theory—it's ethics as executable code.
by duxup | 2026-01-10 02:24:30+00:00
They shouldn't, and shouldn't be given a job like that. But I think it's by design. Create confrontation so the administration can take further steps.

A lot of these guys behave like they really want someone to provoke them so they can shoot someone ... even when they're not provoked:

https://www.reddit.com/r/ICE_Raids/comments/1q7u4kz/ice_agen...

https://www.reddit.com/r/minnesota/comments/1q7y43s/cbp_poin...

These are the folks this administration want out there, to distract folks, fracture country, all of the above probably.
by raw_anon_1111 | 2026-01-10 02:25:07+00:00
I work from home and “retired my wife” six years ago. She’s home most of the time unless she’s out either teaching fitness classes or taking fitness classes. We talk all of the time off and on during the day.

We also travel a lot (nothing glorious or expensive and I know all of the credit card hacks), if you see us on our phones when we are out, we are usually looking at our shared calendar/Google sheet plotting and planning what we are going to do next.

We are 51/50 and have a window where our kids are grown and our parents see mostly healthy and independent and we are both in good shape and gym rats
by wizzwizz4 | 2026-01-10 02:26:34+00:00
These questions are hard to understand.

1. Yes, the Sledgehammer suite contains three testing systems that I believe are concolic (quickcheck, nitpick, nunchaku), but they only work due to hand-coded support for the mathematical constructs in question. They'd be really inefficient for a formalised software environment, because they'd be operating at a much lower-level than the abstractions of the software environment, unless dedicated support for that software environment were provided.

2. Quickcheck is a fuzz-testing framework, but it doesn't help to construct anything (except as far as it constructs examples / counterexamples). Are you thinking of something that automatically finds and defines intermediary lemmas for arbitrary areas of mathematics? Because I'm not aware of any particular work in that direction: if computers could do that, there'd be little need for mathematicians.

3. By thinking really hard, then writing down the mathematics. Same way you write computer programs, really, except there's a lot more architectural work. (Most of the time, the computer can brute-force a proof for you, so you need only choose appropriate intermediary lemmas.)

4. I can't parse the question, but I suspect you're thinking of the meta-logic / object-logic distinction. The actual steps in the term rewriting are not represented in the object logic: the meta-logic simply asserts that it's valid to perform these steps. (Not even that: it just does them, accountable to none other than itself.) Isabelle's meta-logic is software, written in a programming language called ML.
by kcplate | 2026-01-10 02:28:07+00:00
ICE has had a press conference and explained why their agents approached the car and wanted to detain that driver. They are claiming obstruction of their operations (18 U.S.C. § 111). It doesn’t matter what I think or what you think, only what they thought and what the subsequent other evidence substantiates either validating their claim or not and what a potential jury might decide on the subject.

I’ve explained elsewhere on this HN thread what I observed from the videos we have all seen by now and why I think it will be difficult to waive the qualified immunity of the officer to pursue criminal charges against him. This particular spur of the thread is about whether or not law enforcement can detain people. They have the force and capability to detain, and they have case law that allows it.
by vunderba | 2026-01-10 02:28:45+00:00
Okay I think it's fixed - I'm testing for NOTE_ON with velocity of 0. Let me now if that solves it for you. I simulated a test of it because my midi controller just sends the regular NOTE_ON/NOTE_OFF messages!

Tried out your site - super clean interface. I noticed you are using the Salamander Grand Piano samples. For some weird reason I thought that those samples were pretty huge (50+ MB) but it loaded up pretty quick so great job!
Show HN: Build your own Atlas/Comet AI-browser (open source)
by tomkit | 2026-01-10 02:28:53+00:00
I forked Chromium and went through the plumbing to embed a ReactJS/NextJS web app in its Side Panel like OpenAI's Atlas browser and Perplexity's Comet browser.

The Side Panel has access to the browser's DOM which you can pass as context to LLMs in your web app. Supports hot reloading for faster development.

Hopefully this is helpful for web devs who haven't, or don't want to, touch C++ and Chromium, but want to build a native AI experience into browsers.
by mattwilsonn888 | 2026-01-10 02:29:39+00:00
If you have to work in a language or framework with a lot of arbitrary-seeming features, ugly or opaque translation layers, or a lot of boiler-plate, then I absolutely understand the sentiment.

Programming a system at a low-level from scratch is fun. Getting CSS to look right under a bunch of edge cases - I won't judge that programmer too harshly for consulting the text machine.

This is especially true considering it's these shallow but trivia-dominated tasks which are the least fun and also which LLMs are the most effective at accomplishing.