Viewing profile — sriku

Lean seems to fit your ask fairly well.

I recently lent a book with some scribbled notes of mine to a friend and they were all like "oh we love scribbles in books". Another way to connect.

Those inseparably mix up programming language, compiler, programmer(s) and application domain as factors.

I wish people'd report metrics like "40 type classes, 5000 functions, 300 instances, 20 monads, 14 functors, ..." And such instead of "lines of haskell".

This test would be a good way to lose existing subscribers perhaps.

https://claude.com/product/claude-code seems to say it is included in Pro plan.

"Fast" is not always a virtue and "efficiency" is not always the only consideration.

While this can give a notation for the domain, you'd still need an engine to process it. Prolong+CLPFD perhaps meets it well (not too familiar with the tax domain) and one could pe…

Another concatenative-ish one embedded in js .. just for fun - https://github.com/srikumarks/pjs You may find the "genailang" module fun to play with.

This - I even ran Claude to produce a security eval of openclaw for fun and it was mostly spot on - https://sriku.org/files/openclaw-secreport-claude-13feb2026....

We built something like this by hand without much difficulty for a product concept. We'd initially used LangGraph but we ditched it and built our own out of revenge for LangGraph w…

The "impossibility" of enforcing legislated constraints on thousands of providers point is hand waving. We're all legislated to not harm each other. Throwing the small fraction who…

"what specific laws ...?" If a company chooses a design and it can be proved through a subpoena of their communications that the design was intended and chosen for its addictive tr…

Great point and many of the responses are very interesting too. I wonder whether part of this is a habitualization of intolerance for just being with oneself - to be ok with feelin…

This looks to me like partly a false dichotomy. We can design languages and write libraries. Some would even argue that some kinds of "libraries" could be viewed as languages thems…

i^i isn't unique right? The "let x = π/2" could very well have been "let x = π(4k+1)/2" for any integer k.

The frame set by the OP completely out me off and dissuaded me from reading the rest of the article beyond the first paragraph. Didn't feel like much throught was given to what was…

I find it hard to think of code as being the output of programming. I keep re-reading Naur's "Programming as theory building" paper and it still feels relevant and closer to how th…

A quote shared by a close friend and mentor - Apparently an elderly Irish musician said this as he was tuni g his instrument - "I've learnt that the secret to being happy is to not…

Am working on rewriting an imperative programming course to use Dafny to present verified algorithms and data structures.

I quite like Dafny, despite my first run up with it (verification aspect) being frustrating. The language is well designed for this. Also, it looks like it is a great candidate as …

In a discussion I was in recently, a participant mentioned "culture eats strategy for breakfast" .. which perhaps makes sense in this context. Be bold enough to do what makes the t…

Wouldn't "The Age of Em" be relevant to this paper? Was surprised to not find a reference to it in the preprint.

Impressive performance, yes but is the article giving more credit than due?

Rgd the "14 lb 5 oz" point in the article, the simpler explanation than the hypothesis there that it back calculated the weight is that there seems to be a space between 14 and 5 -…