Damus
Omar Antolín profile picture
Omar Antolín
@Omar Antolín

I'm a mathematician at UNAM in Mexico City. I work in algebraic topology, homotopy theory and higher category theory, but am interested in all sorts of math.

I also enjoy computer programming as a hobby and am a big fan of the text editor Emacs.

Relays (1)
  • wss://relay.ditto.pub – read & write

Recent Notes

Dr. Or M. Bialik · 6w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqmshcslmwan3erj3ulczepe8q8a8xdyfkndnk8fudgtg8ccwg6zqfcr0xq If we end up recording it (a definite possibility at this point), I'll try to edit it and put it on YouTube.
Omar Antolín profile picture
I wonder if I should write a program to help me make decisions among several options that repeatedly presents me pairs of options and asks me to make a snap judgment on which I prefer, computing ELO scores along the way. After some number of rounds this might reveal my true preferences.
Omar Antolín profile picture
I just read the transcript of @nprofile1q... and @nprofile1q...'s conversation with John Wiegley about his #Emacs #OrgMode setup that he uses to organize everything in his life.

Wiegley is living in the future.

He has over forty thousand entries spread throughout more than three thousand org files, around 28000 TODO items with about a thousand of them open. It's too much data to even look at so he has some very sophisticated ways of dealing with it. His org agenda views will surface random selections of entries for him to review; upon review with a few keystrokes he can schedule them to work or schedule them for further review in the future. He decided on a fairly strict set of conventions for how org entries should be written, including that the leading verb must be chosen from a controlled vocabulary and wrote a Haskell program to parse his org files and put them into a Postgres database which he can query. The database has vector search to find semantically similar items even if they are worded differently. He also has a local LLM backing an instance of OpenClaw that can query this database, access his org files and talk to him on Discord and Whatsapp, letting him find relevant entries from his org files by messaging the agent from his phone.

It's amazing, maybe not something I'd want for myself, but definitely a fascinating read!

https://sachachua.com/blog/2026/07/chatting-with-john-wiegley-about-personal-information-management-and-karthik-chikmagalur/
Tom · 16w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqmshcslmwan3erj3ulczepe8q8a8xdyfkndnk8fudgtg8ccwg6zqfcr0xq Great article, but I don't like the addendum. I think it just encourages the reply guys to try even harder to explain why the author's opinion doesn't count.
Ihor Radchenko (yantar92) · 17w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqmshcslmwan3erj3ulczepe8q8a8xdyfkndnk8fudgtg8ccwg6zqfcr0xq nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqcrqlugrsf9tljl4m5pvz6uwr95gjsh04cy9zd8rlkrljkxtdjhs26sve2 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg37hd28fxwwcaccgk...
Zenie · 17w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqmshcslmwan3erj3ulczepe8q8a8xdyfkndnk8fudgtg8ccwg6zqfcr0xq nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqnpkmkksukm58epa6h4p679n06hvvr5yg9eayl9tfx0tcjhcr44nsk5l2h8 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg37hd28fxwwcaccgk...