Viewing profile — iFire

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 acce…

Blender uses the manifold library after years of petitioning

That's why I integrated manifold into godot engine for constructive solid geometry! https://github.com/godotengine/godot-proposals/issues/9711

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 a…

> 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 wonde…

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…

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

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.

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 bo…

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 d…

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

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?

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

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

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

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

> 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 o…

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 Hi…

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

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-wit…

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 …

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/9781449…

https://dl.acm.org/doi/10.1145/2274576.2274589 I'll try reading it again.

https://en.wikipedia.org/wiki/Essential_tuple_normal_form is cool! Since I had bad memory, I asked the ai to make me a mnemonic: * Every * Table * Needs * Full-keys (in its joins)