sriku

5 ms·

1.
by sriku 20d ago
Open Sound Control reinvented? https://joearms.github.io/published/2016-01-28-A-Badass-Way-...
2.
by sriku 22d ago
Same here. For tough compute, I spin up a machine in some cloud service, do what I need, and shut it down. Of course, its a different issue if you need power on the desktop right there, like for A/V/Graphics work.
3.
by sriku 28d ago
You'll have to bring in the 2π factor somewhere. Cant escape it. If sint is the sin function but with angle give in turns, then d/dx sint(x) = 2π cost(x). sin(x) ~ x for small x but sint(x) ~ 2πx for small x.
4.
by sriku 2mo ago
Lean seems to fit your ask fairly well.
5.
by sriku 2mo ago
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.
6.
by sriku 4mo ago
Those inseparably mix up programming language, compiler, programmer(s) and application domain as factors.
7.
by sriku 5mo ago
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".
8.
by sriku 5mo ago
This test would be a good way to lose existing subscribers perhaps.
9.
by sriku 5mo ago
https://claude.com/product/claude-code seems to say it is included in Pro plan.
10.
by sriku 5mo ago
"Fast" is not always a virtue and "efficiency" is not always the only consideration.
11.
by sriku 6mo ago
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 perhaps paraphrase Greenspun's tenth rule to this co
12.
by sriku 7mo ago
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.
13.
by sriku 7mo ago
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....
14.
by sriku 7mo ago
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 wasting our time with what could've simply been an
15.
by sriku 7mo ago
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 do in jail, is sufficient to keep the vast m
16.
by sriku 7mo ago
"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 traits, even if there has been no evidence collected
17.
by sriku 8mo ago
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 feeling bored, for instance. Most suggestions are about "doin
18.
by sriku 8mo ago
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 themselves, as much as some languages might as well h
19.
by sriku 9mo ago
i^i isn't unique right? The "let x = π/2" could very well have been "let x = π(4k+1)/2" for any integer k.
20.
by sriku 9mo ago
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 being said.
21.
by sriku 9mo ago
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 the activity feels to me, AI or no AI. https:&
22.
by sriku 9mo ago
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 get personally involved in your own life."
23.
by sriku 9mo ago
Am working on rewriting an imperative programming course to use Dafny to present verified algorithms and data structures.
24.
by sriku 9mo ago
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 a code generation target for LLMs because you can generate t
25.
by sriku 9mo ago
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 team and the product thrive.
26.
by sriku 10mo ago
Wouldn't "The Age of Em" be relevant to this paper? Was surprised to not find a reference to it in the preprint.
27.
by sriku 10mo ago
Impressive performance, yes but is the article giving more credit than due?
28.
by sriku 10mo ago
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 - i.e. It reads more like "14 5" than &qu
29.
by sriku 11mo ago
The article says it was created to write audio software but I'm unable to find any first sources for that. Pointers?
30.
by sriku 11mo ago
I've had a soft spot for Forth and am toying with a silly Forth-like interpreter for web programming ... if not for actual use, at least for some fun time. One concept it adds is the notion of a "current selection" which can

More ›