Alex Vzorov

Common sense and rational thinking; functional programming; learning Haskell, Elixir, Rust, Nederlands, 日本語; currently going through Lean phase

[Alex Vzorov @0rca]

@atmoio https://t.co/PreVIaVS1J

[Alex Vzorov @0rca]

Writing has always been hard, but AI fixed this. Now reading is hard.

[Alex Vzorov @0rca]

@JustDeezGuy Twitter is a "bring your own context" conversation platform, and it is what makes it fun / annoying.

[Alex Vzorov @0rca]

@Thon_murZ いいお天気ですね〜

[Alex Vzorov @0rca]

@HSVSphere @devabram unless you're coming from Elixir 😜

[Alex Vzorov @0rca]

@Aron_Adler really: you can make shortcuts to make something work, but that's not the same program. Can't make shortcuts in proofs

[Alex Vzorov @0rca]

@littlegothgf fixed it

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Startled to find out that there are young people who haven't read James Iry's magnificent "A Brief, Incomplete, and Mostly Wrong History of Programming Languages". Please drop what you're doing and head over.
https://t.co/bnzifwQ2p9

[Alex Vzorov @0rca]

For now, I am merely experimenting, wondering if I can replace OpenAPI spec to Elixir codegen with [an actual language] to OpenAPI spec and Elixir codegen.
So far I've tried Haskell, Nickel, and now am going through the Lean phase.
Ideally, I would love to have the same language to define data and make – if only reference – implementations in.
With so many generation targets it already supports, Paradox itself makes an interesting target.

[Alex Vzorov @0rca]

@fresheyeball I have to write code in the same language I generate code to – Elixir – so documentation is useful. But I still code by hand, so...

[Alex Vzorov @0rca]

@kugurerdem Ironically, that describes me perfectly: I don't know what qualia is, and have strong sentiments about the matter 😅

[Alex Vzorov @0rca]

If somebody thinks LLMs are conscious, I would expect them being capable of having deep conversations about the nature of consciousness, which is hardly ever the case.

[wordgrammer @wordgrammer]

If you think that LLMs are conscious you must accept a lot of weird conclusions. Like:
- we can clone conscious experience
- we can reverse time in conscious experience
- we can pause and resume conscious experience
- we can distribute conscious experience in space

[Alex Vzorov @0rca]

@onehappyfellow Why stay conscious if LLMs already are?

[Alex Vzorov @0rca]

@kerckhove_ts Ironically, things people aren't good at generate the most opinions

[Alex Vzorov @0rca]

@JohnCleese The Britain is really becoming an asylum...

[Alex Vzorov @0rca]

@wordgrammer @BIMBOSATTVA_ Those don't have to be pedantic: merely practical, useful, grounded in experience are quite enough.

After all, you don't have to have a pedantic definition for wood to discuss carpentry.

[Alex Vzorov @0rca]

@JohnCleese a weird understanding of causality, indeed

[Alex Vzorov @0rca]

@snajper47 @josevalim Many people debate to win an argument. But when definitions are clear not only you cannot win an argument: the argument itself often disappears. So boring.