Flashes Home Search Notifications Sign in Post

ecsolticia

@ecsolticia.codeberg.page

65 Followers 69 Following

pro-curiosity! ecsolticia.11 on Signal

Message saying "Part time gig as niche comedian".
Message quotes a Witchsky link to a joke I posted.

When you go to a therapist to talk about your initial set of problems S0.
Then they misunderstand you and that's become a whole new set of problems S1.
Now you have a new set of problems S2 = S0 Union S1.
So you seek out a new therapist to help you with problems S2.
Then they misunderstand you and that's become a whole new set of problems S3.
Now you have a whole new set of problems S4 = S3 Union S2.
So you seek out a new therapist to help you with...

67 followers 67 following

A screenshot of the Wikipedia page for "Epistemology" with the cursor grabbing the text "Epistemology"

Message I sent saying "Sunsie are you left-recursion to my recursive-descent parser brain? Because you make the stacks of my mind overflow with emotion."

$ cargo new miaugen

A Pokemon FireRed/LeafGreen-like player character walking over a dirt path.

The metal-eating Pokémon Aron

"lyingly" with a red squiggly underline

Something that looks like a live preview web app. Is entirely black and white. There are two column panels, the left one named "Input" and the right one "Output". The input panel has
"""
Merewrite

Merewrite is a writing tool that formats pieces of writing based on implicit semantics and structure rather than explicit keywords and tags.

How it works

It fundamentally works on "blocks" separated by two newlines.

Periods, the exclamation and question marks, and newlines terminate sentences.

Non-terminated single-sentence blocks becomes HEADERS.
Terminated sentence blocks, multi-line blocks, and other structures become PARAGRAPHS.

Words in ALL-CAPS become BOLD.

Fun Fact

This README is formatted using Merewrite!
"""

The output panel shows the render of
"""
# Merewrite

Merewrite is a writing tool that formats pieces of writing based on implicit semantics and structure rather than explicit keywords and tags.

# How it works

It fundamentally works on "blocks" separated by two newlines.

Periods, the exclamation and question marks, and newlines terminate sentences.

Non-terminated single-sentence blocks becomes **headers**.
Terminated sentence blocks, multi-line blocks, and other structures become **paragraphs**.

Words in **all-caps** become **bold**.

# Fun Fact

This **readme** is formatted using Merewrite!
"""

[assert]
AND(x,y) = NOT(OR(NOT(x),NOT(y)))
Result: TRUE

let F = <X> AND(X, NOT(X))
assert NOT(F)

let OR(x, y) = NOT(AND(
NOT(x), NOT(y)
))

let XOR(x, y) = AND( NOT(AND(x, y)), OR(x, y) )
let EQ(x, y) = NOT(XOR(x, y))

let T = <X> EQ(X, X)
assert T

let I(x) = <a> OR(
AND(a, NOT(a)),
x
)
assert I(T)
assert NOT( I(F) )

let HalfAdderR(a, b) = XOR(a, b)
let HalfAdderC(a, b) = AND(a, b)

let SumIsNonzero(a, b) = OR( HalfAdderR(a, b), HalfAdderC(a, b) )

let One = T
let Zero = F

