Nilesh Trivedi

Google Chat has Tasks integration now.

Bangalore peeps, I've been invited by Abheek Learning Center to speak to parents and educators about the Future of Learning in the age of AI, especially how to manage children's exposure on our computing devices.

This Saturday, 9:30AM. Limited capacity.

luma.com/mxnsai48

#parenting #learning

it is your DUTY as a parent to be basic and cringe. if your child says "6-7" and you do not say, loud enough for their friends to hear, "8-9?", causing profound silence and intense discomfort, you are neglecting your responsibilities. being cool is for kids. your days of being laughed WITH are over

Chicken Caesars: they're messing with your Bluesky feed Unexplained algorithmic tweaks are putting the Bluesky platform ahead of the protocol

Then there is Bsky team making opaque changes to the moderation algo: thedabbler.patatas.ca/pages/bluesk...

Oh wow.. #bluesky just started demanding birthdate!

Why is it not asking for just the age-band?

Is it for personalization or a legal mandate? Is it okay for me to lie about my birthdate?

Are they enforcing AUS/UK/EU law on worldwide users?

Why are there no docs about this?

@jay.bsky.team

I have uploaded the slides for all the talks I have given at Lossfunk so far:

1) Building a scientific agent using system dynamics simulation

2) Agent2Agent collaboration Protocol

3) Differentiable Programming

4) My solution for Distributed Reactivity

nilesh.trivedi.link/thoughts

Yes, it's all good. 👍

[Bug]: Unable to upgrade to Builder plan for Deno subhosting · Issue #919 · denoland/deploy_feedback Problem description I tried to subscribe to the Builder plan for our Deno subhosting org 03ffbfd8-f1b2-4020-94ba-1a30202dc922 On checout.stripe.com page, I tried two methods: 1) a card which is alr...

@philhawksworth.dev Hi, we are having difficulty upgrading to the paid plan for Deno subhosting. github.com/denoland/dep...

Would you be able to escalate this? I couldn't find a way to reach support.

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

Checking in after many many weeks.

What's been happening on #bluesky - both the network and the software?

Fixable products for India | fixable

We're having the first edit-a-thon for the Fixable hardware Wiki ( isfixable.com )

3PM today on Google Meet: meet.google.com/ybx-eose-jbi

#openhardware #RightToRepair

Coding Agent Builders Mixer · Luma If you're building Coding Agents using LLMs, this online meetup should help you connect with similar folks and discover ideas and opportunities.

I'm putting together this online mixer this Sunday for those who’re building coding agents. #ai

luma.com/o26hrnb4

Project Cambria: Translate your data with lenses Changing schemas in distributed software is hard. Could adopting bidirectional lenses help?

InkAndSwitch folks have written about bi-directional data transformations: www.inkandswitch.com/cambria/

How come client-side calls to LLMs not more popular?

OpenAI, Anthropic, Gemini all support it. But no client-side library has taken a foothold for this pattern.

@simonwillison.net had written about this a year ago.

Let's call it "Addorial".

#math notation you didn't know you wanted!

No, if anything Zen should be ahead. I didn't choose Floorp for its features.

Floorp v12 got Vertical tabs, AI chatbots in sidebar with multiple LLMs without data leakage.

Is there anything I'm missing from Comet / Dia / Chrome? 🤔

Gren A pure functional language for writing simple and correct applications

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?

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)

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

This is depressing but only if you THINK about it. 😁

Reading survey papers across disciplines is insanely effective.

Not only do you learn almost state-of-the-art knowledge that has not yet made to textbooks, but you also build a mental map of the field and how different ideas relate to each other. I find this scaffolding very useful for retention.

Topology is so underrated.

I used to think it's just a corner of abstract mathematics, but now I see EVERY question in terms of what the space of possible answers is and what the properties of its shape are because they inform approaches for design, search & optimization.

#mathematics

I have been thinking about distributed reactive computation. There is way too much plumbing involved in building apps.

Have landed on an elegant model, with which, expressing a multi-user, secure, high-performance todo app takes 20 lines of code (including a basic reactive UI).

#computing

Duty calls.

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

Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy!
www.plai.org

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.