Viewing profile — harperlee

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…

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…

Would be interesting to see a movement akin to Asahi / OpenWRT that enables me to run my side project on my fridge or tv!

I'm sure the general population being asked whether they read books have a very clear idea of what a book is.

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 r…

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!

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 s…

"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 …

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 caus…

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 comp…

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 i…

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 wh…

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?

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 mi…

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 …

Would be cool to have a plugin that shows % of bot per user, based on their history of comments.

> 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 …

Interesting! Could you expand?

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 - …

Fwiw I just thought the same, parse (don’t validate) the bits you like and recreate / reject the input.

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 cul…