3,457 karma · joined August 4, 2018
Just create a disposable isolated environment, like VM or container, and do it inside? And, yes, does compile.
edit: Claude is actually (TS) 395K. So Gemini is more bloat. Codex is arguable since is written in lower-level language.
>Built in public as a learning-by-doing project
So, either the entire project was already written and being uploaded one file at the time (first modification since lowest commit mentioned is README update: https://github.com/whispem/minikv/commit/6fa48be1187f596dde8..., clearly AI generated and clearly AI used has codebase/architecture knowledge), and this claim is false, or they're implementing a new component every 30s.
Why people always lie with this? Especially in this case that they uploaded the entire log:
Date: Sat Dec 6 16:08:04 2025 +0100
Add hashing utilities and consistent hash ring
Date: Sat Dec 6 16:07:24 2025 +0100
Create mod.rs for common utilities in minikv
Date: Sat Dec 6 16:07:03 2025 +0100
Add configuration structures for minikv components
Date: Sat Dec 6 16:06:26 2025 +0100
Add error types and conversion methods for minikv
Date: Sat Dec 6 16:05:45 2025 +0100
Add main module for minikv key-value store
And this goes on until project is complete (which probably took 2~3h total if sum all sessions). Doubt learned anything at all. Well, other than that LLMs can solo complete simple projects.Comments in previous submission are also obviously AI generated. No wonder was flagged.
But it's worth noting that many experiments took place on ISS covering few domains, examples being AMS (cosmology), CAL (quantum physics), SAFFIRE (combustion), and Veggie (botany/sustainability).
You mean restrained. More specifically what you're proposing can formally be referred to as controlled natural language with executable semantics. Some attempts similar to this have been Attempto Controlled English and ClearTalk. (And Logos that someone showed here recently.)
>text would not just require reading; it would require executing algorithms embedded in the language itself
Arguably mathematics is just that.
>just like LaTeX for scientists
Future doesn't look very bright for LaTeX with Typst getting traction.
As overall note, AIs when you prompt "apply concept X in Y" (or anything really) will tell you what a great idea and then output something that without domain knowledge you've no idea if it's correct or if even makes sense at all. If don't want to do a literature research/study, recommend at least throwing the design back to the machine and asking for critique.
https://github.com/AlexanderGrooff/mermaid-ascii/blob/master...
https://github.com/lukilabs/beautiful-mermaid/blob/main/src/...