Hacker News Reader

iFireon Previewing the Model Hardware Standard

Why don't we pick an existing standard and use that?

Why another 15th standard.

iFireon OpenAI Jalapeño: Better than Nvidia Blackwell

So out of all the inference only chips which ones can I buy?

The only report is a smartnic fpga from Alibaba where we take an onnx design and write our own. https://essenceia.github.io/projects/alibaba_cloud_fpga/

On my M2 Pro Mac Mini the ANE only allows 2 gigabytes compared to the Metal GPU which can use the system ram.

Currently playing with https://www.asus.com/motherboards-components/ai-accelerator/... which is a 4bit, 8bit and 16 bit ai inference chip with 8 gigabytes of ram.

The UGen300 has the Hailo-10H chipset.

The ASUS Store price for the ugen300-usb-8g costs $365.00 Canadian dollars.

iFireon Coin-sized device can hack a Boeing 737

Why coin sized, you can fit a gps tracker in a grain of rice-size pellet, why not a phone card.

iFireon What You Gain by Building Your Own Game Engine

This is why the custom engine over the last 6 years I've contribute to `godot engine` is more widely used and I haven't finished my game.

I reject this theme, I gained but I also lost.

iFireon Why does Opus 5 feel worse to work with?

Your prompt is so similar to my prompt.

> Go easy on the comments.

> If you do have to add a comment, make it short and on point.

I defined what easy meant numerically.

<claude> Match the comment density of FoundationDB, which is 12 to 14 percent of non-blank lines in `fdbserver`, `fdbclient` and `flow` at 7.3. </claude>

> only add comments if there's a big gotcha that is not clear from the code itself

<claude> Comment why the code does a thing, not what it does. </claude>

> Comments should show history of code changes or functionality, only comment on the current state (or not at all)

I call this the tenseless continuous-present voice.

<claude> Each sentence states what is currently true of the system. </claude>

<claude> This rules out past-tense edit narration, future or imperative planning, and aging temporal qualifiers such as “now” or “previously”. </claude>

<claude> A sentence that states a present truth stays correct as long as the code stays the same, and goes stale visibly the moment the code changes. </claude>

iFireon Why does Opus 5 feel worse to work with?

