Hacker News: stevefan1999

New comment by stevefan1999 in "A SAT Attack on Tarski's High School Algebra Problem"

stevefan1999 — Sun, 16 Aug 2026 12:51:05 +0000

I'm not sure, but maybe it is due to that the expression a - b can be replaced as a + (-b)?

Similarly, I think a * b and a / b can be replaced with the same trick, but then I realized it may not work on non-abelian, or where multiplicative inverse is not available...

New comment by stevefan1999 in "Yadda 3.0.0: BDD in the Age of AI Agents"

stevefan1999 — Sat, 15 Aug 2026 17:53:39 +0000

Yep, I've been experimenting Playwright with CucumberJS and Deno for the last 3 months and it's super effective

New comment by stevefan1999 in "Intel wants to integrate DRAM with the CPU [video]"

stevefan1999 — Thu, 13 Aug 2026 11:57:17 +0000

So uh, isn't it just L4 cache like 3D V-Cache or in Intel's own terminology, bLLC? I just don't see how they violated data hierarchy to be more useful

Introducing Grok 4.6

stevefan1999 — Wed, 12 Aug 2026 15:52:52 +0000

Article URL: https://cursor.com/blog/grok-4-6

Comments URL: https://news.ycombinator.com/item?id=49274374

Points: 14

# Comments: 1

Kilo Cloud platform is not accessible

stevefan1999 — Wed, 12 Aug 2026 13:12:39 +0000

Article URL: https://status.kilo.ai/incidents/zsll73pc409p

Comments URL: https://news.ycombinator.com/item?id=49271907

Points: 2

# Comments: 0

New comment by stevefan1999 in "Publishing Schematics Before “Open Source” Was a Word"

stevefan1999 — Tue, 11 Aug 2026 00:56:26 +0000

This site, https://fabscene.com/ fascinates me even more

New comment by stevefan1999 in "Show HN: A tiny LLM running at 21,000 tok/s on a $250 FPGA (Live Demo)"

stevefan1999 — Mon, 10 Aug 2026 18:24:26 +0000

That said, FPGA do provide a middle ground, but using it for speed and power efficient is not a forte, and the true value exactly comes from this focus alone: it allows you do emulate systhesis and verify that your logic is correct before you do full ASIC tapeout, e.g. building softcores for CPU validation

Anything else is added and unintentional benefits.

New comment by stevefan1999 in "Launch HN: Stoa Markets (YC S26) – A Marketplace for GPUs and AI Servers"

stevefan1999 — Mon, 10 Aug 2026 18:18:35 +0000

vast.ai rents. this one sells

New comment by stevefan1999 in "Launch HN: Stoa Markets (YC S26) – A Marketplace for GPUs and AI Servers"

stevefan1999 — Mon, 10 Aug 2026 18:17:42 +0000

But what about the GPUs that are considered defective for corporate and enterprise use, but perfect for personal use...say like A100s that maybe having ECC issues but I can live with that

New comment by stevefan1999 in "Itadakimasu: A word you say to the food, not the cook"

stevefan1999 — Mon, 10 Aug 2026 18:12:49 +0000

語源は、食事の準備のために駆け回ることを意味する「馳走（ちそう）」という言葉にあります。そこに、敬意を表す接頭語の「ご」と接尾語の「様」が結びつき、「ご馳走様（ごちそうさま）」という表現になりました。現在では、食事を用意してくれた人や、ごちそうしてくれた人に対するお礼の言葉として広く使われています。

from https://jp.indeed.com/career-advice/career-development/thank...

New comment by stevefan1999 in "Itadakimasu: A word you say to the food, not the cook"

stevefan1999 — Mon, 10 Aug 2026 17:51:05 +0000

I used to hear that when you finished eating ramen and you should say this as a replacement speech of "thank you". It basically means "It must be tired of you to go around to design and prepare for the meal" which implicitly implied an appreciation

New comment by stevefan1999 in "Itadakimasu: A word you say to the food, not the cook"

stevefan1999 — Mon, 10 Aug 2026 17:39:36 +0000

