Why another 15th standard.

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.

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

> 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.

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

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

Comment why the code does a thing, not what it does.

> 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.

Each sentence states what is currently true of the system.

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

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.

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.

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.

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

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.

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...

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

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

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.

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.

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