My prompt of asking it match the comment density of the last release of an exemplar project (Let's say sqlite) seems to work.

iFireon I built a 500k-domain search engine for makers in a weekend for $10

Here's my impressions of your algorithm:

1. read each site

2. rent a 4090 with https://vast.ai to run vllm

3. let llm model invent its own category and tag names freely

4. save 1KB of metadata each

  a. a small local language model that reads each one and writes a name, two or three sentences, a category, and a handful of tags.

5. `code is going up as open source` soon (TM)

iFireon Now Is the Time to Give LLMs Access to the ACM Digital Library

Would you prefer a parquet dump of acm articles to hugging face?

A llm emulating a person is why many of my used sites banned llms due to scraping bandwith costs

Is this about access or accessibility to claude (for example)

I am sure the entirely of human computing knowledge is not that big.

iFireon Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

Blender uses the manifold library after years of petitioning

iFireon Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

That's why I integrated manifold into godot engine for constructive solid geometry!

https://github.com/godotengine/godot-proposals/issues/9711

iFireon Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

On a readme style note, please spend more time explaining the algorithm and less time bragging on how amazing vibe coding is or how Lean has a zero trust proof.

I presume the new advance is claim that verified-3d-mesh-intersection is verified and not the claim that vibe coding can replace hand proofs or that the claim that lean4 can be correct without trusting llms.

iFireon Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

> Why we cannot have manifold output meshes in general

As far as I know manifold is not verified software, but it does promise that manifold inputs become manifold outputs.

I wonder how manifold will break in that condition or would it snap to the nearest manifold.

https://github.com/schildep/verified-3d-mesh-intersection#wh...

iFireon Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

How does it compare against https://github.com/elalish/manifold in performance and zero corruption?

I spent a lot of time making elalish/manifold work in Godot Engine and it is now a method in Blender too.

https://manifoldcad.org

If it helps, feel free to use the apache2 licensed unit tests that were generated in manifold development https://github.com/elalish/manifold/tree/master/test

iFireon League of Legends designer shares game design field manual

> The "It's not X -- it's Y" pattern, often with an em dash. The single most commonly identified AI writing tell. Man I f*cking hate it. AI uses this to create false profundity by framing everything as a surprising reframe. One in a piece can be effective; ten in a blog post is a genuine insult to the reader. Before LLMs, people simply did not write like this at scale. Includes the causal variant "not because X, but because Y" where every explanation is framed as a surprise reveal, the em-dash dismissal "X -- not Y", and the cross-sentence reframe where the same noun is negated then repositioned: "The question isn't X. The question is Y."

The information is hard to read because I had to run an https://tropes.fyi/ filter over the essay to make it readable.

iFireon The case for MUDs in modern times (2018)

I disagree.

I think there's value to making a mud that uses discord-style slash commands outside of Discord without the player memorizing the text grammar.

iFireon The case for MUDs in modern times (2018)

I looked at Mudlet https://www.youtube.com/watch?v=c1Llvwy0Y_Y&list=PLA40A1E6E5...

It's still text based in sense of `look at monolith`.

> Discord slash commands are interactive bot commands activated by typing / in the chat, prompting an inline menu of options and parameters.

Discord uses slash commands to visually autocomplete possible parameters.

> https://developer.apple.com/design/human-interface-guideline...

Apple uses contextual actions to limit freeform grammars.

iFireon The case for MUDs in modern times (2018)

Question to you all, muds tends to have a unix style interface, has anyone done a replacement for this uiux that fits … the class of 2019 first year computer science student that doesn’t understand files and needs a different uiux.

iFireon A Road to Lisp: Which Lisp

Anyone have lisp commentary on https://github.com/janet-lang/janet?

iFireon A Road to Lisp: Which Lisp

Since this is the largest gathering of LISP users I have seen, I have a question.

Why prefer lisp-1 over lisp-2 or vice-versa?

iFireon Rad: The relational database, redesigned. OLTP backed by durable object storage

The url is broken. https://github.com/Southclaws/rad

iFireon RISCBoy is an open-source portable games console, designed from scratch

I was curious because I spent my time making engines and not making games.

iFireon RISCBoy is an open-source portable games console, designed from scratch

Does RISCBoy run Godot Engine? How can I make RISCBoy run Godot Engine?

iFireon How to hide from killer drones

> https://www.jeffgeerling.com/blog/2026/quadrf-can-spot-drone...

You can't hide from drones. Attach quadrf to your drone and now you can see through walls.

iFireon Who manages the agents?

> The Omnissiah's design is flawless and has no contradiction. Any discrepancies in our interpretation of the universe merely confirm the perfection of the Omnissiah's design and our own informational inadequacy.[58]

https://wh40k.lexicanum.com/wiki/Adeptus_Mechanicus_Quotes

iFireon Muse Spark 1.1

This is pretty cheap compared to anthropic opus and fable.

https://platform.claude.com/docs/en/about-claude/pricing

Model Base Input Tokens 5m Cache Writes 1h Cache Writes Cache Hits & Refreshes Output Tokens

Claude Fable 5 $10 / MTok $12.50 / MTok $20 / MTok $1 / MTok $50 / MTok

Claude Opus 4.8 $5 / MTok $6.25 / MTok $10 / MTok $0.50 / MTok $25 / MTok

Note Fable costs $50 MTok and Opus 4.8 costs $25 / MTok.

iFireon Anthropic says Alibaba illicitly extracted Claude AI model capabilities

As far as I know, American copyright law has ruled large language model output has no copyright status.

iFireon Can LLMs model real-world systems in TLA+?

I haven't made money on yet, but I'm trying to model a webtransport (http/3, quic) system for massive multiplay vr games.

See https://aws.amazon.com/builders-library/challenges-with-dist... for how async related to distributed systems.

iFireon Can LLMs model real-world systems in TLA+?

I don't use tla+ to model real-world systems anymore, Claude is able to model systems in Lean 4 and the binary executable can handle real input or I can directly generate c / rust on proofs with numeric types that have ring structure (integers, rationals, bits).

https://github.com/lambdaclass/truth_research_zk

iFireon 5NF and Database Design

Chris Date has a course on this using his parts and supplies example. Don't have time to find it but maybe ai can find it.

https://www.oreilly.com/videos/c-j-dates-database/9781449336...

https://www.amazon.ca/Database-Design-Relational-Theory-Norm...

iFireon 5NF and Database Design

https://dl.acm.org/doi/10.1145/2274576.2274589

I'll try reading it again.