Another fun fact: itadakimasu is categorized as a keigo, or more specifically, kenjougo, an honorific expression that depreciates speaker itself. And since itadaku is an advanced version of morau to show that "I am of lower status", so the whole expression should be (from the gods/kamisama/the people above me who brings me here for the feast) I humbly receives.

This is also why you say itadakimasu even when alone, despite there are apparently no one superior than you exists, but no, it is now the gods you appreciate

New comment by stevefan1999 in "Study links GLP-1 drugs to bigger jump in women's employment than a degree"

stevefan1999 — Mon, 10 Aug 2026 17:27:52 +0000

Hmm, I've got Rybelsus, it did something. I can reduce my daily meal from 3 to 1 lately, and even on 2 meals I can eat half of it compared to what I typically eats ordinarily, to get full appetite.

Still, with all the things I've tried I still gained weight. And I have been noticably getting harder to sleep at night because the hungry feelings comes back. Maybe it is the oral Rybelsus waning off idk

New comment by stevefan1999 in "Show HN: A tiny LLM running at 21,000 tok/s on a $250 FPGA (Live Demo)"

stevefan1999 — Mon, 10 Aug 2026 17:10:15 +0000

But the problem is not that your model is fast.

Sure, you can go ASIC and go even faster, but the thing around GPU is that they scale well for both training and inference, and the technical floor is low.

The level to get into FPGA design is insanely high, you've got to read timing diagrams, you need to know combinatorial and sequential logics and good sense of boolean algebra, you need to have an asynchronous signal based mindset which is vastly different from CPU/GPU, you need to know netlist and you need to endure the time it takes for the EDA to finish generating it. Yosys is still years behind Xilinx

There is a reason GPUs are called accelerators; it sacrifices and does not try to really specialize on one particular thing, except high parallel dataflow and branch-free calculation. Otherwise we will all be using DSPs

New comment by stevefan1999 in "Study links GLP-1 drugs to bigger jump in women's employment than a degree"

stevefan1999 — Mon, 10 Aug 2026 16:52:46 +0000

> Part of this is probably unconscious, but another part is probably explicit assumptions about the person's self-discipline, e.g. the fit guy must get up at 6am every morning and go for a run, and the obese guy probably sleeps in, eats trash, etc.

More like stereotypes.

For some reason I took both GLP-1 and Ritalin everyday, having moderate exercises despite throwups, only see myself gaining weight rather than losing. I have no idea why both drugs that claims to lose weight only to do the exact opposite, and perhaps I'm the kind of people who can only get fat and not losing it despite some joint efforts.

Perhaps it is not enough and I have to go full aerobatic and ketone mode. Money money money.

New comment by stevefan1999 in "Study links GLP-1 drugs to bigger jump in women's employment than a degree"

stevefan1999 — Mon, 10 Aug 2026 16:46:17 +0000

So uh, this is just trying to promote fat shaming and lookism using science as a judgement tool. How cool is that? /s

New comment by stevefan1999 in "The Nixpkgs core team has disbanded"

stevefan1999 — Sat, 08 Aug 2026 18:04:17 +0000

Containers do solve dependency hell by isolation. It's like venv/uv in Python that you switch between different environment with different sets of dependency. Or speaking essentially, you lifted yourself away from having dependencies shenanigans since you have virtualizations of it

New comment by stevefan1999 in "The Nixpkgs core team has disbanded"

stevefan1999 — Sat, 08 Aug 2026 02:09:03 +0000

but the dependency hell for human is inherently political

New comment by stevefan1999 in "On non-rooted Android 17, ADB uninstall of system apps fails"

stevefan1999 — Thu, 06 Aug 2026 14:17:31 +0000

You technically can sideload. For 7 days or on TestFlight

New comment by stevefan1999 in "On non-rooted Android 17, ADB uninstall of system apps fails"

stevefan1999 — Thu, 06 Aug 2026 14:16:53 +0000

> On Android though, you can soon see such app stolen and on some of the apk warez sites. It just breaks the model.

Think about Windows and software privacy