iFire
Joined 15 years ago
Karma
440
Submissions
329
Member since
Oct 3
Recent submissions
Comment · 2 months ago
Comment · 2 months ago
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.
Comment · 2 months ago
Why coin sized, you can fit a gps tracker in a grain of rice-size pellet, why not a phone card.
Comment · 2 months ago
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.
Comment · 2 months ago
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>
Comment · 2 months ago
My prompt of asking it match the comment density of the last release of an exemplar project (Let's say sqlite) seems to work.
Comment · 2 months ago
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.
Comment · 3 months ago
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.
Comment · 3 months ago
Blender uses the manifold library after years of petitioning
Comment · 3 months ago
That's why I integrated manifold into godot engine for constructive solid geometry!
Comment · 3 months ago
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.
Comment · 3 months ago
> 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...
Why another 15th standard.