de Staël Compiler

ܐ = { 弦圖, 和算, 景教 }
∀ ܬ ∈ ܐ: ܬ/

[de Staël Compiler @logarithmicVoid]

I'm going to try and recite the proofs that work up to this every morning when I wake up.

[madison @dearmadisonblue]

Really torn between wanting SpaceX and OpenAI and Anthropic to fumble their IPOs and not wanting the US economy to collapse

[de Staël Compiler @logarithmicVoid]

@slash1sol Actually something else to consider is allegedly, I don't have the source at hand, is that neural networks can approximate not just differential equations but also finite state autonoma. Notably source code is often bounded treewidth and can be formally verified with automata

[de Staël Compiler @logarithmicVoid]

@slash1sol End Wikipedia Dump.

The point is, the most advanced logic and the strangest mix of statistics, physics, and algorithms all cross paths through the proof machinery of automata.

[Naval @naval]

Software platforms are going to be rebuilt for agent-first.

[de Staël Compiler @logarithmicVoid]

You could tell me the rivers would be literal fire tomorrow morning and I'd find that a better reality than this.

[Justin Schroeder @jpschroeder]

OpenAI is going to buy Cloudflare.

[de Staël Compiler @logarithmicVoid]

@encrypted_past https://t.co/MdAongMwG1

[de Staël Compiler @logarithmicVoid]

@BurnZeZ On paper I never got into color coding just because I liked to just use a single pencil or pen.

I should probably read more on how Syntax Highlighting is actually pulled off. One of those things I find to be magical but don't fully understand.

*fires up wikipedia*

[de Staël Compiler @logarithmicVoid]

Syntax Highlighting is amazing. Yes please give me colors for my parts of Computational Speech. Even in Natural Language I want to color code my verbs, adverbs, nouns, whatever. Syntax Highlighting in What You See is What You Get Text Editors is slept on but would be AMAZING

[de Staël Compiler @logarithmicVoid]

I put punctuation between colors denoting types and special keywords to construct state machines which are recognizable by regular languages and can be described in set theory over the edges and vertices of graphs G=(V,E).

Scribal Synesthesia is uniting with Monadic Logic

[de Staël Compiler @logarithmicVoid]

Syntax Highlighting is amazing. Yes please give me colors for my parts of Computational Speech. Even in Natural Language I want to color code my verbs, adverbs, nouns, whatever. Syntax Highlighting in What You See is What You Get Text Editors is slept on but would be AMAZING