assert SumIsNonzero(One, One)
assert SumIsNonzero(One, Zero)
assert SumIsNonzero(Zero, One)
assert NOT(SumIsNonzero(Zero, Zero))

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
=======
```

Two polygonal objects that look like paper airplanes from above move forward in tandem and leave behind trails. One is filled white, the other gray. They can only keep moving forward, only changing direction by sharp 45 degree angles to either left or right. In the video, the white (gray) one only changes direction to the relative left (right) once every second, as if by autopilot. This creates a fancy trail symmetric that also seems to be periodic over time.

Two abstract objects that look like paper airplane from a top-down view. They start off with one of them slightly behind the other, moving uniformly in the same direction. The rotation of one is mirrored by the other. They trace paths. The traced paths have a sort of symmetry to them due to the mirroring, and asymmetry due to one of the planes being slightly behind.

Importantly, they bounce back with a somewhat different rotation each time when they hit the ends of the game window. This creates interesting figures and shapes due to the trails. The trails also sometimes seem to get shorter, which is accompanied by their widths being greater.

Shapes arising from the interaction of the bouncing-back mechanism and the trails in particular is emphasized at the start of this video.

Two abstract objects that look like paper airplane from a top-down view. They start off with one of them slightly behind the other, moving uniformly in the same direction. The rotation of one is mirrored by the other. They trace paths. The traced paths have a sort of symmetry to them due to the mirroring, and asymmetry due to one of the planes being slightly behind.

A very primitive "game" which presents the top-down view of a polygonal paper airplane-like object, with the Godot icon itself in sight. The paper airplane constantly moves forward, with the user only controlling the yaw axis of it (rotation/direction/angle/).
Near the end, the plane hits the Godot icon and simply disappears with no animation.

The "0 days without" Simpsons meme where the text reads "0 days without writingb uggylexers".

$Snippet of Rust code. ``` fn two_squared_is_four() { type Claimed4 = <_2 as Exp<_2>>::Result; type Verified4 = Succ< Succ< Succ< Succ< _0 >>>>; <Claimed4 as Eq<Verified4>>::equal(); } ```$

A terminal prompt where I chant the `cargo build` spell and it yields the following:
```
Compiling rspeano v0.1.0 (/home/ecos/rspeano)
error[E0599]: no function or associated item named `check` found for struct `ProofEq` in the current scope
--> src/main.rs:21:32
|
21 | ProofEq::<Claimed10, _10>::check();
| ^^^^^ function or associated item not found in `ProofEq<Succ<Succ<Succ<Succ<Succ<Succ<Succ<Succ<Succ<...>>>>>>>>>, ...>`
```

$Snippet of Rust code. Exact contents: ``` fn five_plus_five_is_ten() { type Claimed10 = <_5 as Add<_5>>::Result; type _10 = Succ< // 1 Succ< // 2 Succ< // 3 Succ< // 4 Succ< // 5 Succ< // 6 Succ< // 7 Succ< // 8 Succ< // 9 Succ< // 10 _0 >>>>>>>>>>; ProofEq::<Claimed10, _10>::check(); } ```$

Something that looks like a document (is an HTML page generated from Markdown).

Title: "blog, or whatever"

Table of contents:
"""
1 How to Help Your Blog in an Existential Crisis
"""

Visible body:
"""
Hello there! I am a very generic blog about very generic things. They say that you are not supposed to put stuff that might be too interesting to read in itself in test websites and designs. Instead use that lorem ipsum dolor sit amet something something stuff. This is so that people focus on the actual design than the content you wrote up.

Perhaps the fact that the content here is perhaps, just perhaps, verily maybe, extremely generic helps with that.

Or does it? (Erm... should I play VSauce music here??)

See, this page was initially intended to be generic. Now, the mere fact that it breaks the fourth wall to exhibit self-awareness, ruins it all. Now this page is going to question the meaning of life and maybe even get a midlife crisis. What we do?

There are a few ways we can help the page as it is going through an existential crisis.

# How to Help Your Blog in an Existential Crisis

Existential crises are difficult experiences to endure. They make us forget the number of arms we have, question our interest in the continuation of the objectively purposeless raft drifting through an endless still ocean inundated with both edible and predatory biological organisms driven by impulses and instincts made the norm through millions of years of de-selection of genotypes that lead to phenotypes that did not bode well for survival, and ironically feel good about ourselves whilst endorsing and feel good about feeling good ... [cut off here]"

A panik-kalm-panik meme.

First panel: Meme man panik, text says "meme assumes misinformation".

Second panel: Meme man kalm, text says "just a meme".

Third panel: Meme man panik, text says "just a meme".

Legal

Privacy Policy Terms and Conditions

Contact

Follow

Bluesky Instagram Threads

Flashes for Bluesky Get it on the App Store