Nilesh Trivedi

Announcing SciLib, a Lean-based verifier for scientific reasoning. Science needs not just rationalism, but also empiricism. We hope this can do for AI x Science, what Lean has done for AI x Math. #OpenScientificIntelligence

Trying to make machine-verifiable math in Lean more visual, social, game-like and fun! cc: @pietromonticone.bsky.social

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

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

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

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

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

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.

#math notation you didn't know you wanted!

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? 🤔

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.

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

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.

This was a mind-bending read! Argues that intelligence might originate outside of physics and actually come from the platonic space of mathematical patterns. For eg: the familiar "bubble sort" algo shows cognitive skills like delayed gratification and clustering. osf.io/preprints/ps... #ai #cs

On landscape displays, horizontal scrolling seems best for reading ebooks (until we get a really tall/portrait display that can show 3 pages at once). They make it easiest when pages refer to previous or next page, especially with visuals. #design #ebook

I wrote a new blog post. Coding Agents are supersets of not just programs and ML models, but also for the first time, PROGRAMMERS!. But Type Theory and Tests only covers programs. We need a theory of Evals. Link to full post: nilesh.trivedi.link/thoughts/we-... #ComputerScience #AI #typetheory

This is such a good idea!! Early days (prototype is based on Fairphone 2 only), but this shows the power of open hardware.

What are the chances that the hardest implication remaining to be proved or disproved in Terence Tao's Equational Theories project happens to be indexed at Ramanujan's Number 1729?

Announcing VibeLang 1.0 - a new #programming language for the AI age. Designed for professional vibe-coders.

Happy to see progress on the interoperability of infinite canvas tools: canvasprotocol.org/ Will add support for this in my Graph editing tool if it supports nesting properly.

Where have all the tech creators gone?

Just gave a lightning talk about the #repairability wiki for India

I am at #MisinfoCon2025 today.

This took a while, but IMHO, this makes Ghost the best platform for long-form writing on the Web. Substack is no longer cool. techcrunch.com/2025/03/19/s... #fediverse #writing

"Computers for Cynics 2 - It All Went Wrong at Xerox PARC" by Ted Nelson (2012) www.youtube.com/watch?v=c6SU...

How decentralized is BlueSky, really?

How is decentralization of #BlueSky coming along? It's been a while for me and I haven't kept track.

New blog post: I identify 5 major forces which will be at play in next 10 years and mapping it to how young programmers should think about upskilling. nilesh.trivedi.link/thoughts/ski...

Any day you can bring up category theory at work is a good day.

What a phenomenal collection of life skills lessons wrapped in engaging visual stories! Trubuddy comics, a new offering from Menstrupedia, is a delight! https://trubuddy.me

A comparison between Nostr, Fediverse and BlueSky:

Genus ≤ 3 is all you need! 😀 #math #topology

Is Google oauth flow broken in Firefox for everyone or just me for past few days?

If my web browser required walking 100 steps for opening each extra tab, my fitness problems would be solved in a month. 😁