mohanradhakrishnan.bsky.social

branetheory.orgMindSpaceAsk Forgiveness. Not permission.

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.

github.comGitHub - mohanr/PaligemmaContribute to mohanr/Paligemma development by creating an account on GitHub.

22 July

I also port ML algorithms to TensorFlow. (e.g) github.com/mohanr/Palig.... I was a Tech. Architect in Cognizant before this.

22 July

I can also work in offices in India. #Java #OCaml #MachineLearning #AWS

27 June

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

24 June

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.

24 June

Spring 2020 edition of CSC255/455 Software Analysis and Improvement taught by Prof. Sreepathi Pai at the University of Rochester has Python code. ahttps://github.com/sree314/simple-abstract-interpreter

linkedin.com#ocaml #ocaml #ocaml #ocaml | Mohan RadhakrishnanStatic 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...

22 May

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.

mohanradhakrishnan.bsky.social reposted

RodzLabs ... Wishlist Material Maker 😉

@rodzlabs.bsky.social

rodzilla.itch.ioMaterial Maker 1.6Material 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...

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

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.

Code is working but I need some Technical Writing resources. Subject is complicated to explain clearly. What Tech. Writing or in general writing resources would you recommend for such books ? TIkz diagrams are used. Still have to explain. Not a functional programming book per se.Only implementation.

Not yet reached the technical review stage. So it is the prose I am revising. Prose is harder than the code. I am a programmer. What is the idea of the book? A partial but extensible implementation of tools like a DB, RAFT and a TUI with CRDT editing capabilities etc. 200-300 pages.

2 Mar

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.

22 Feb

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

discuss.ocaml.orgBigarray tutorial or examples?I’d be interested in a tutorial on elementary use of the mysterious Bigarray–or even simple examples of use. The OCaml manual chapter on Bigarray and the ocamldoc pages are pretty opaque. I don’t ac...

The documentation is sketchy for many aspects of #OCaml. This thread is about one aspect - discuss.ocaml.org/t/bigarray-t...

View full thread

Works but I don't see examples of this kind. I replicate whatever is working and proceed. Any doc. ? The doc. actually uses echo example.

I have to read Irmin's source.

The documentation is sketchy for many aspects of #OCaml. This thread is about one aspect - discuss.ocaml.org/t/bigarray-t...

discuss.ocaml.orgWaiting for Capnproto connectionSorry I missed out part of my code that is important - I do use serve. How can I attempt to connect and retry?

In my case it is this aspect. capnp compiler for ocaml generates code generates Builder, Reader etc. But the examples in the documentation doesn't use all those.I am able to make it work for simple cases.Just one or two threads like discuss.ocaml.org/t/waiting-fo...

let requestvote t id term = let open Vote.Requestvote in let request, params = Capability.Request.create Params.init_pointer in Params.candidate_id_set params id; Params.term_set_exn params term; Capability.call_for_value_exn t method_id request >|= Results.reply_get

mohanr.github.ioAdaptive Radix Treetl;dr The code will be gradually improved and be committed to git finally. The version on this page is compiled but unfinished until I mention it here. Performance considerations are not paramou...

14 Nov 2025

@smelc.bsky.social Wondering if OCaml developers are being recruited by you or others. My work is in my Git profile and mohanr.github.io. Thanks

www.linkedin.com/feed/update/...

14 Nov 2025

linkedin.comHi, LinkedIn friends! I’m looking for my next Senior/Principal Engineer role. I have 20+ years of experience as a developer and architect. I have developed using multiple languages like Java, R… | Mo...Hi, LinkedIn friends! I’m looking for my next Senior/Principal Engineer role. I have 20+ years of experience as a developer and architect. I have developed using multiple languages like Java, R, Pyth...

24 July 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 ?

watch.ocaml.orgDebugging Native OCaml with Breakpoints and SteppingWatch media related to the OCaml programming language and ecosystem

3 July 2025

Is this how deep #OCaml debugger setup is ?https://watch.ocaml.org/w/c6jKXFzwgrFzSwnxTM6eGX

28 May 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.

14 Apr 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 ?

29 Mar 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.

github.com/pedrobslisbo...

29 Mar 2025

github.comGitHub - pedrobslisboa/ppx-by-example: This repository contains examples to help on understanding what are and how to write PPXs in OCaml.This repository contains examples to help on understanding what are and how to write PPXs in OCaml. - pedrobslisboa/ppx-by-example

@naveedtavakol.bsky.social

3 Mar 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,

mohanradhakrishnan.bsky.social reposted

Naveed Tavakol

25 Feb 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

9 Feb 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

23 Jan 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 ?

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

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.

View full thread

#BioEngineering #BioTech #Education

bryantmcgill.blogspot.comA Primer on Bio-Cybernetics, Parasitics, and Bio-Engineered Organic Human Interface Systems

18 Dec 2024

There is bryantmcgill.blogspot.com/2024/10/a-pr...