Nilesh Trivedi

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.

This is such a good site:

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.

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

We need a formal theory of Agent Evals | Nilesh Trivedi

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

YouTube video by NDTV India Pakistan Conflict | "Look Who's Behind Him": India Envoy's Photo Proof Of Pak-Sponsored Terror

India's High Commissioner to the United Kingdom, Vikram Doraiswami, presented this evidence to SkyNews:

www.youtube.com/watch?v=HnUI...

The world does not seem to care about the incorrigibility of #Pakistan. And #India always bears the cost of it. ☹️

Last image shows Pak military officials giving state funeral to a terrorist, attending along side HAFIZ ABDUR RAUF who himself is a Specially Designated Terrorist under OFAC sanctions.

Foresight Institute’s Tech Tree Project Tech Trees : Building a tool to map science and tech Foresight Institute's Tech Tree project maps ambitious goals in Nanotech, Neurotech, Space,

On the same lines, Foresight institute has built technology tree for a few research areas. I had built the visual editor for that task: foresight.org/tech-tree/

GitHub - CADmium-Co/CADmium: A CAD program that runs in the browser A CAD program that runs in the browser. Contribute to CADmium-Co/CADmium development by creating an account on GitHub.

Meanwhile, there is CADmium: github.com/CADmium-Co/C...

Hmm.. have you tried asking in FOSS United's forum or Telegram group? The funding was from Zerodha but FOSSUnited is listed as an ecosystem partner and they're quite responsive.

web.telegram.org/k/#@fossunited

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.

Prefer sharing permanent URLs when user has own domain-based identity · Issue #6250 · bluesky-social/social-app Describe the Feature Let's say I am trying to share a Bsky post elsewhere on the web. I use "..." menu and choose the "Copy link to post" option on webapp or "Share" option on mobile app. The URL f...

It has a weakness though. When people share links to your posts, they are forced to use the bsky domain - making them a permanent intermediary between your audience and you. This can be used to discourage you from leaving the central instance.

I filed this months ago: github.com/bluesky-soci...

Where have all the tech creators gone?

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

I am at #MisinfoCon2025 today.

Substack rival Ghost is now connected to the fediverse | TechCrunch Newsletter platform Ghost, an open source competitor to Substack, is now connected to the fediverse, also known as the open social web. Federated apps run

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

Correction: ghostty is written in Zig, not Rust.

So pretty!

Rust community has been building modern versions of common unix utilities.

ghostty - terminal emulator: ghostty.org
bat for "cat": github.com/sharkdp/bat
eza for "ls": github.com/eza-communit...
helix for "vim": helix-editor.com

All available for #linux, #windows, #macos

#programming

YouTube video by TheTedNelson Computers for Cynics 2 - It All Went Wrong at Xerox PARC

"Computers for Cynics 2 - It All Went Wrong at Xerox PARC" by Ted Nelson (2012)

www.youtube.com/watch?v=c6SU...

I found this link: bsky.app/profile/nile...

How decentralized is Bluesky really? -- Dustycloud Brainstorms By Christine Lemmer-Webber on Fri 22 November 2024

How decentralized is BlueSky, really?