JoelMcCracken

5 ms·

1.
by JoelMcCracken 1mo ago
I experimented with Rhombus some time ago (most especially with Shplait). Is there much new with Shplait? Something I remember struggling with was trying to use racket libraries in Rhombus/Shplait
2.
by JoelMcCracken 2mo ago
So, I injured my left index finger to the point of tendon interruption. It was approx 2018. I was fortunate enough to have surgery that repaired it to near 100% extension. So, I clearly have no synovial fluid at that joint. The tendons were
3.
by JoelMcCracken 2mo ago
You’re missing the fact that Ukraine desperately needs missile defense, and these incidents incentivize its neighbors to keep all their defenses to themselves. No one wants to be blamed when they can’t defend themselves when Russia attacks.
4.
by JoelMcCracken 3mo ago
I always love coming across a new site and it screams “org-mode”.
5.
by JoelMcCracken 4mo ago
This is one of the things I keep thinking about. At the very least, these tools make prototyping and idea vetting remarkably cheaper. Then we go back to the old “the prototype works; I’m the boss and I’m telling you to deploy it to producti
6.
by JoelMcCracken 5mo ago
Why I like using AI right now is that I get to try out far more of my own ideas quickly (and find issues with them!) Before, it was like: "Oh, X idea is really cool, let me try it!" ... (loses interest before idea validated) Now:
7.
by JoelMcCracken 6mo ago
To me the primary answer was a fully functional web browser. the mobile web was extremely limited; I know, I used to use it on a windows pda device.
8.
by JoelMcCracken 6mo ago
This is true/valid in many ways, but the signs of significant AI gen are pretty obvious. And now I wonder how much of the overblown narrative is here. This reminds me of the slop bug reports plaguing the curl project.
9.
by JoelMcCracken 6mo ago
The iPhone was revolutionary. There really was nothing like it at the time. The closest thing (the PDA) was _nothing_ like it.
10.
by JoelMcCracken 6mo ago
This. While I was in college, I worked for Circuit City doing tech support (the "IQ Crew", heh, later called "firedog". Memories). People would call/come in and I would try to gather information about their setup. I
11.
by JoelMcCracken 6mo ago
This is generally a big problem in Pittsburgh where huge areas of the most valuable land is owned by “nonprofits”
12.
by JoelMcCracken 6mo ago
IIUC the maintenance costs of suburbs is higher . Not sure if you meant that.
13.
by JoelMcCracken 6mo ago
I mean I don’t know anything absolutely about someone else’s internal mental state. But I’ve just observed enough to come to certain conclusions, though not necessarily about any particular person.
14.
by JoelMcCracken 6mo ago
I do think there are absolutely instances of people virtue signaling. But, after observing society over the last few years, I've come to think that people who _whine_ about virtue signaling are so full of vice that they cannot possibly
15.
by JoelMcCracken 7mo ago
Don’t get me wrong, this is very interesting, but there is something very funny about the idea that “give a chimpanzee stuff and see if they like it” is academic research. This could absolutely be a headline on The Onion.
16.
by JoelMcCracken 7mo ago
I’m not in favor of these tariffs. At all. However, it seems that they haven’t had such an impact yet on the economy, at least regarding consumer prices. You’d expect much larger inflation given the tariffs IIUC. My current understanding of
17.
by JoelMcCracken 8mo ago
I'm less worried about the "vibe coded" than "vibe-language-learning" Though I do think there is vast potential for such things, it needs to be approached judiciously.
18.
by JoelMcCracken 8mo ago
I remember using one of these tools and it falsely identified some other account as being mine. Of course, I only have just this account.
19.
by JoelMcCracken 8mo ago
Oh wow this is a great reference/image/metaphor for "software engineers" who misuse these tools - "the great pakledification" of software
20.
by JoelMcCracken 8mo ago
IIUC koka can apply these optimizations dynamically when it determines data is unique via reference counting. However the paper has more details.
21.
by JoelMcCracken 8mo ago
Ditto. The entire issue with microplastics is that at certain scale they might have all sorts of bio-active aspects, like BPA and _other_ chemicals used in plastic. I wish we did more to honor "Unknown unknowns" and make changes m
22.
by JoelMcCracken 9mo ago
Yeah I figured that, but the combinations I was dealing with really weren’t that many. The problem was https://xmonader.github.io/prolog/2018/12/21/solving-murder-... and trying to solve it with list mon
23.
by JoelMcCracken 9mo ago
Na each key press goes to a separate lambda invocation that gets submitted to a Kafka queue, and what happens after that is a mystery to all involved. We can make crazy latency ourselves just fine, no space transmission necessary
24.
by JoelMcCracken 9mo ago
Yea I’ve wanted to try using logict to do some larger logic programming stuff. I’ve done it with list monad but found a lot of speed issues, never quite figured out why it was so slow.
25.
by JoelMcCracken 9mo ago
The only languages I know that can do prolog-like-constructs as-a-library are lisps, or at least langs that have reasonable symbol constructs. Usability is way way worse if you can’t talk about variables as first class objects. I was talkin
26.
by JoelMcCracken 10mo ago
oh my god, what a horrible but incredible idea
27.
by JoelMcCracken 10mo ago
neat! I've been moving my site over to heavily use emacs/org for the authoring format and nix for the tooling infrastructure. I'll keep this in mind as a possible tool to help; I don't precisely know what I may still nee
28.
by JoelMcCracken 10mo ago
Ditto. I have a hard time thinking in pictures. When I do there can only be one detailed part at a time, a very small area. I don’t really think in language either. To me thought is much more a kind of abstract process
29.
by JoelMcCracken 10mo ago
This is cool. I could see myself using this for notes.
30.
by JoelMcCracken 11mo ago
You’re absolutely right!

More ›