iiinova — where your digital self keeps evolving

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 22/07/2026

I am looking for remote work. Worked for 20+ years in service firms.Now I code tools like simple static analyzers, a DB based on Bitcask etc. Primary language was #Java but learnt #OCaml. I continuosly write in branetheory.org and mohanr.github.io.

branetheory.org

MindSpace

Ask Forgiveness. Not permission.

111

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 27/06/2026

@dcsystems.bsky.social Came across some related presesntations. Wondering about new research and code to implement Static Analyzers based on Abstract Interpretation. How has the field evolved ? Does it now have more potential when combined with LLMs ?

000

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 24/06/2026

www.di.ens.fr/%7Ecousot/CO... A Gentle Introduction to Abstract Interpretation by Patrick Cousot/TASE 2015/The 9th International Symposium on Theoretical Aspects of Software Engineering is the best practical tutorial I know. All the #OCaml examples are right there on that web page in a .zip file.

100

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 22/05/2026

I ported a Static Analyzer from Python to #OCaml . This Python code is part of the Spring 2020 edition of CSC255/455 Software Analysis and Improvement taught by Prof. Sreepathi at the University of Rochester. www.linkedin.com/feed/update/.... My #OCaml is improving but may not be up to the mark.

linkedin.com

#ocaml #ocaml #ocaml #ocaml | Mohan Radhakrishnan

Static Analyzers are programs that analyze other programs based on Mathematical properties. Apart from the book by Xavier Rival which also has #OCaml code(I didn't follow that) the most recent motivat...

021

Reposted by @mohanradhakrishnan.bsky.social

RodzLabs ... Wishlist Material Maker 😉 @rodzlabs.bsky.social · 18/04/2026

Material Maker 1.6 is now available for download. It introduces controlled variations (a way of reusing subgraphs in different contexts and iterate on them), Aperture nodes ("wireless" communication in the graph) as well as many updates and bug fixes. rodzilla.itch.io/material-mak...

rodzilla.itch.io

Material Maker 1.6

Material Maker is now available for download, with quite a few new features and improvements. And it seems williamchange has been carrying this release again. Thanks a lot to everyone who support this...

19023

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 18/04/2026

I have written a draft of the first 3 chapters of my #OCaml book. It is a contract but decided to ask here. The 3 chapters cover a simple DB and the index data structure. And only the Leader election of RAFT. A few thousand lines for each subject as it involves capnp RPC and OCaml 5.x and tests.

251

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 02/03/2026

Old mailing lists and their archives were replaced by Discord,Discourse and SO. Some mailing lists received thousands of mails and they were answered. Interesting times. Now #Java #OCaml mailing lists don't exist. Surprisingly Open JDK lists exist. LLMs hasten the demise of community engagement.

131

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 22/02/2026

What are the Open-source TUI's available ? I am looking for inspiration.

000

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 24/07/2025

I was looking for some material to hone my writing skills. I know about some books like 'On Writing well'. But this is technical and I have to write the Preface and explain code. What should I read ?

000

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 28/05/2025

Wonder what the #Ocaml equivalent of Java Microbenchmarking Harness is. I also want to visualize the cachelines on Macs. Bloomfilter in Ocaml uses cacheline logic.

000

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 14/04/2025

@vivarthaka.bsky.social I read വല്ലി and I've been looking for Malayalam dictionaries and some advanced texts to hone my writing skills. Is there a Malayalam equivalent to this ? Do the authors publish reading lists ?

000

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 29/03/2025

These(tarides.com/blog/2019-05... and rgrinberg.com/posts/derivi...) are articles on #OCaml PPX I find. Seems I need more practical examples. A Julia example looks like this. Exploring query compilers.

210

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 03/03/2025

@rbn.bsky.social I was looking for an implementation of CASPaxos. Is the one in Orleans not reusable ? The original 'gryadka' needs docker. Some other implementations are in an unfinished state but should be still almost complete ? I am trying to port it to OCaml,

121

Reposted by @mohanradhakrishnan.bsky.social

Naveed Tavakol @naveedtavakol.bsky.social · 25/02/2025

Join us tomorrow, Feb. 26th at 3pm EST for a #TissueTalk with Brown University Dean and Prof. Tejal Desai @tejaladesai.bsky.social on "Tuning the 'Structure' of Biomaterials for Cell-Based Therapy." See you soon! RSVP/zoom link: bit.ly/tissuetalks

153

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 09/02/2025

I found two UG Biotechnology programs. The specializations are Genetic Engg. and Regenerative medicine. Willing to read any books or other curricula to understand. #Biotechnology

000

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 23/01/2025

Does the recent recognition for Alphafold mean that #BioInformatics is a great career choice ? This is for a UG student. Is there curriculum guidance available somewhere ?

220

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 07/01/2025

#Biology is combined with other subjects and I am hard put to explain how #BioChemistry, #BioPhysics etc. can lead to various career choices.Thought someone would have written about this already.Primarily interested in lab work(Protein design,Gene technology? )but research is an option.Any pointers?

000

mohanradhakrishnan.bsky.social @mohanradhakrishnan.bsky.social · 17/12/2024

I am assisting a 12th grader. It is a project paper titled "BioEngineering Bacteria and Synthetic Biology". Where can I find papers related to designer cells and cures ?(e.g) Engineered skin bacteria induce antitumor T cell responses against melanoma. I could't access the PDF of this.

101