Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Anna Liberty

@liberty@mathstodon.xyz
mastodon 4.7.2
  • Open on mathstodon.xyz

Canadian-American physics and applied computing student from Western Washington.

Working to make software understandable by all.

Zig, Rust, and Scheme enjoyer

330 Followers
376 Following
26 Posts
Joined February 23, 2026
Pronouns:
she/her
Website:
https://gracefulliberty.com
Projects:
https://codeberg.org/liberty
Open post
Anna Liberty @liberty@mathstodon.xyz
· 3mo ago
Boosted by @DataKnightmare@mastodon.xyz
Replying to

https://gracefulliberty.com/llms/

For programming, I write code myself, or or generate it deterministically from higher-level instructions.

For writing, I use my brain and write it myself, revising it as needed.

For proofreading, I ask my friends.

For searching, I use domain-specific search tools and specific websites.

For learning, I seek out books, tutorials, and other educational material made by people.

For extra support, I ask experts in forums, chatrooms, or via email.

Anna Liberty

LLM Statement - Anna Liberty

48
3
9
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 2mo ago
I use Emacs daily. It's an essential part of my workflow. I am also deeply opposed to using LLMs to generate code. https://gracefulliberty.com/notes/human-emacs/ Because of this, I have put my name down on Human Emacs. If at any point the GNU Project decides that LLM-generated code is acceptable, I am committed to participating in a future of Emacs without them. If you use Emacs and hold similar values, I encourage you to join us!
I Signed Human Emacs
Anna Liberty

I Signed Human Emacs

I use Emacs daily. It's an essential part of my workflow. I am also deeply opposed to using LLMs to generate code. Because of this, I have put my name down on Human Emacs. If at any point the GNU Project decides that LLM-generated code is acceptable, I am committed to participating in a future of Emacs without them. Thankfully, we're in a better position than our friends using vim. While vim's maintainers have embraced LLMs, the GNU Project has been more hesitant. LLMs are forbidden for use on G

28
0
18
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 3mo ago
Replying to
The inspiration for writing this is that I'm required to write an attestation for every CS homework assignment stating whether or not I used an LLM for it. So I'm going to link this in each assignment from now on.
29
0
4
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 3mo ago
Boosted by @GroupNebula563@mastodon.social
Working on a little tool for fetching pages on the smolnet https://codeberg.org/liberty/snurl/ It currently supports Gopher, Spartan, and Finger, with Gemini in the works. #geminiprotocol #smolnet #gopher
Codeberg.org

snurl

smolnet client and library

20
0
12
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 3mo ago
Replying to

@xeroxed@mastodon.social Of course!

For some things, I'll throw it in DuckDuckGo and call it good, but since that's becoming unreliable, I'm having to find alternative ways of finding information.

For example:

  • Encyclopediac information -> Wikipedia
  • Rust crates -> crates.io or lib.rs
  • Scientific papers -> library databases

I also find myself relying on documentation and source code more often when I'm programming.

You can use custom search engines with your browser. DuckDuckGo also supports "bangs" with an exclamation mark, so "!w Zig" will look up "Zig" on Wikipedia.

I don't use these as extensively as I'd like to, but they're becoming increasingly important as the quality of standard search engines become less useful.

9
0
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 3mo ago
Replying to
@EndlessMason@hachyderm.io Go ahead! I'll clarify that on the page
5
0
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 6mo ago

Just published SlopCheck, a tool to check for signs of LLM agents in git repositories.

https://codeberg.org/liberty/slopcheck

Currently it checks git history to see if a repository has any commits with LLM co-authors or if files like AGENTS.md exist.

Written in #Guile because I'm learning it and because Python is accepting LLM-generated code.

#llm #ai #OpenSource #programming

Codeberg.org

slopcheck

Check for signs of LLM agents in git repositories

11
0
1
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 6mo ago

Zig and Guile? I'm going to watch this later.

https://av.tib.eu/media/61793

I would love to replace Rust + Python with Zig + Guile, with the latter allowing even tighter integration!

#Zig #Guile

Zig and Guile for fast code and a REPL
av.tib.eu

Zig and Guile for fast code and a REPL

Zig is a minimalistic new language that is unapologetically focused on performance, tellingly with a blazingly fast compiler. It is advertised as a replacement for Thompson, Ritchie, and Kernighan

10
0
3
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 5mo ago

Is it time for me to finally start writing #Zig? I used to use it (and make minor contributions) years ago but got demoralized by constantly rewriting my code with updates.

But it seems like a solid language and one that will only increase in prevalence in the coming years.

#programming

mathstodon.xyz

Mathstodon

5
0
1
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 5mo ago

New blog post!

I taught kids how to program using #Forth

https://gracefulliberty.com/articles/teaching-kids-forth/

