iFire

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 our own informational inadequacy.[58]

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

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.

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-with-dist... for how async related to distributed systems.

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

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

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)

Ah! So it's the total light output of the light not the specific color. So it means I can use regular colours but dimmer. That would make late night color editing better.

So it's saying orange light but really really bright makes a difference?

That's ok.

I usually have really dim orange lights...

Edit: Or was it the contrapositive..

So if this research is true, I can get the benefits of better sleep without using https://justgetflux.com/news/pages/v4/welcome/ how would that work?

F.lux is fairly intrusive.

Orange light synced with the daybreak and sunrise made my life better.

So something is odd with this scientific research. Any explanations?

I for one welcome everyone to the tarpit where a normal person is seen as a robot in an endless poison pit and sounds like a Black Mirror television episode.

https://github.com/plastic-labs/honcho has the idea of one sided observations for RAG.

https://github.com/replikativ/stratum is apache2.0 license FOSS!

Stratum is a columnar analytics engine that combines the performance of fused SIMD execution with the semantics of immutable data

What are your thoughts for investing in a columnar based database rather than a hybrid one?

I'm in the game development space.

At the Ise Jingu, the shrine is not built to last; it is built to be reconstructed from scratch every twenty years.

If we want our systems to last, we would need the "process knowledge"—the actual mastery of the craft—to be in human hands rather than decaying in a dead system.

I don't think we can afford to process-knowledge-transfer many of our essential systems... without machine assistance.

Agree.

I don't write for sentimentality. I write so that my code designs can survive longer than my work on it.

No documentation is worse than deceit.

The emptiness and vastness of the void (entropy) is much deeper than humans or machines.

Google search says this philosphy is called https://plato.stanford.edu/entries/content-externalism/

Is this about https://github.com/software-mansion/popcorn ?

I love their webassembly live demo https://popcorn.swmansion.com/#live-demo

Edited:

Oh this is using llm to write webassembly as an ISA ir (like byte code)?

See https://news.ycombinator.com/item?id=47118778

Most of the platforms were successfully petitioned to have rust sdk mandatory added so that rust code can be added to the platforms. The previously situation was rust was not allowed because the external dependency of the rust sdk was blocked.

Note that the rust having no stable api is not fixed, so I think there's a bunch of internal systems on each platform to hard lock the rust dependencies across multiple rust users.

There's some friction between platform packagers and the code that the author wrote exactly as it was written.

My approach for a game sandbox https://github.com/libriscv/godot-sandbox for user generated content was to experiment with standardizing on a riscv 64 bit linux ISA.

https://bellard.org/jslinux/ bellard is notable for this approach where you write a riscv execution layer and then write a windows / linux / dos etc emulator on top.

https://bellard.org/tinyemu/

Huh?

I thought the latest advance in computing (spring 2025 - last year) is self-play / reinforcement learning. Like we've ran out of training data a few years ago.

https://github.com/OpenPipe/ART

Reinforcement learning having the large language model devise puzzles that they solve via llm-as-judge.

The definition of llm-as-judge is your llm generate 8-12 trajectories and a different llm judges the result. I'd use an oracle like windows or linux operating system execution for the problem of ISA-assembly creation.

The winning entries are used to train the large language model.

You've got a good point.

Why not directly have the llm write ISA assembly. We're still grading based on results / theory proofs and for example the certifications for cryptographical government use are based on binary codes and not sources.

Edited:

Why not go further and print the chips, pcbs directly via 3d printing with llm instructions.

Edited (joke):

Why not go the furthest and turn the entire earth into a computer and grey goo?

As part of my donated work in Godot Engine, my approach is to improve manifold https://github.com/elalish/manifold to get a "geometric kernel"

I think I've succeeded and many CAD tools use manifold for geometric kernels on 3d boundary meshes.

I was able to get Godot Engine and Blender to adopt elalish/manifold.

List of CAD tools that adopted elalish/manifold.

OpenSCAD Blender IFCjs Nomad Sculpt Grid.Space badcad Godot Engine OCADml Flitter BRL-CAD PolygonJS Spherene Babylon.js trimesh Gypsum Valence 3D bitbybit.dev PythonOpenSCAD Conversation AnchorSCAD Dactyl Web Configurator Arcol Bento3D SKÅPA Cadova BREP.io Otterplans Bracket Engineer

Reminds me of the https://en.wikipedia.org/wiki/M-DISC but vaporware.