Every successful profession eats itself.

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/...

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

x.com

My twitter timeline rn be like:

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

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

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...

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...

x.com

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.

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...

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...

prabros.com

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...

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.

Here’s a short write-up I did of Andrea Kohlhase’s paper on Human-Spreadsheet Interaction (2013): prabros.com/bean/blog/hu...

Human-Spreadsheet Interaction

The paper performs a Principal Component Analysis like study called the repertory grid study to understand the qualitative dimensions of a spreadsheet. Using this data, they suggest some potential int...

prabros.com

The horse-shoe theory of AI research: There are two types of researchers using AI: the dumb ones who generate slop that flood publishers, and the smart ones who are busy accelerating themselves out of business. Both seem directed towards the same end.

> AI produces 10k lines of code you can't comprehend. > You invoke AI to generate a dashboard to understand what the code is doing. > Now you have 2 problems.

Saw some health influencers pushing supplements like Creatine, L-Glutamine, Magnesium, Collagen etc. How did thousands of generations before me do fine without any of these? Did we screw up our environment so bad that chugging pills have become a necessity to our well-being?

Here is a review of Tidy Data (2014) by @hadleywickham we did as a part of our research into spreadsheet foundations: prabros.com/bean/blog/ti...

Tidy Data

Describes a data standard for linking structure with semantics. There is a neat terminology of variables and observations described here that can be used to provide meaning for the datasets. While the...

prabros.com

My feed rn

all will become fidgetable

Is it a coincidence that people who were building a second brain / digital garden notebook when Tools for Thought was all the hype are the same ones who are hyping up agent driven programming in my feed? I have a feeling they didn’t really get what TfT was about.

I see devs spending vastly more than ever on productivity tools like LLMs, but from the outside, there doesn’t seem to be any uptick in the quality of software I use; neither have I spotted any radical software built with LLMs. What am I missing?

Randomly stumbled on Hedda (2025) while browsing Amazon Prime roster and man o man, first time running into something directed by Nia DaCosta and is she a force! The way she handled the intense devious scenes were something to behold: letterboxd.com/prathyush/fi...

A ★★★★ review of Hedda (2025)

Such a wicked ride through the depravities people go through. Loved the way the intense performances are choreographed.

letterboxd.com

🪄 Spreadsheet functions can often times be hard for a user to figure out naturally. Here, we devised a friendlier, step-by-step guide right next to the cursor to ease the process. It nicely augments spreadsheets' direct manipulation interface with live context-sensitive feedback.

For our foundational research into spreadsheets, we dug into the rich literature around it. Rolling out reviews of papers we read as part of this project. Here’s our review of Nardi and Miller’s 1990 paper — The Spreadsheet Interface: prabros.com/bean/blog/sp...

The Spreadsheet Interface: A basis for end-user programming

Authors perform a user study on the factors that make the spreadsheet environment successful. They locate it to be combined factors of high attention-investment reward by shields users from the low-le...

prabros.com

This animated short on Rumi is a really good one illustrating his turn from a hardcore intellectual to a bard spreading the message of annihilating one’s ego through burning love: www.youtube.com/watch?v=MNw9...

How to love, according to Rumi - Stephanie Honchell Smith

YouTube video by TED-Ed

youtube.com

Just watched “The Last Stop in Yuma County” and it reaffirmed my faith in just randomly picking up some little known but promising movie and giving it a watch: letterboxd.com/film/the-las...

The Last Stop in Yuma County (2023)

While awaiting the next fuel truck at a middle-of-nowhere Arizona rest stop, a traveling young knife salesman is thrust into a high-stakes hostage situation by the arrival of two similarly stranded ba...

letterboxd.com

If you truly love something, let it go, and no, there’s no guarantee of it ever coming back and it proving it was truly yours. Your selfless willingness to sacrifice what you love is how you discover it was true love and not some ego-driven possession game.

A school friend recommended “The Power of Now” by Eckhart Tolle as a life-changing book for him in his 20s. Good thing we didn’t talk when he had his epiphany, for the hardcore rationalist in me at the time would have rejected the book after reading a few pages.

Extending the idea further, the same drag-and-drop interaction is used to reference multiple cells. Upon dropping the cells, the user is offered a list of commonly used functions based on the data types the cells hold. Read more here: prabros.com/bean/design#referencing-multiple-cells

Pranav Pramod@pranavpramod.bsky.social · 2mo ago

Starting off, we considered the interaction of referencing a cell. The user selects a cell [noun] and then drags it to the target cell to create a reference [verb]. To use Jef Raskin's terms, this is a noun-verb construction. Read more at: prabros.com/bean/design

Starting off, we considered the interaction of referencing a cell. The user selects a cell [noun] and then drags it to the target cell to create a reference [verb]. To use Jef Raskin's terms, this is a noun-verb construction. Read more at: prabros.com/bean/design

We collaborated with @nilenso.com in an open-ended research project rethinking the fundamentals of spreadsheet design. Here’s a blog post tracing the historical evolution of the spreadsheet interface from ancient clay tablets to its modern instantiation: prabros.com/bean/blog/sp...

We worked closely with @nilenso.com on an open-ended design research project where we attempted to rethink the fundamentals of the spreadsheet interface. Slowly starting to document and roll out the work we did with them. Check it out! prabros.com/bean/

Bean

Bean - Prabros. x Nilenso

prabros.com