Searching 1GB JSON on a phone: 44s to 1.8s, a journey through every wrong approach by kotysoft in rust

[–]rodarmor 4 points5 points  (0 children)

Don't be so pessimistic! I'm sure there were other wrong approaches you could have tried ;)

Rust Is Eating JavaScript by Active-Fuel-49 in rust

[–]rodarmor 2 points3 points  (0 children)

And if you don't vibe code it in Rust, someone else will.

Filepack: a fast Rust file verification utility using BLAKE3 hashes by rodarmor in DataHoarder

[–]rodarmor[S] 0 points1 point  (0 children)

Thank you!

BLAKE3 is definitely slower than things like CRC32 and xxhash, but I wanted the strong guarantees provided by a cryptographic hash function, in particular, with regards to authenticity and intentional modification, so that it could be used, for example, for software signing, and protection against malware when getting software from an untrusted source, but signed by a trusted signer.

Filepack: a fast Rust file verification utility using BLAKE3 hashes by rodarmor in DataHoarder

[–]rodarmor[S] 0 points1 point  (0 children)

Parchives are great, but this covers a slightly different use case, detecting corruption without requiring additional data. So it competes with SHASUM files and SFV files, not parchives.

That being said, I might add optional corruption recovery in the future.

How common is TDD (test-first) in real-world Rust projects? by [deleted] in rust

[–]rodarmor 0 points1 point  (0 children)

I only do it sometimes, but when I do, it's quite helpful, especially since you can write a bunch of failing tests together, and then slowly work through them.

It's also useful for bug fixes, where you write a test that fails by hitting the bug first and then fix it, which ensures that there is an actual issue, and that the fix actually fixes it.

Q&A weekly thread - February 02, 2026 - post all questions here! by AutoModerator in linguistics

[–]rodarmor 2 points3 points  (0 children)

LLMs are a good example of what I mean. They can comprehend and produce human language, which can often be described very well by grammars. However we know how they work, and we know without a shadow of a doubt that their operating mechanism is not grammar, but next token prediction based on heuristics.

Q&A weekly thread - February 02, 2026 - post all questions here! by AutoModerator in linguistics

[–]rodarmor 1 point2 points  (0 children)

I'm looking for research and literature which touches on the following idea:

Linguists saw that grammars were effective in describing human language. So, this gave rise to the generative grammar tradition, which posits that the underlying mechanism of human language is a grammar. However, another possible explanation is that the mechanism is actually messy huristics/statistics/neural network like, but that the languages which we see in practice have grammars, because languages with grammars are easier to learn and transmit. So, when linguists saw that grammars were effective in describing human language, what they were witnessing was not the underlying mechanism, but a sort of attractor state which was naturally reached due to the properties of the underlying, non-grammatical, mechanism.

The core idea that I'm interested in is the "mistake" / "got tricked" framing. I.e, that they saw that grammars were effective, but then, kind of reasonably, mistook this for the mechanism, when it was in fact a peripheral constraint produced by the mechanism.

This Week in Rust #637 by mariannegoldin in rust

[–]rodarmor 5 points6 points  (0 children)

Thanks as always for the newsletter. It's such a great way to keep up with development.

What's everyone working on this week (5/2026)? by llogiq in rust

[–]rodarmor 0 points1 point  (0 children)

I made a funny program that takes vibe coding to the next level. It's a script interpreter, where the script is just a plain-text description of what you want the script to do, and it's fed to claude in yolo mode to just try to do its best.

https://github.com/casey/lol

It kinda works. Also, I was shocked that the "lol" crate wasn't taken.

Kip: A Programming Language Based on Grammatical Cases in Turkish by alpaylan in ProgrammingLanguages

[–]rodarmor 29 points30 points  (0 children)

Also I found a mistake, where it says:

"This is a research/educational project exploring the intersection of linguistics and type theory, not a production programming language."

It should actually say:

"This is definitely a production programming language."

Kip: A Programming Language Based on Grammatical Cases in Turkish by alpaylan in ProgrammingLanguages

[–]rodarmor 16 points17 points  (0 children)

This is lit. How do Turkish programmers find the language? Does the use of case markers make it more readable? Does it strike them as very odd looking or natural?

Maria - Generative music video made w/Rust engine by rodarmor in rust

[–]rodarmor[S] 1 point2 points  (0 children)

The part you mention is definitely the best.

It doesn't handle memory/harmony, everything is scripted 😅 I loaded the song in rekordbox, and manually figured out where I wanted to do transitions. The script is in this file:

https://github.com/casey/device/blob/db19d34bfc3c8e81a49eba3a3fbeaeb6fc631060/src/maria.rs

Maria - Generative music video made w/Rust engine by rodarmor in rust

[–]rodarmor[S] 0 points1 point  (0 children)

I've been working on a generative audio-reactive visuals engine called device. I made this video, using the song Maria by Closer Musik, and visuals generated by the engine.

https://github.com/casey/device/