harperlee

5 ms·

1.
A meta-analysis of 3 different notions of software complexity(typesanitizer.com)
1 points by harperlee 10d ago|0 comments
2.
by harperlee 20d ago
Arguably studying derivative works, such as a volume on economics, would be sufficiently acceptable as to void your calculation…
3.
by harperlee 25d ago
“Quantity has a quality in itself”. How many books can you read in your life, and how faithfully can you transcribe them, vs. just retaining a fraction of them? What about LLMs?
4.
by harperlee 2mo ago
FWIW, I'm on the email list of Hillel, and when discussing that the book is done, he said the following, which makes me thing otherwise: This marks the completion of a project that took five years of work, six bookwriting profess
5.
The Relatedness and Nestedness of Constraints(link.springer.com)
2 points by harperlee 2mo ago|0 comments
6.
by harperlee 2mo ago
There is some research around minikanren that touches exactly that (minikanren is akin to prolog written in scheme, where order is just an implementation detail, and cuts and other non-relational things are looked with suspicion).
7.
by harperlee 2mo ago
Would be interesting to see a movement akin to Asahi / OpenWRT that enables me to run my side project on my fridge or tv!
8.
by harperlee 2mo ago
I'm sure the general population being asked whether they read books have a very clear idea of what a book is.
9.
by harperlee 3mo ago
I don't know a lot about formal verification, but: > So you can formally prove that your e-commerce refund management logic is correct, except for proving that you /processed the refund/. You can't even prove anything
10.
by harperlee 3mo ago
I won't hesitate to give this to my children, in a year or two when they are reading more fluently and don't need lots of pictures. Price is also a factor here!
11.
The reason enterprise AI is stuck(fastcompany.com)
3 points by harperlee 3mo ago|0 comments
12.
by harperlee 3mo ago
It was posted at 5am in New York... not sure that that was a US view, so the fact that the platform is US-owned doesn't seem so relevant, if there's a global audience. That being said, I do agree it is a legit thought (and moreso,
13.
by harperlee 4mo ago
"Marjane Satrapi died of sadness a little over a year after the death of Mattias Ripa, her husband and the love of her life" The simple humanity in this candid description brought a small tear to my eyes. I'd say that the cla
14.
by harperlee 4mo ago
More strongly, if the pattern matching of a phenomenon totally / perfectly models the phenomenon, and you end up with a perfect model of the phenomenon, that enables you do do causal prediction, how can you NOT call it understanding? W
15.
by harperlee 4mo ago
Don't know about your landlord specifically, and I'm no landlord, but there's also a bunch of people (including homeowners) that will wait until summer starts to test and then complain about HVAC... just on peak season for HV
16.
by harperlee 4mo ago
Then use them! Then those projects will cease having a single contributor or being unmaintained. This doesn't need to be a binary decision (either there is no risk or I won't use it), just choose the project / scope with know
17.
by harperlee 4mo ago
APL was designed to be written on a chalkboard (if I remember the story right). It is quite dense, and programs are quite small. Reading is slow and requires you to ponder about what was written. You can hold a lot of content in a small amo
18.
by harperlee 4mo ago
Depends on the test design; is an agent competing against other agent in a given match, or against a test? Plus! Does the test's ELO fluctuate?
19.
by harperlee 4mo ago
Hopefully this becomes a reversal in the trend of giving less and less context to the user. I'm not against the considerations of the article regarding the user and its state of mind, but please do add as much technical detail as possi
20.
by harperlee 4mo ago
I'd say Java, because it has a massive footprint amenable for training, and a strong type system (does not have sum types though and those are trendy). You'd have to steer the LLM to use the style you want, and not massively overa
21.
The final form of software development(blog.zksecurity.xyz)
2 points by harperlee 4mo ago|0 comments
22.
by harperlee 4mo ago
Would be cool to have a plugin that shows % of bot per user, based on their history of comments.
23.
by harperlee 4mo ago
> It's already demeaning to expect them to "learn an accent" The concept of an accent is broad, but at least part of it you need to learn together with the language, as speaking a non-native language with a thick accent is
24.
by harperlee 5mo ago
Interesting! Could you expand?
25.
by harperlee 5mo ago
There is a lot of hate in the comments but there is some merit to the post existing: 1. Even if the task is unreasonable, it is good to showcase that the LLM will perform poorly - warning not to be used for diabetes. 2. As it is a pr
26.
by harperlee 5mo ago
Fwiw I just thought the same, parse (don’t validate) the bits you like and recreate / reject the input.
27.
by harperlee 5mo ago
I mostly program with clojure. I'd love that I could agree with you. For clarity I was not meaning a culture of improductivity (but it also applies), and more of a trait of the culture that is improductive, choosing to focus productivi
28.
by harperlee 5mo ago
I think Idris 2 is targeted more to programming than to doing math, no?
29.
by harperlee 5mo ago
The question then is how they plan to avoid The Lisp Curse (in my words, language giving you too much power makes you do weird things, and you attract people to like to use things a tad too powerful / generic, and you end up with an un
30.
by harperlee 6mo ago
Listen, I’m not a zealot, AI can help a lot, but the default LLM style is unbearable to read.

More ›