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.

MindSpace

Ask Forgiveness. Not permission.

branetheory.org

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

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.

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.

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

linkedin.com

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

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

rodzilla.itch.io

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.

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.

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

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

@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

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 ?

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

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.

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

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.

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

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

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

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 ?

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