~badt

https://aletheia.icu/~badt

I've heard the noise of a virtual machine,

Now I'm stuck in the reality of backlash

And cashed–in chips.

~badt/leet

Last active a month ago

~badt/leet-ru

Last active 3 months ago

~badt/telebot-devel

Last active 3 months ago

~badt/telebot-announce

Last active 3 months ago
View more

Recent activity

On the application of word 'logos' a month ago

From Ian P Badtrousers to ~badt/leet

Please don't forget that logos isn't a programming language, but rather
a whole new discursive practice. What you do in–logos is very different
to what you would do in a programming language.

"He speaks in tongues."

"She deals in logos."

"They can't manage the logotics of it."

Please make an effort to incorporate this word, and be versatile about
it!

-badt

Re: The Logos virtual machine is a matrix a month ago

From Ian P Badtrousers to ~badt/leet

Hey,

I can't help but entertain the comparison!

You're making a very good point when you mention that actors are somehow
transcendent with respect to the environment and language in which they
are being displayed.

>They may even don't know which actor is a human being and which is not!

That's right.

They might be well in the dark on who's who, but one way or the other it
doesn't change anything— the rules specify what can and cannot be said

Counterculture, fashion scene, public service announcement! 2 months ago

From Ian P Badtrousers to ~badt/leet

I love mathematicians, mathematicians hate me.

They hate me not because I'm Muslim, or because I write Rust, or because
I'm gay, but rather— because unlike them, I deal in pure Revelation; as
opposed to clever reasonings mathematicians enjoy so much.

Reason about this: How many holes are there in a balloon?

Mathematicians will smugly tell you there's like -1 holes, or something.
"Well, you, see, topologically speaking..." blah blah which is hilarious
yes— I must admit, but not exactly revealing anything about any thing is
it?

And that's what mathematicians don't understand about philosophy.

Re: Note in defence of natural language 2 months ago

From Ian P Badtrousers to ~badt/leet

Hey,

The computer programming bit is totally uninteresting.

At far as natural language processing goes, it has much more to do with
maths, and linear algebra in particular. Most computer programmers have
no idea this is possible and to what extent it will become possible in
the nearest future, despite literally working in the industry for many
years!

That's where I find a striking similarity between the French bourgeoisie
and the programming community, oh, programming language design community
in particular—

Re: How is this not vapowave? 2 months ago

From Ian P Badtrousers to ~badt/leet

Hello Ivan,

Your feedback is 100% valid and in fact EBNF is our top priority at the
moment.

There's some 4000 lines of Go code in my internal logos codebase, but
most of it is outdated as it relates to the outdated version of the
language informal specification [1].

I had multiple EBNF drafts and auto-generated parsers for that matter,
but none of them are particularly good. What's changed a lot is the
newly introduced bargaining semantic, which is supposed to effectively
solve incapsulation.

Note in defence of natural language 2 months ago

From Ian P Badtrousers to ~badt/leet

Salute,

And please stop saying the natural languages are shit! Because they are
simply not.

You're not special, and these words that you use are not magic, but very
specific things that may or may not refer to a set of other very things,
sensical or not they may be.

Language models are short of voodoo.

You can think of one as being an encoding, effectively– it's a computer
program that can act on information by encoding and decoding it back and
forth into the machine-understandable form using this little thing called

Re: Why logos of all things? 2 months ago

From Ian P Badtrousers to ~badt/leet

Hey,

Thanks for asking. I'm not sure if this deserves a dedicated thread, but
no problemo, I'm happy to answer these questions.

>Ok I got the part about using some repository that (magicallly) secures
>semantics, the more misterous part is what actually gives this thing
>computational capabilities.

There is nothing inherently magical about semantics in Logos.

If you were to look at the (heavily outdated) spec which can be found
over at https://aletheia.icu/~badt/logos/spec/ you would see soon enough
that logos is cathartic in a way; at least to people preoccupied with

Re: Why logos of all things? 2 months ago

From Ian P Badtrousers to ~badt/leet

You can’t begin to imagine my own excitement!

I’ve been essentially working over this for the last 3 years, very happy
to be able to get the word out.

> what math formalism is behind this? Cat theory? Type theory?

You see, my background in logic is Frege, Wittgenstein, Ramsey.

Even though I make my living almost entirely on the engineering side of
things, theory-wise I'm coming from a very, very different place, which
is what I like to think gives me a fresh perspective on the programming
language crisis, or the unforgiving lack of creativity thereof.

Why logos of all things? 2 months ago

From Ian P Badtrousers to ~badt/leet

I've received complaints that my texts aren't accessible, impenetrable.

This is perfectly fair, I've always had doubts about my texts and to be
honest, I'm sure they're crude at best. Having said that, I try harder
and harder to better communicate my ideas.

And will continue doing so.

In this edition of the leet list I will discuss logos the language, why
logos of all things and what are all things logos. Be prepared for bits
and pieces of programming jargon as well as basic philosophical ideas,
but this time around I will try to explain myself without having to
bring any of the big words.

Mice 2 months ago

From Ian P Badtrousers to ~badt/leet

Mice is everything,

Take a look at the modern three-button mouse, in which the wheel itself
acts as the third button.

Beautiful, versatile input device— constructed to accommodate thy hand
as well as possible. The mouse allows you to perform rapid, twitchy
motions and slow, deliberate scrolling with precision; this is only
possible due to its physicality, and is key— to understanding mice.

I use a five-button trackball mouse, Logitech Ergo M575.

The two extra buttons (Up and Down) provide little benefit, with only
but a few select computer programs capable of engaging these buttons,