iiinova — where your digital self keeps evolving

Time to start coding this up. Implemented placing the proposition cards around. I have plans to shift this to WebGL soon, but for now Iʼm experimenting with Canvas2D and attempting to push its limits to see how much of gradients, shadows, and animations I can achieve.

000

Prathyush @prathyvsh.bsky.social · 20h

Why do many of these AI-slop websites use colors in the ballpark of Cosmic Latte (#FFF8E7), which is supposed to be the average color of the universe? Think thereʼs some analogue of Conwayʼs law at work here.

001

Prathyush @prathyvsh.bsky.social · 28/09/2026

The idea of God as the immanentization of human urge to create a surveillance panopticon hits hard. x.com/GamerGirlRez...

x.com

Reze (@GamerGirlReze) on X

I really need to play the original Deus Ex.

100

Prathyush @prathyvsh.bsky.social · 27/09/2026

Find it based that HundredRabbits want to sabotage agents and reclaim human agency. Especially when many among us are trying to mimic the opinions around and attempting to do the easy thing of fitting in by looking at what our peers are doing.

Image from: https://100r.co/media/content/blog/per101_039.png

Screenshot from https://100r.co/site/2025.html excerpting “In the recent onslaught of slop, we are continually impressed and inspired by artists and developers who fight back against the machine learning spear that is pointed toward them. Choose human agency, sabotage agents! See you in 2026!”

100

Prathyush @prathyvsh.bsky.social · 24/09/2026

Finished reading Buddha: The Enlightened Life by Kieron Moore and Rajesh Nagulakonda. Thought it was a pretty decent read to understand the life of Buddha. It has got some super nice illustration style like this panel on his enlightenment. Itʼs on Amazon here: amzn.to/47lEnCc

Illustration from: https://x.com/rajeshcolors/status/757974377908604932

Cover art of Buddha: An Enlightened Life from: https://m.media-amazon.com/images/I/81fN2Zr6FhL._SL1500_.jpg

100

Prathyush @prathyvsh.bsky.social · 23/09/2026

I think it hasnʼt reached many in the Tools for Thought adjacent interface design / engineering circles but @worrydream.com thoughts on how reliance on AI is counter to human growth is well worth reading: dynamicland.org/2024/FAQ/#Wh...

110

Prathyush @prathyvsh.bsky.social · 19/09/2026

Went to a Physics talk today and was surprised to find a total blackhole around Carrollian physics and geometry (inspired from Lewis Carroll). There is not even a Wikipedia page on it for a lay physics enthusiast even though the idea was unearthed as early as 1965!

Alice and Red Queen image from: https://en.wikipedia.org/wiki/Red_Queen%27s_race#/media/File:Alice_queen2.jpg

Figure 2 from: https://arxiv.org/pdf/2212.14812

100

Prathyush @prathyvsh.bsky.social · 18/09/2026

Did a review of Untidy data paper by Lyn Bartram, Michael Correll, and Melanie Tory. The objective of the paper is to understand the benefits of informal/untidy patterns of organization that are frequently present in spreadsheet environments: prabros.com/bean/blog/un...

prabros.com

Untidy Data: The Unreasonable Effectiveness of Tables

Captures the salient features of informal data work that is conducted in spreadsheets. The authors outline the significance of untidy data and rich tables which is typically given a short shrift commo...

110

Prathyush @prathyvsh.bsky.social · 17/09/2026

Modus Ponens in the house. Now, I think I have a decent smattering of operators, introducers, and eliminators for this environment with which I can prove conjunctions, disjunctions, and implications.

Eris
Interactive Logic Prover
https://prabros.com/eris

Shows graph of the proof for (P∨Q)→R, P ⊢ R

Textual Representation
1 | (P∨Q)→R | Assumption
2 | P | Assumption
3 | (P∨Q) | ∨ Introduction (2,Q)
4 | R | → Elimination (1, 3)

100

Prathyush @prathyvsh.bsky.social · 14/09/2026

I am in one of those places in India with jagged gentrification. It is a big religious festival today, and it is odd to see only the lower economic strata have communal celebrations and rituals while the gentrified crowd is isolated in their apartments scrolling Insta reels.

100

Prathyush @prathyvsh.bsky.social · 11/09/2026

Interesting diagram on how the five aggregates (pañcakkhandha) that form the ontological basis for Buddhist thought interact. Feel there is an interesting structural schematic that can be built up on how the various concepts of Buddhist philosophy interact. Source: en.wikipedia.org/wiki/Mental_...

Screenshot of the diagram: https://en.wikipedia.org/wiki/Template:PancaKhandha

000

Prathyush @prathyvsh.bsky.social · 10/09/2026

Expanding the playground to include disjunction(∨).

Eris
Interactive Logic Prover
https://prabros.com/eris
Proof of (P ∨ R) ∧ (Q ∨ R) from (P∧Q), R

Shows the grph of the derivtion
1 | (P∧Q) | Assumption
2 | P | ∧ Elimination (1,Left)
3 | Q | ∧ Elimination (1, Right)
4| (P ∨ R) | ∨ Introduction (2,R)
5 | (R ∨ Q) | ∨ Introduction (R, 3)
6 | (P ∨ R) ∧ (Q ∨ R) | ∧ Introduction (4, 5)

000

Prathyush @prathyvsh.bsky.social · 07/09/2026

Visualization of who influenced who in the development of Natural Deduction Systems.

Natural Deduction Systems
Map of Influences
https://prabros.com/eris
Graph showing the map of influences of Natural Deduction System with the author's image and an image of the paper/book alongside with the title and year. The graph shows Jaśkowsi Indented Lists in The Rules of Supposition in Formal Logic (1934) influencing Quine Lists in Method of Logic (1950) and Suppes Dependency Set in Introduction to Logic (1957) and Jaśkowsi Boxes in The Rules of Supposition in Formal Logic (1934) influencing Fitch Diagrams in Symbolic Logic (1952) and Copi Bent Arrows in Symbolic Logic (1954). Gentzen Trees in Untersuchungen über das logische Schließen I (1934) is also shown as an isolated node for completion.

100

Prathyush @prathyvsh.bsky.social · 05/09/2026

Design as problem-solving is one of the most pernicious framing out there that leads to everything looking like a nail for the guy with the hammer. I feel designers/engineers need to think of them as responsible people in the wider context and how/why problems need to be solved.

110

Prathyush @prathyvsh.bsky.social · 04/09/2026

New short post up on the history of natural deduction over at: prabros.com/eris/notes/h...

Screenshot of the cover art and title of: https://prabros.com/eris/notes/history-of-natural-deduction

000

Prathyush @prathyvsh.bsky.social · 04/09/2026

Here is how the graph the logical deduction graph looks when reduced twice. If you notice, the proof is just a path that goes from a white bubble to another white bubble. The higher levels can be seen as syntax that tracks this semantic preservation.

Eris
Interactive Logic Prover
https//prabros.com/eris

3 Levels of Reduction

The graphs in this thread https://x.com/prathyvsh/status/2095472082691949029 put beside in a vertical fashion with the second graph labelled as “Reduced Once” and the second one as “Reduced Twice”

100

Prathyush @prathyvsh.bsky.social · 03/09/2026

Extending the idea of using color bubbles for variables in the proof of 🔴 ∧ (🟢 ∧ 🔵) ⊢ (🔴 ∧ 🟢) ∧ 🔵. Think this one can illustrate the idea of semantic preservation better.

110

Prathyush @prathyvsh.bsky.social · 02/09/2026

Thinking about it, LLM driven productivity seems to be analogous to pornography. With porn, you donʼt have to build any social skills or have skin in the game to get laid, you can open up a virtual portal that fulfils your needs. GenAI seems to be this but for arbitrary needs.

110

Prathyush @prathyvsh.bsky.social · 01/09/2026

Here is a fun idea I am thinking about: What if we replace the variables with colour bubbles and used their combinatorics to illustrate how semantics are preserved?

Same graph from https://x.com/prathyvsh/status/2092993253163577553 replace P with a red bubble and Q with a blue bubble

110

Prathyush @prathyvsh.bsky.social · 31/08/2026

Here is how to prove associativity of ∧ in Eris. Shows how to derive (P ∧ (Q∧R)) from ((P∧Q)∧R)

Graph showing the derivation of ((P∧Q)∧R) ⊢ (P ∧ (Q∧R))

Equivalent text representation would be:

1 | ((P∧Q)∧R) | Premise
2 | (P∧Q) | ∧E (1, Left)
3 | R | ∧E (1, Right)
4 | P | ∧E (2, Left)
5 | Q | ∧E (2, Right)
6 | (Q ∧ R) | ∧I (5, 3)
7 | (P ∧ (Q ∧ R)) | ∧I (4, 6)

@prabros

100

Prathyush @prathyvsh.bsky.social · 29/08/2026

Reading @sophiasgaler.bsky.socialʼs “How to Kill A Language” on how worldʼs indigenous languages are dying and canʼt help but think the analogue of linguicide is happening in aesthetics (aestheticide?) with algorithms: x.com/prathyvsh/st...

x.com

Prathyush (@prathyvsh) on X

@chaykak This trail lead me to discover Chayka’s new book on how algorithms flatten our culture leading to homogenization and popularization of particular kinds of aesthetics: https://t.co/shbGFVfnWH

101

Prathyush @prathyvsh.bsky.social · 27/08/2026

Using this system for further proofs. Here is the proof of (Q ∧ P) from (P ∧ Q).

Eris
Interactive Logic Prover
https://prabros.com/eris

Proof of (Q ∧ P) from (P ∧ Q)

Shows the graph and a tabular textual representation of the proof:

1 | (P∧Q) | Assumption
2 | P | ∧E (1)
3 | Q | ∧E (2)
4 | (Q∧P) | ∧I (3,2)

@prabros

000

Prathyush @prathyvsh.bsky.social · 26/08/2026

I went digging to find out the original sources of the visual notations devised for natural deduction and here are some links to the originals and some details I figured out. Thread on Pelletierʼs description can be found here:

History of Natural Deduction
Tweet Thread on
Notational Systems
https://prabros.com/eris

Cover art for the thread showing logical notations for Jaśkowsi 2 systems, Suppes system, and Gentzenʼs.

100

Prathyush @prathyvsh.bsky.social · 25/08/2026

Early days researching this, but there seems to be 4 different visual representations for natural deduction proof systems as identified by Pelletier. The tabular style and intended list systems of Jaśkowski:

Screenshot of Jaśkowsi system from page 5 of: https://www.sfu.ca/~jeffpell/papers/NDHistory.pdf

Screenshot of Jaśkowsi system from page 6 of: https://www.sfu.ca/~jeffpell/papers/NDHistory.pdf

100

Prathyush @prathyvsh.bsky.social · 24/08/2026

Eris now has a small bibliography section that tracks relevant reads. Obviously need to make the typeface and layout better but for someone looking to get the resources in one place, it is available now: prabros.com/eris/bibliog...

Screenshot of the table from: https://prabros.com/eris/bibliography.html

010

Prathyush @prathyvsh.bsky.social · 22/08/2026

There could be multiple ways to logically derive a proposition from the premises. What if we could visualize these different deductive trajectories? Here is the proposition P derived in two ways from the premise (P∧Q) ∧ (R∧P).

Eris
Interactive Logic Environment
https://prabros.com/eris

Multiple ways of deriving P from (P∧Q) ∧ (R∧P)

Shows the derivations of the following proofs in a single graph:
1 | (P∧Q)∧(R∧P) | Assumption
2 | (P∧Q) | ∧E (1)
3 | P | ∧E (2)

and

1 | (P∧Q)∧(R∧P) | Assumption
2 | (R∧P) | ∧E (2)
3 | P | ∧E (2)

100

Prathyush @prathyvsh.bsky.social · 22/08/2026

Making progress on Eris. Getting closer in designing this environment for direct manipulation theorem proving. Here is a simple logical deduction of P from the premise ((P ∧ Q) ∧ (R ∧ P)) using two ∧-eliminations.

Eris
Interactive Logic Prover
https://prabros.com/eris

Proof of P from
(P ∧ Q) ∧ (R ∧ P)

Shows the graph of how P is derived from the premise (P ∧ Q) ∧ (R ∧ P)

Textul Representation
1 | (P ∧ Q) ∧ (R ∧ P) | Assumption
2 | (P ∧ Q) | ∧E (1)
3 | (R ∧ P) | ∧E (2)

000

Prathyush @prathyvsh.bsky.social · 21/08/2026

While it might look like a straight forward visual change, lifting the operator to the container level means that the number of infix operators get reduced. This is analogous to an s-expression representation.

Image showing the textual and graphical representation of the expression (L∧M∧N)∧(P∧Q∧R∧S). In the textual representation, there are 6 ∧ operations, while in the graphical representation there is only 3, as it is an s-expression like representation equivalent to (∧ (∧ L M N) (∧ P Q R S)).

001

Reposted by Prathyush

unconed @unconed.bsky.social · 18/08/2026

New post by me, about the flaw in bezier curves that most drawing apps ignore: acko.net/blog/curvatu...

acko.net

Curvature Beziers

Improving on a timeless recipe

1225

Prathyush @prathyvsh.bsky.social · 17/08/2026

Playing around with ideas for an interactive logic tool. Here is a small step towards bringing in semantic zoom into the environment, using which you can zoom in/out of salient parts of the derivation.

101

Prathyush @prathyvsh.bsky.social · 16/08/2026

You frequently hear eschatological speak of end times and inbound apocalypse, but according to Hindu cosmology, Kali yuga, the age of sin and conflict, has only started. We havenʼt even entered “yuga proper,” and we got Mahāvīra, Buddha, and Jesus already!

Timeline visualization from: https://en.wikipedia.org/wiki/Hindu_units_of_time#Current_yuga

110

Prathyush @prathyvsh.bsky.social · 15/08/2026

> assume proof exists! > do not search the web! > don't stop until you have found the proof! > keep going! > you can do this! > continue! > do not stop after a failure! > challenge yourself. Prompts to LLMs to prove math conjectures sounds lowkey like sports coaches.

200

Prathyush @prathyvsh.bsky.social · 13/08/2026

Itʼs a popular myth that Shannon pioneered mapping Boolean algebra to switching circuits. There were actually many precedents before his thesis! As a possible direct inspiration, there is a letter from Charles Peirce to Marquand from 1886, and Shannon had obviously read Peirce. x.com/richa_lq/sta...

Screenshot of Page 422 and 423 from: https://archive.org/details/writingsofcharle0000peir/page/422/mode/2up

100

Prathyush @prathyvsh.bsky.social · 12/08/2026

I see a lot of think tank accounts here saying that it is disrespectful to email someone text written by AI. Why do they not apply the same disrespect logic to art generated by AIs that are put inside their blog posts? or code generated by machines that human devs have to vet?

010

Prathyush @prathyvsh.bsky.social · 11/08/2026

Reading this piece on how economists mathematized morality makes me think that whatever becomes articulated in language paves the way for eventual formalization. Feel only a via negativa statement of the ideals is the way to exit the deductive closure: awakenedeconomics.substack.com/p/the-margin...

awakenedeconomics.substack.com

The Marginalists' Mathematical Morality Squeeze

TL;DR: We show how the three leading lights of the mid-19th century “marginal revolution” accelerated the mathematization of economic theory at the expense of ethical and moral reasoning.Awakened Econ...

100

Prathyush @prathyvsh.bsky.social · 10/08/2026

Bertifier remains a riveting effort in the space of table visualization. It has a minimal set of primitives that enables the creation of a myriad of visual configurations. Play with the app: aviz.fr/bertifier Read more about it: hal.archives-ouvertes.fr/hal-01023890

Screenshot of Bertifier app from: https://aviz.fr/bertifier_app/

010

Prathyush @prathyvsh.bsky.social · 08/08/2026

I donʼt know who in my followers would benefit from this, but if you go to a doctor, they usually judge your cardiovascular health via the lipid profile (HDL/LDL). This lags behind current scientific consensus. @jaredhecht.bsky.social suggests Apolipoprotein B to be a far better predictor.

Screenshot from: https://myticker.com/ excerpting “Every lipidologist … above all else” highlighting “Every standard deviation increase … myocardial infarction by 38%.”

100

Prathyush @prathyvsh.bsky.social · 07/08/2026

Was looking at Taggle, a tabular data visualization tool made by Furmanova et al. and came across this neat visualization of how the topology of a table changes as we perform different operations on it! The full paper can be read here: arxiv.org/pdf/1712.05944

Screenshot of Figure 2 from https://arxiv.org/pdf/1712.05944

000

Prathyush @prathyvsh.bsky.social · 06/08/2026

I am starting to think that retreats and planned vacations are capitalismʼs ways of revealing just enough of the divine mysteries so that you are tricked to keep grinding towards an ever receding redemption point. This cartoon is great in portraying this loop: www.youtube.com/watch?v=8CRY...

youtube.com

Cleverman

YouTube video by studioJOHO

000

Prathyush @prathyvsh.bsky.social · 04/08/2026

Every successful profession eats itself.

020

Prathyush @prathyvsh.bsky.social · 03/08/2026

In some neutral future scenario of this deluge of theorems, I hope the corpus derived via AI will work as a sort of Borgessian library of Babel where you can dial in the coordinate to check-in on any proved theorem out there. x.com/polynoamial/...

x.com

Noam Brown (@polynoamial) on X

An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science. We believe it will be a major step for scientific reasoning. https://t.co/iP6cyheZ7i

100

Prathyush @prathyvsh.bsky.social · 03/08/2026

My twitter timeline rn be like:

Mad Max Fury Road dam opening scene with the water labelled as "OpenAI and Anthropic releasing newer models" and people waiting to receive water as "Token-maxxers waiting to disprove math conjectures"

@prabros

000

Prathyush @prathyvsh.bsky.social · 02/08/2026

Beautiful article meditating on the connection between meaning and latency: untitledlayers.substack.com/p/deliberate...

Screenshot from https://untitledlayers.substack.com/p/deliberate-lag excerpting ‘“Donʼt make me think … every refresh.’

100

Prathyush @prathyvsh.bsky.social · 29/07/2026

Brace for the Moloch of Shoggoths. Drawing by @vgel.me

080

Prathyush @prathyvsh.bsky.social · 29/07/2026

Now that we all can have a magic genie one-shot our ideas, there seems to be this thinking that we have elevated to a new level. This needs to be balanced by understanding that this leverage doesn’t guarantee the composability of these one-shotted ideas. x.com/psswordprote...

x.com

J (@psswordprotectd) on X

the power of "one-shot ideas", insights that become available in a moments notice, is that if sufficiently chunked can percolate into a much bigger abstraction, a whole that captures the essence of th...

111

Prathyush @prathyvsh.bsky.social · 28/07/2026

At times I feel like the world is a room for a long-wrought mutual therapy session where we have co-hired people in our lives to bring out our demons lurking inside us in order to integrate the shadow side with our Self.

130

Prathyush @prathyvsh.bsky.social · 27/07/2026

A short review of Lish (list + hash table) data model proposed for the spreadsheet interface. Lish is an attempt at bringing formal structure to the spreadsheets while retaining the freely editable grid: prabros.com/bean/blog/li...

prabros.com

Structuring Spreadsheets With “Lish” Data Model

Idea of a “Lish” data model in introducing formulae and templating language using the margins of the spreadsheet is introduced and the data representation for this model is discussed. It helps in capt...

100

Prathyush @prathyvsh.bsky.social · 24/07/2026

I just watched this nice video from jaredhenderson.bsky.social on Aristotelian ethics and thought it was a neat panoptical view of Aristotle’s Nichomachean ethics: www.youtube.com/watch?v=GteR...

jaredhenderson.bsky.social

Jared Henderson (@jaredhenderson.bsky.social)

Philosopher, YouTuber, Writer. YouTube: https://youtube.com/@_jared Newsletter: https://jaredhenderson.substack.com

100

Prathyush @prathyvsh.bsky.social · 22/07/2026

I read “Already Free” by Bruce Tift, and it completely reconfigured the way I see relationships. It describes how our childhood survival mechanisms get perpetuated into adulthood and become our coping mechanisms that hinder how we connect in our relationships.

https://mpd-biblio-covers.imgix.net/9781622034116.jpg

110