"Forth is uncommonly used to teach programming to kids. Scripting languages like Python and visual environments like Scratch are far more popular options. But when I got the opportunity to introduce middle and high school students to programming, I chose the stack-oriented concatenative language from 1970."

#programming

Teaching Kids Forth
Anna Liberty

Teaching Kids Forth

Forth is uncommonly used to teach programming to kids. Scripting languages like Python and visual environments like Scratch are far more popular options. But when I got the opportunity to introduce middle and high school students to programming, I chose the stack-oriented concatenative language from 1970. I was ecstatic about this opportunity. I'm passionate about giving people just a bit more control over the potential locked up in the devices they carry with them every day. When people know mo

5
0
5
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 5mo ago

Some website updates!

I updated information in my about section and added a picture of myself. https://gracefulliberty.com/about/

I also created a "notes" section for shorter writings that wouldn't fit into an article.

https://gracefulliberty.com/notes/

Anna Liberty

About - Anna Liberty

3
0
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 5mo ago

I have been officially accepted into the Applied Computing major at my university. Previously I was minoring in computer science. Excited to take some higher-level CS classes!

When I graduate I will have a double degree in Physics and Applied computing.

3
0
1
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 6mo ago

I do intend to continue work towards Gemini support in curl. Unfortunately I'm a full time physics and computer science student so time is limited

The goal is slow steps, eventually reaching the goal of making billions of computers around the world speak a growing Small Web protocol

I welcome other C programmers interested in the #GeminiProtocol to collaborate!

mathstodon.xyz

Mathstodon

3
0
1
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 3mo ago
Replying to
@pointlessone@status.pointless.one @tomekw@functional.cafe I believe you are correct. However, the way they handled that situation (with the moderation policy) and the fact that OpenAI is now a foundation member make me less trusting in Rust's governance going forward. They didn't allow any community input into the core issues at hand. Additionally, a big issue for me is the ecosystem, which has been embracing LLM-generated code more in Rust's case as OpenAI etc. have been pushing it there. It's not like I'm not going to use any libraries, especially with Rust where crates are commonly pulled in with large dependency trees.
1
1
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 5mo ago

Been working on porting my physics simulations to the Web with #WASM via #Hoot.

Something like they did here: https://spritely.institute/news/building-interactive-web-pages-with-guile-hoot.html

I've been having to thoroughly read the examples, documentation, and hit my head against the wall, but I'm making progress! Still can't seem to get canvas drawing to work though.

#Guile #Scheme #programming

spritely.institute

Building interactive web pages with Guile Hoot — Spritely Institute

2
0
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 5mo ago

Looking to do research on gravitational waves in the coming months, contributing to LIGO, LISA, and NANOGrav.

Super excited!

#physics

mathstodon.xyz

Mathstodon

1
0
1
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 6mo ago

xkcd 927 in physics looks like:

Inertial frame
Free-float frame
Lawful frame
Lorentz frame
Galilean frame
Inertial space

All meaning the same thing!

I get that "inertial" can be unintuitive for what it's describing but surely there was a better option

1
0
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 6mo ago
Replying to
@jk This is why I love literate programming
0
0
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 5mo ago
Replying to
@jonmsterling Wouldn't that be a reason to either consistently disallow LLMs or increase the core maintainer group to the democratic body?
0
1
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 5mo ago
Replying to
@aburka @be @cwebber Unfortunately Rust hasn't come out nearly as strongly against LLMs used in contributions
0
2
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 3mo ago
Replying to
@tomekw@functional.cafe Zig is doing so many things right!
0
13
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 3mo ago
Replying to
@tomekw@functional.cafe I had Rust. Alas, sacrifices must be made sometimes I am curious, I haven't used Ada. What do you like most about it?
0
11
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 7mo ago
Replying to
@ahltorp@mastodon.nu @sleepybisexual@mk.absturztau.be @mxchara@seattle.pink Yes! And they can only have particular energy levels due to how harmonics work.
0
0
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 3mo ago
Replying to
@pointlessone@status.pointless.one @tomekw@functional.cafe Python has also embraced LLMs as part of development of itself, as far as I understand. Even Rust is pushing back more than that. I've been exploring Scheme because of this. But yeah, there are tradeoffs. I still have projects in Rust. I just would rather invest in ecosystems that don't embrace LLM-generated code.
0
4
0
0
Open post
Anna Liberty @liberty@mathstodon.xyz
· 3mo ago
Replying to
@pointlessone@status.pointless.one @tomekw@functional.cafe I get why they did it. But there's also a reason they got the backlash they did and that they rescinded that policy later. I also don't know if the policy was ever officially adopted. Last I checked the PR is still open.
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 21:32:05 UTC