Top all-time · #5028
Unify your derivatives and structured products management on LexiFi
Company blog · lexifi.com/blogprogrammingbusiness
Unify your derivatives and structured products management on LexiFi is the company blog at lexifi.com, writing about programming and business. Since 2009, 16 different Hacker News readers have linked it 16 times, most often “Dynamic types”. It is still writing: the last post was on 2026-09-29, and you can follow it by feed.
Too few sampled comments (10) to say how often HN recommends it.?
Why HN links it
Commenters cite LexiFi pages as references on describing financial contracts in OCaml, the Composing Contracts paper, MLFi, and OCaml float unboxing and record encoding. They are not praised or criticised.
Summarised by Claude from a sample of 10 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- /files/resources/MLFiPaper.pdf2 people · 2 mentions · first linked 2016-06-21
- Dynamic types2 people · 2 mentions · first linked 2015-03-31
What Hacker News says?
Here is an interesting use https://www.lexifi.com/instrumentbox/ . Algebraic description of financial contracts that then gives all sorts of common features you want to analyze them ‘for free’.
Comment linking /instrumentbox/
on “The Hardest Program I've Ever Written – How a code formatter works (2015)”Submitted About unboxed float arrays as a story · 13 points
HN discussionHeck, even Ocaml! https://www.lexifi.com/
Comment linking /
on “Remote work will break the US monopoly on global talent”Submitted Runtime types in OCaml as a story · 7 points
HN discussion> I'd love to see an example of such a restricted contract language. A Formal Language for Analyzing Contracts, http://szabo.best.vwh.net/contractlanguage.html Composing contracts: an adventure in nancial engineering, https://lexifi.com/files/resources/MLFiPaper.pdf
Comment linking /files/resources/MLFiPaper.pdf
on “Ethereum is Doomed”Submitted Real world Haskell: modelling financial derivatives [pdf] as a story · 3 points
HN discussionFor those who like me aren't familiar with the concept of "float boxing", I think this is the same thing: https://www.lexifi.com/ocaml/unboxed-floats-ocaml/ Basically if I understand correctly this removes an indirection when using floats, probably reducing the memory footprint and improving performance.
Comment linking /ocaml/unboxed-floats-ocaml/
on “Racket 7.8”Submitted (OCaml) Migrating to floatarray: experience report as a story · 2 points
HN discussionThis seems like a legitimate use-case for permissioned ledgers where various lenders have necessarily siloed lending history data but also have an interest in seeing what data everyone else has for prospective lendees. In the longer run, you can imagine not just credit history data being exchanged (with the permission of the borrower perhaps) but also the ability to trade the loan products themselves, most of which…
Comment linking /files/resources/MLFiPaper.pdf
on “As Equifax Amassed Ever More Data, Safety Was a Sales Pitch”Submitted Dynamic types as a story · 2 points
HN discussionWell I love python, but this reminds me of a set of an old paper by Peyton-Jones of GHC fame, which developed a Haskell combinator lib that did something like this. I'm sure the state of the art has left this system long behind, but it's a pretty interesting concept. Composing contracts: an adventure in financial engineering, Simon Peyton Jones, Jean-Marc Eber, Julian Seward. ICFP, 2000 http://www.lexifi.com/downloa…
Comment linking /downloads/MLFiPaper.pdf
on “Will Wall Street require Python?”Submitted Inlined records in OCAML constructors as a story · 1 points
HN discussionYeah, that gives something of the flavour. (I was thinking of the record encoding at http://www.lexifi.com/blog/dynamic-types , myself.)
Comment linking /blog/dynamic-types
on “Why OCaml GADTs matter for performance”FpML (Financial Products Markup Language) was conceived shortly before the paper referenced in the blog post.[1] One of the paper's authors went on to create MLFi, a modelling language for finance[2] This stuff is a bit esoteric but I think it will attract more attention because of its relevance to smart contracts. 1: http://www.fpml.org/ 2: https://www.lexifi.com/product/technology/contract-descripti...
Comment linking /product/technology/contract-description-language
on “Adventures in financial and software engineering”For a good counter counter example to this guy's rant: Functional Payout Framework used for exotic options pricing at Barclays Capital, developed entirely in Haskell: http://www.lexifi.com/downloads/frankau.pdf
Comment linking /downloads/frankau.pdf
on “Want to be a programmer in an investment bank?”There's a self-signed certificate over there, here is a direct link to the slides: http://www.lexifi.com/files/resources/runtime_types.pdf
Comment linking /files/resources/runtime_types.pdf
on “Runtime types in OCaml”
