ecsolticia
@ecsolticia.seeks.quest
Mathematics, DSLs, automata, computer simulation and big words tickle my fancy.
ecsolticia.codeberg.page
ecsolticia.codeberg.page
Reposted by ecsolticia
the ugly truth they don't want you to know is that the math without numbers is actually more fun than the math with numbers
November 18, 2025 at 1:59 PM
the ugly truth they don't want you to know is that the math without numbers is actually more fun than the math with numbers
Why settle for a typical digital logic circuit simulator when you can build your own, but as a computer language instead? I already have a correct implementation of the core functionalities (it's rather simple), but I have yet to fully sort the UI out. Been a fun project so far!
November 18, 2025 at 9:19 AM
Why settle for a typical digital logic circuit simulator when you can build your own, but as a computer language instead? I already have a correct implementation of the core functionalities (it's rather simple), but I have yet to fully sort the UI out. Been a fun project so far!
I'm wondering to myself why I approximately quadrupled the amount of development time just for fancier error-reporting for an utterly simple DSL I'm cooking. The rules are simple enough that the errors are generally easy to spot by inspection anyway. But hey, it looks nice! (I think)
![Implied terminal output of `cargo run` on said DSL project:
```
[[tokens]]
1 |[let][OR][(][A][,][B][)][NOT][(][AND][(][NOT][(][A][)][,][NOT][(][B][)][)][)]
2 |[assert][!]
---
Error code 7:
Expected assignment operator '='
-
1 | let OR(A, B) NOT(AND( NOT(A), NOT(B) ))
- -------------^^^
Error occured at line 1, from column 14 to 16
=======
Error code 9:
Expected valid identifier in expression
-
2 | assert !
- -------^
Error occured at line 2, from column 8 to 8
=======
```](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:h5uflu6cfdbvjsggusevvy6i/bafkreifmou24px3mt7uw22jpwucxdqoedu6expszjshpem3mqopvus2qc4@jpeg)
November 10, 2025 at 12:01 PM
I'm wondering to myself why I approximately quadrupled the amount of development time just for fancier error-reporting for an utterly simple DSL I'm cooking. The rules are simple enough that the errors are generally easy to spot by inspection anyway. But hey, it looks nice! (I think)
Reposted by ecsolticia
there was this great talk at one of the zig conferences where a developer talked about how they preferred static types because of their adhd.
static types are also an accessibility tool
youtu.be/vd1-rAIYV6I
static types are also an accessibility tool
youtu.be/vd1-rAIYV6I
Types and other techniques as an accessibility tool for the ADHD brain - Michael Newton
YouTube video by Zig SHOWTIME
youtu.be
November 8, 2025 at 3:51 PM
there was this great talk at one of the zig conferences where a developer talked about how they preferred static types because of their adhd.
static types are also an accessibility tool
youtu.be/vd1-rAIYV6I
static types are also an accessibility tool
youtu.be/vd1-rAIYV6I
Autopilot. Sharp turns.
Symmetry. Periodicity.
Symmetry. Periodicity.
November 9, 2025 at 4:54 AM
Autopilot. Sharp turns.
Symmetry. Periodicity.
Symmetry. Periodicity.
Reposted by ecsolticia
When people celebrate the individual genius of folks in science, they should also
mourn the collective loss of genius of folks who were actively discouraged or disadvantaged from a career in science because of the same person(s)
mourn the collective loss of genius of folks who were actively discouraged or disadvantaged from a career in science because of the same person(s)
November 7, 2025 at 11:43 PM
When people celebrate the individual genius of folks in science, they should also
mourn the collective loss of genius of folks who were actively discouraged or disadvantaged from a career in science because of the same person(s)
mourn the collective loss of genius of folks who were actively discouraged or disadvantaged from a career in science because of the same person(s)
I have this reoccurring bias of assuming that what is obvious to me must be obvious to others too. Unsurprisingly, I often get surprised when I say something that's obvious to me, and someone else labels it insightful or illuminating somehow.
October 30, 2025 at 7:41 AM
I have this reoccurring bias of assuming that what is obvious to me must be obvious to others too. Unsurprisingly, I often get surprised when I say something that's obvious to me, and someone else labels it insightful or illuminating somehow.
Reposted by ecsolticia
At this point I have to admit I have no idea who anyone means when they refer to "normies"
October 24, 2025 at 2:43 PM
At this point I have to admit I have no idea who anyone means when they refer to "normies"
Reposted by ecsolticia
New in Leaflet Publications: subpages!
One of our favorite features from Leaflet docs, now available to turn your blog posts into…
…collections? wikis? project logs? zines? essays with twisty tangents? or other complex creative branching forms :)
Check out this post to see what it looks like!
One of our favorite features from Leaflet docs, now available to turn your blog posts into…
…collections? wikis? project logs? zines? essays with twisty tangents? or other complex creative branching forms :)
Check out this post to see what it looks like!
Pub subpages & other recent features!
Lab Notes 013: publications can now have nested pages — illustrated here with pages about embeds, comments, and more
lab.leaflet.pub
October 21, 2025 at 7:42 PM
New in Leaflet Publications: subpages!
One of our favorite features from Leaflet docs, now available to turn your blog posts into…
…collections? wikis? project logs? zines? essays with twisty tangents? or other complex creative branching forms :)
Check out this post to see what it looks like!
One of our favorite features from Leaflet docs, now available to turn your blog posts into…
…collections? wikis? project logs? zines? essays with twisty tangents? or other complex creative branching forms :)
Check out this post to see what it looks like!
Recursive descent parsers have become my favorite thing to program recently.
October 19, 2025 at 3:25 AM
Recursive descent parsers have become my favorite thing to program recently.
I was mainly procrastinating on it, but my indefinitely-flying paper airplane thingy has been evolving!
Now, your paper airplanes can't get out of view. Instead, you can bounce with the bounds again and again to create fun trails.
#gamedev #godotengine
Now, your paper airplanes can't get out of view. Instead, you can bounce with the bounds again and again to create fun trails.
#gamedev #godotengine
October 15, 2025 at 6:49 AM
I was mainly procrastinating on it, but my indefinitely-flying paper airplane thingy has been evolving!
Now, your paper airplanes can't get out of view. Instead, you can bounce with the bounds again and again to create fun trails.
#gamedev #godotengine
Now, your paper airplanes can't get out of view. Instead, you can bounce with the bounds again and again to create fun trails.
#gamedev #godotengine
It's funny to look at this in hindsight and note that my current "systematic approach" involves simply going with the flow a bit more. I currently don't even have a "main thing" going on the way I used to.
I feel impulses to do so many things yet constantly feel as if I do not have enough time for anything, other than my perceived "current main thing". I believe I would benefit from a more systematic way of interleaving. My current approach is a trivial "do one thing at once" taken to the extreme.
October 13, 2025 at 7:03 AM
It's funny to look at this in hindsight and note that my current "systematic approach" involves simply going with the flow a bit more. I currently don't even have a "main thing" going on the way I used to.
I don't know where I'm taking my indefinitely-flying paper airplane game anymore. Something something asymmetric symmetry. Something something mirroring
#gamedev
#gamedev
October 10, 2025 at 4:33 AM
I don't know where I'm taking my indefinitely-flying paper airplane game anymore. Something something asymmetric symmetry. Something something mirroring
#gamedev
#gamedev
I have been thinking about #gamedev again, and my text adventure idea went mostly nowhere.
I'm trying some other ideas. Lo and behold, an indefinitely flying paper airplane... well, indefinitely flying as long as you don't hit something. Where is THIS going? Could be nowhere, hopefully somewhere.
I'm trying some other ideas. Lo and behold, an indefinitely flying paper airplane... well, indefinitely flying as long as you don't hit something. Where is THIS going? Could be nowhere, hopefully somewhere.
October 7, 2025 at 9:24 AM
I have been thinking about #gamedev again, and my text adventure idea went mostly nowhere.
I'm trying some other ideas. Lo and behold, an indefinitely flying paper airplane... well, indefinitely flying as long as you don't hit something. Where is THIS going? Could be nowhere, hopefully somewhere.
I'm trying some other ideas. Lo and behold, an indefinitely flying paper airplane... well, indefinitely flying as long as you don't hit something. Where is THIS going? Could be nowhere, hopefully somewhere.
The Trie data structures tickle my brain. I love it when you can take something with depth and flatten it out, while keeping mostly an identical interface + behavior. As a plus, I find them easier to impl than direct trees (just give me basic a arrays + string API).
October 6, 2025 at 3:42 PM
The Trie data structures tickle my brain. I love it when you can take something with depth and flatten it out, while keeping mostly an identical interface + behavior. As a plus, I find them easier to impl than direct trees (just give me basic a arrays + string API).
Sharing code on Reddit, I realized that more people could've kept followed my projects if I had a GitHub than Codeberg, or worse, only a Tangled repo. I did "leave" the platform with a "probably tone", but I feel a bit icky about the idea of "going back" too.
October 6, 2025 at 3:14 PM
Sharing code on Reddit, I realized that more people could've kept followed my projects if I had a GitHub than Codeberg, or worse, only a Tangled repo. I did "leave" the platform with a "probably tone", but I feel a bit icky about the idea of "going back" too.
I think I can finally call this done. A DSL that takes logical expressions representing ECA rules + expressions for initial configs and prints out the result of applying it on the states given N number of times. That's it!
@ecsolticia.bsky.social/ecaxpr
Tiny expressions-based language for elementary cellular automata simulation
tangled.org
October 4, 2025 at 5:59 AM
I think I can finally call this done. A DSL that takes logical expressions representing ECA rules + expressions for initial configs and prints out the result of applying it on the states given N number of times. That's it!
Made a tiny, declarative, expression-based DSL for elementary cellular automata. The parsing bit is scaffolded from my own library (crates.io/crates/mipl), which still needs some polish before I can extend the grammar to work better with newlines.
Overall, though, the DSL turned out pretty fun!
Overall, though, the DSL turned out pretty fun!
![Screenshot of a terminal.
First prompt: `bat rule30.eight`
Output: `(l == ~(r | t))` (One-line file)
Second prompt: `cargo run rule30.eight`
Output:
```
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.01s
Running `target/debug/eightlang rule30.eight`
****************#***************
***************###**************
**************##**#*************
*************##*####************
************##**#***#***********
***********##*####*###**********
**********##**#****#**#*********
*********##*####**######********
********##**#***###*****#*******
*******##*####*##**#***###******
******##**#****#*####*##**#*****
*****##*####**##*#****#*####****
****##**#***###**##**##*#***#***
***##*####*##**###*###**##*###**
**##**#****#*###***#**###**#**#*
*##*####**##*#**#*#####**#######
```](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:h5uflu6cfdbvjsggusevvy6i/bafkreidc2ykepre7x3gykkywyb26odx63ffv4ankahguiq2gysgpyoz3ny@jpeg)
![Screenshot of a terminal.
First prompt: `bat rule90.eight`
Output: `(r | l) & (~r | ~l)` (One-line file)
Second prompt: `cargo run rule90.eight`
Output:
```
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.02s
Running `target/debug/eightlang rule90.eight`
****************#***************
***************#*#**************
**************#***#*************
*************#*#*#*#************
************#*******#***********
***********#*#*****#*#**********
**********#***#***#***#*********
*********#*#*#*#*#*#*#*#********
********#***************#*******
*******#*#*************#*#******
******#***#***********#***#*****
*****#*#*#*#*********#*#*#*#****
****#*******#*******#*******#***
***#*#*****#*#*****#*#*****#*#**
**#***#***#***#***#***#***#***#*
*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#*#
```](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:h5uflu6cfdbvjsggusevvy6i/bafkreicmwlovnout4xyg7cxeomwrwj2co7yr5ty52guzesnnnbjk2gwzw4@jpeg)
October 2, 2025 at 5:52 PM
Made a tiny, declarative, expression-based DSL for elementary cellular automata. The parsing bit is scaffolded from my own library (crates.io/crates/mipl), which still needs some polish before I can extend the grammar to work better with newlines.
Overall, though, the DSL turned out pretty fun!
Overall, though, the DSL turned out pretty fun!
I find myself implementing heterogeneous lists for something I named mipl for "Minimal imperative parsing library". Might have to eventually change the "imperative" bit. It still leans that way, but it keeps getting less convincing. Need a different excuse for "mipl".
October 1, 2025 at 12:15 PM
I find myself implementing heterogeneous lists for something I named mipl for "Minimal imperative parsing library". Might have to eventually change the "imperative" bit. It still leans that way, but it keeps getting less convincing. Need a different excuse for "mipl".
The last time I made and "finished" a game was more than 4 years ago. I feel like making a small one again from time to time.
September 29, 2025 at 12:30 PM
The last time I made and "finished" a game was more than 4 years ago. I feel like making a small one again from time to time.
Reposted by ecsolticia
Criticism about AI in schools mostly focuses on how it allows students to get away with something (by using OpenAI to write their essays). But shouldn't we be talking more about its detrimental effects on teaching and learning than on how it impedes our ability to evaluate students?
is.gd/acOSmQ
is.gd/acOSmQ
The Chatbot in the Classroom, the Forklift at the Gym
EDUCATION WEEK September 22, 2025 The Chatbot in the Classroom, the Forklift at the Gym By Alfie Kohn [This is a significantly expanded version of the published article, which was given a different ti...
www.alfiekohn.org
September 26, 2025 at 4:07 PM
Criticism about AI in schools mostly focuses on how it allows students to get away with something (by using OpenAI to write their essays). But shouldn't we be talking more about its detrimental effects on teaching and learning than on how it impedes our ability to evaluate students?
is.gd/acOSmQ
is.gd/acOSmQ
I met the nemesis of premature abstraction. I've been trying to write parsers for things more complex than mere numeric calcs and TOML-like configs for a week, and have mostly been stuck. Have been, not am, because writing a minimal, imperative, restricted parsing library helped! Variables, anyone?
![Terminal output where I run `cargo run --example numinomi`, and the subsequent input-output stream looks like:
```
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.01s
Running `target/debug/examples/numinomi`
[numinomi] write x 5 * 5 + 12
[numinomi] write y x + 1
[numinomi] write y y + 2
[numinomi] read y 0
40
[numinomi] read x 0
37
[numinomi] exit
```](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:h5uflu6cfdbvjsggusevvy6i/bafkreifmlgms7n7qaisehnprmky3jnp2mibprn2cssuzhlz6d53uqr5msi@jpeg)
September 26, 2025 at 1:27 PM
I met the nemesis of premature abstraction. I've been trying to write parsers for things more complex than mere numeric calcs and TOML-like configs for a week, and have mostly been stuck. Have been, not am, because writing a minimal, imperative, restricted parsing library helped! Variables, anyone?
Been too exhausted generally to work on my software-related projects due to my new meds' side effects. Wrote this instead.
I'm starting to think that the non-technical things I write about mostly stem from my own frustration with things, particularly people. Like this topic.
I'm starting to think that the non-technical things I write about mostly stem from my own frustration with things, particularly people. Like this topic.
Logical Fallacies are NOT Mutually Exclusive
"It's not that fallacy. It's this fallacy which is really just a general case of that fallacy."
ecsolticia.leaflet.pub
September 23, 2025 at 3:43 PM
Been too exhausted generally to work on my software-related projects due to my new meds' side effects. Wrote this instead.
I'm starting to think that the non-technical things I write about mostly stem from my own frustration with things, particularly people. Like this topic.
I'm starting to think that the non-technical things I write about mostly stem from my own frustration with things, particularly people. Like this topic.