psychedelics coq typescript-libraries consultancies

drugs/psychedelics/psychedelics.md

@@ -12,7 +12,7 @@ But as will all things, _moderation is key_. Or as in the case of psychedelics,
 
 > _"When you get the message, hang up the phone"_
 
-My favorite psychedelics currently are [4-AcO-DMT](https://psychonautwiki.org/wiki/4-AcO-DMT), [5-MeO-DMT](https://psychonautwiki.org/wiki/5-MeO-DMT), [Changa](https://psychonautwiki.org/wiki/Changa) & [LSD](https://psychonautwiki.org/wiki/LSD) (~ 100ug).
+My favorite psychedelics currently are [4-AcO-DMT](https://psychonautwiki.org/wiki/4-AcO-DMT), [4-HO-MiPT](https://psychonautwiki.org/wiki/4-HO-MiPT), [5-MeO-DMT](https://psychonautwiki.org/wiki/5-MeO-DMT), [Changa](https://psychonautwiki.org/wiki/Changa) & [LSD](https://psychonautwiki.org/wiki/LSD) (~ 100ug).
 
 I use [Tablets](https://itunes.apple.com/nl/app/tablets-journal/id1460296357?l=en&mt=8) iOS app to track all my doses. This helps me make sure I don't abuse any substance.
 

programming-languages/coq/coq.md

@@ -56,3 +56,4 @@
 - [HELIX](https://github.com/vzaliva/helix) - Formally verified operator language and rewriting engine for high-performance computing.
 - [Bits](https://github.com/coq-community/bits) - Formalization of bitset operations in Coq with a corresponding axiomatization and extraction to OCaml native integers.
 - [Coq formalization of information theory and linear error correcting codes](https://github.com/affeldt-aist/infotheo)
+- [jsCoq](https://jscoq.github.io/) - Use Coq in Your Browser. ([Code](https://github.com/jscoq/jscoq))

programming-languages/typescript/typescript-libraries/typescript-libraries.md

@@ -102,6 +102,7 @@
 - [ts-nameof](https://github.com/dsherret/ts-nameof) - nameof in TypeScript.
 - [prex](https://github.com/rbuckton/prex) - Asynchronous coordination for JavaScript and TypeScript.
 - [Purifree](https://github.com/nythrox/purifree) - Pointfree type-safe functional programming library for TypeScript - with do notation, HKTs, generic lifts and more.
+- [valita](https://github.com/badrap/valita) - Typesafe validation & parsing library for TypeScript.
 
 ## Links
 

work/consultancies.md

@@ -172,6 +172,7 @@
 - [ustwo](https://www.ustwo.com/) - Digital product studio.
 - [Provectus](https://provectus.com/) - AI-First Consultancy and Solutions Provider.
 - [8th Light](https://8thlight.com/)
+- [Trail of Bits](https://www.trailofbits.com/) ([GitHub](https://github.com/trailofbits))
 
 ## Links