Hi! I’m Artyom,
an ironic bipolar programmer trying to make my environment
(and, consequently, the Internet) slightly better and weirder.
Here are my posts (from newest to oldest):
So I was considering starting a wiki. But it seems there are some unsurmountable value mismatches with me and wikis. So here’s a small reflection piece engaging Wittgenstein, literary theory, and a straw man idea of wikis.
It turns out, Armenian has at least one stenography system. The one designed in 1888 by a monastic order from Venice! Althought it’s imperfect, it’s a nice historic rarity.
Internet learned to speak gibberish that doesn’t always coincide with literary text. But it can be converted back to that. Here’s my experiment along these lines.
Atlas Engineer was a perfect Open Source Lispy team to work in. I was not the best teammate, though. Here’s how it worked in Atlas and what I’m worried about lately.
Kaktovik numerals are a surprisingly good counting system. They allow many arithmetic operations to be done visually and effortlessly. Though they take some getting used to. Thus this page!
Package-inferred systems follow a useful one-file-per-package convention structure. But package-inferred systems themselves are harmful and should not be used
There’s data encoding in Lambda Calculus. But there are also algorithms. Recursive, usually. So let’s look at how recursion works when all you have is lambdas.
Using text? How old school! This is not how current generation interacts with computers.
Self-Perfection (Hacker News) on “Just Let Me Select Text”
Threading macros make Lisp-family languages much more readable. Other languages too, potentially! Except… other languages don’t have macros. How do we go about enabling threading “macros” there?
Plaintext emails are slowly becoming an artifact of the past. Still, there’s a lot interesting things about plaintext emails. Including... plaintext-only formatting!
Stop with the blogs
u/TysonPeaksTech (Reddit) on “There Is No Such Thing As The Regex”
Algorithms are all the rage in tech. And yet, they are useless unless you use them as black boxes. Better disseminate explanations—they are much more understandable and reproducible.
Any programming system needs ways to aggregate values. Be it with structures, arrays, or closures. Lambda Calculus has these ways, so let’s see what’s there.
Well, ok, you can. But should you?
u/Intrepid_Result8223 (Reddit) on “Advanced Self-Aware ed(1)”
Tarot is nice. It’s showing us some archetypes and allowing to create stories. But are these stories as diverse as we are? No, and here’re some simple NLP approaches to learning why.
LLMs and Vibe Coding are there. But why? Because our tech is not that advanced and we’re disempowered by it. Make tech not SUCK, and you’ll need no LLMs.
im pretty sure that isn’t serious
u/beephod_zabblebrox (Reddit) on “Making C Prettier”
Lambda Calculus is a simple computation model that’s easy to port to any language with functions. Probably? Hopefully? Actually, there are some problems when mapping from LC to programming. Here are some, with ways to cope.
I hate JS. (No, not really.) I don’t want to have even a line of JS on my webite. Especially for something as simple as syntax highlighting. I should be able to do that with some CSS and minor preprocessing, right?
Putting procedure names at column 0 is a widespread convention in C codebases. But the exact reasons are not really elaborated anywhere. We just do that. So I decided to make my own summary for why it’s a thing.
You can tell I’m an ed fan. Not only do I use it for esoteric challenges or compiler building, it also is my new SSG (Static Site Generator.) So here’s how it works:
Text generation was a lot of fun before ChatGPT—it was chaotic and deranged. I written this post using the old text generation techniques. You’ll like how absurd it turned out, I promise!
Printf (and the derivatives every language has) are a bane that should only be tolerated when printing floats. Otherwise, I beg you, use string interpolation or structured output.
ed is a stupid simple text editor. sed is a nice streaming text processing tool. Why would one even want to use ed for anything, let alone for text processing if there’s sed?
It’s often the case that a functional (Scheme?) codebase needs to plug something into the computation. Here’s one way to do that with almost no syntactic overhead.
Regular expressions seem to be quite coherent, right? This scary (.*[^}(]) symbol soup that only the select few can master. Except that there are at least half a dozen (slightly incompatible) varieties of this soup. Bon Appétit!
My writing is imperfect. “AI” could help. But, you know, I no longer want to hide myself. My terible writing is the only things that differentiates me from the sterile AI slop you find everywhere now.
Wisp is an indentation-sensitive syntax for Scheme. Its semantics are defined in terms of nested parentheses, though. But what if it was defined in other terms?
Gemtext is a minimalist markup/hypertext format initially from Gemini network. It’s intended to be a lightweight, easy to learn, and accessible language... But at least the latter is not true with the current state of things.
Lambda Calculus is extremely elegant, including in how it handles numbers. But this elegance often comes at the cost of understandability. This post goes through examples of arithmetics in Lambda Calculus to understand how they work.
One can go Object-Oriented in C, and do so with decent success. Although it’s definitely not quite the popular version of OOP everyone is conditioned to.
TUI is an ambiguous term, meaning either of ‘terminal’ or ‘text’ user interface. The difference is even more pronounced now, with chat interfaces and assistive tech. So let’s stop calling TUIs ‘text’ and call them ‘terminal’—by their real name. Reserving ‘text’ for more appropriate conversational UIs.
Lisp projects might be smaller and neater that other tech. But still, there are emergent patterns in any software. So here’s an arbitrary list of design patterns I found in Lisp codebases.
Funny thing. Hope no one gets the idea to actually use this
u/DocEyss (Reddit) on “Object-Oriented C: A Primer”
Lambda Calculus is a strong model for computation, but computing examples in it often feels off. In this post, I’m trying to understand how Lambda Calculus evaluation / reduction actually works.
Lambda Calculus is a fascinating idea, but it’s not immediately obvious. In this post, I’m trying to understand and explain the basic terms used in Lambda Calculus.
Living a plaintext-only life is tempting. But the further one goes with plaintext, the more they re-invent Markdown or HTML. Let’s just give up and live hypertext life instead.
Internet grew out of a non-commercial academic network with free resources for everyone. Can one get back to this dream of free Internet and build a lifestyle out of it?
Utterly sick and downright twisted, but hilarious. Thanks.
This is probably some fanatic with weird AST magic, you say. But if this magic allows one writing with tab-completion, automatic HTML boilerplate, and other goodies—then why not try it? 😉
Security tip: You should use meta-programming abilities of your technology (I mostly mean programming languages there) as much as possible, and you should allow your users to program your program by exposing programming languages to them.