Nilesh Trivedi
@nilesh.trivedi.link
Building AIs at snowmountain.ai
I love machines, mathematics and music.
Earlier: Meta, Foresight Institute, Clear, Gupshup, IIML, IITKGP
❤️ http://isfixable.com
https://nilesh.trivedi.link/
https://x.com/nileshtrivedi
https://fosstodon.org/@nilesh
I love machines, mathematics and music.
Earlier: Meta, Foresight Institute, Clear, Gupshup, IIML, IITKGP
❤️ http://isfixable.com
https://nilesh.trivedi.link/
https://x.com/nileshtrivedi
https://fosstodon.org/@nilesh
Reposted by Nilesh Trivedi
Welcome back!
- Custom feeds now get access to "see less/see more" metrics.
- Bluesky hit 40m mark recently
- Lots of activity on Tangled and Graze social
- More people means more activity, harder to filter
- Custom feeds now get access to "see less/see more" metrics.
- Bluesky hit 40m mark recently
- Lots of activity on Tangled and Graze social
- More people means more activity, harder to filter
November 6, 2025 at 7:57 AM
Welcome back!
- Custom feeds now get access to "see less/see more" metrics.
- Bluesky hit 40m mark recently
- Lots of activity on Tangled and Graze social
- More people means more activity, harder to filter
- Custom feeds now get access to "see less/see more" metrics.
- Bluesky hit 40m mark recently
- Lots of activity on Tangled and Graze social
- More people means more activity, harder to filter
InkAndSwitch folks have written about bi-directional data transformations: www.inkandswitch.com/cambria/
Project Cambria: Translate your data with lenses
Changing schemas in distributed software is hard. Could adopting bidirectional lenses help?
www.inkandswitch.com
September 4, 2025 at 3:42 AM
InkAndSwitch folks have written about bi-directional data transformations: www.inkandswitch.com/cambria/
Let's call it "Addorial".
August 24, 2025 at 4:35 PM
Let's call it "Addorial".
No, if anything Zen should be ahead. I didn't choose Floorp for its features.
August 21, 2025 at 10:00 PM
No, if anything Zen should be ahead. I didn't choose Floorp for its features.
Lots of people gave up on it but there seems to be an active fork: gren-lang.org
Gren
A pure functional language for writing simple and correct applications
gren-lang.org
August 19, 2025 at 11:51 AM
Lots of people gave up on it but there seems to be an active fork: gren-lang.org
FRP which spans network zones like client and server. I want to embrace servers, not avoid them. So for example, a client value like a DOM node could depend (and reactively updated) on a server state.
Sth like: What if the entire app (client state + server state) was an Automerge doc?
Sth like: What if the entire app (client state + server state) was an Automerge doc?
August 16, 2025 at 6:20 AM
FRP which spans network zones like client and server. I want to embrace servers, not avoid them. So for example, a client value like a DOM node could depend (and reactively updated) on a server state.
Sth like: What if the entire app (client state + server state) was an Automerge doc?
Sth like: What if the entire app (client state + server state) was an Automerge doc?
I was excited when I discovered the Lambda Cube and Dependent Types. But then it turns out, the rabbit hole just keeps going deeper and deeper.
- Affine/Linear/Quantitative/Graded Types as in Rust and Idris 2
- Refinement Types
- Cubical Type Theory (eg: Agda)
- Affine/Linear/Quantitative/Graded Types as in Rust and Idris 2
- Refinement Types
- Cubical Type Theory (eg: Agda)
August 15, 2025 at 7:56 PM
I was excited when I discovered the Lambda Cube and Dependent Types. But then it turns out, the rabbit hole just keeps going deeper and deeper.
- Affine/Linear/Quantitative/Graded Types as in Rust and Idris 2
- Refinement Types
- Cubical Type Theory (eg: Agda)
- Affine/Linear/Quantitative/Graded Types as in Rust and Idris 2
- Refinement Types
- Cubical Type Theory (eg: Agda)
@martin.kleppmann.com I have been exploring CRDTs to model entire apps, but not in the local-first sense. I am interested in Distributed Reactivity.
What should I be reading?
There's this vision paper: dl.acm.org/doi/10.1145/... but I do not think a whole new programming language is required here.
What should I be reading?
There's this vision paper: dl.acm.org/doi/10.1145/... but I do not think a whole new programming language is required here.
August 15, 2025 at 7:17 PM
@martin.kleppmann.com I have been exploring CRDTs to model entire apps, but not in the local-first sense. I am interested in Distributed Reactivity.
What should I be reading?
There's this vision paper: dl.acm.org/doi/10.1145/... but I do not think a whole new programming language is required here.
What should I be reading?
There's this vision paper: dl.acm.org/doi/10.1145/... but I do not think a whole new programming language is required here.
Thanks for making it available. I read through the chapter on Reactivity. 👍
It seems a lot of work remains to be done in the PL field. A distributed, reactive and modular language is on my current wishlist. :)
It seems a lot of work remains to be done in the PL field. A distributed, reactive and modular language is on my current wishlist. :)
July 14, 2025 at 7:45 AM
Thanks for making it available. I read through the chapter on Reactivity. 👍
It seems a lot of work remains to be done in the PL field. A distributed, reactive and modular language is on my current wishlist. :)
It seems a lot of work remains to be done in the PL field. A distributed, reactive and modular language is on my current wishlist. :)
To be clear, I do think FOSS licenses are naive and have suffocated the space for better alternatives, even if they have been a net positive.
July 2, 2025 at 4:24 AM
To be clear, I do think FOSS licenses are naive and have suffocated the space for better alternatives, even if they have been a net positive.
Reposted by Nilesh Trivedi
All these categories seem fuzzy to me. I recommend modeling everything as agents with declared attributes in case it happens to be non-intelligent and non-longrunning, i.e. tool-like.
June 10, 2025 at 4:55 AM
All these categories seem fuzzy to me. I recommend modeling everything as agents with declared attributes in case it happens to be non-intelligent and non-longrunning, i.e. tool-like.
All these categories seem fuzzy to me. I recommend modeling everything as agents with declared attributes in case it happens to be non-intelligent and non-longrunning, i.e. tool-like.
June 10, 2025 at 4:55 AM
All these categories seem fuzzy to me. I recommend modeling everything as agents with declared attributes in case it happens to be non-intelligent and non-longrunning, i.e. tool-like.