Jeremie Pelletier

Self-dual

[Jeremie Pelletier @HostOfMeta]

Need more tools to bind all these feature together:

https://t.co/8VH3WRxoKR

[Jeremie Pelletier @HostOfMeta]

What happens when you combine Emacs with gaming?

You get an environment in which any panel can display any visualization for any data type.

And if it's not there, you just develop it right there, live.

Coded support for multiple viewports as it draws 60fps :)

#gamedev

[Jeremie Pelletier @HostOfMeta]

@BenjaminDEKR

[Jeremie Pelletier @HostOfMeta]

I don't know how to describe this, but it sounds so good

https://t.co/mP1Wu9Y6D8

[Jeremie Pelletier @HostOfMeta]

@valigo Otherwise the risk becomes "more of the same", as in formulaic "you made this? I made this :)" as the model

To build different, we need to see differently from everyone else, to "think different" as Jobs would say

And, afaik, no formula exist to automate any of that, we safe :)

[Jeremie Pelletier @HostOfMeta]

@valigo It feels like having more music tutorials and lessons than ever before: we still need instrument practice

Just like automating more still needs us to understand how it works and what it hooks into, so we develop the ability to compose using the system's automated parts

[Jeremie Pelletier @HostOfMeta]

@Kyrannio Funny if we extract 4 characters from that word it spells
re-sign-ed, so this mean updated the curve25519 to 8 :)

[Jeremie Pelletier @HostOfMeta]

@Kyrannio Can't believe Spaceballs was more secure than Internet

[Tim Sweeney @TimSweeneyEpic]

This amazing! I wish group theorist (and creator of the finite automata 'game of life'), John Conway were still here to see this: https://t.co/bSfsHnvtJp. 43M lines of Lean proof.

[Jeremie Pelletier @HostOfMeta]

@valigo A+ trolling

[Jeremie Pelletier @HostOfMeta]

@esha_hq I like how none of these has a definitive or universal answer. Or rather, the moment any of them gets an absolute yes/no answer it blinds the view from the larger picture and alternatives that could work better.

It seems a case where local answers can differ from global answers.

[Jeremie Pelletier @HostOfMeta]

@jposhaughnessy @SpencrGreenberg It seems we enjoy the act of pursuing in itself. The goal gets reached once, ends the pursuit and replaces it with something else.

Why I think it matters to have one goal bigger than life, so we can build systems around that then last forever while yielding fruit each new cycle.

[Jeremie Pelletier @HostOfMeta]

@notch Been enjoying this guy's content over on Youtube, worth a subscribe to watch now and then, makes a fascinating dive into this corner of math among others!

https://t.co/bDtvRUPDez

[Jeremie Pelletier @HostOfMeta]

The halting problem explained simply:

Instead of going down the logic or theorem prover routes, ask yourself whether a remote machine on the network has crashed or just needs more time to answer.

How can you know without traveling and inspecting it?
Similarly, cancer cure when?

[Jeremie Pelletier @HostOfMeta]

@notch I do mean the complex numbers. And by ternary you might get interested in the hyper-complex class :)

Say we take the equation for lines y = mx + b. Then change what "m" squares to between {-1, 1, 0}. Your ternary set shows up there, and they build complex, split-complex & duals.

[Jeremie Pelletier @HostOfMeta]

@notch Good point.

I still think the two merge in that the diagonal argument makes the entry point to chaos theory by opening the feedback loop it needs. Reals can’t be counted because, afaik, they run infinite in two orthogonal directions at every step.

Same for ordering the complex.

[Jeremie Pelletier @HostOfMeta]

@krismicinski Just like music, the point of learning goes beyond “play this or that song” and into understanding music theory, improvising on the fly, and gaining a deeper appreciation for all musical genres.

It let us see and hear things we’d otherwise stay blind and deaf to.

It expands us.

[Jeremie Pelletier @HostOfMeta]

@notch Yeah pretty much, and all the interesting software exists in this category.

“If we add support for modding the engine, how many new genres of gameplay can it spawn? How much of the original design survives all of them?”

It seems proofs enter Goodhart’s territory too.

See also

[Jeremie Pelletier @HostOfMeta]

The only way to know for sure becomes doing the work.

Now, what if you get busy doing the work, how can other people tell whether you completed it or need more time?

They come and check up on you, and start helping when they arrive.

Every time someone answers, it resets state.

[Jeremie Pelletier @HostOfMeta]

As if life exists in what cannot be measured, and evolves to always stay ahead of the latest instrument advances.

Each time we capture more of the context of life itself, it reflects back to produce new incredible ways to express itself at the same time, forever staying ahead :)

[Jeremie Pelletier @HostOfMeta]

Did you know the father of Galileo, Galilei, became the first person to solve equal temperament in a practical way? He didn't discover the math, but discovered the engineering to build musical instruments tuning this way.

Solving the 12th root of 2 before calculus or logarithms.

[Jeremie Pelletier @HostOfMeta]

Alignment seems to escape clean mathematics everywhere. Either things run forever without ever overlapping with previous patterns, or they require hacks that hide a large part of the possible reality.

Either we get a pure math or we get a living universe, but we can't have both.