Viewing profile — forward-slashed

Whimsical is the obvious choice for me to draw diagrams. Well-designed, beautiful, and ergonomic. I also hear Scapple is good. Everything else is overengineered ime.

Also check out Morph Labs, which is working with Lean to create an AI proof assistant. Cool startup by ex-OpenAI folks. Essentially a strong type system of Lean can help with const…

I'm using Electric clojure, so no.

This requires reagent?

Off-topic, but this blog has... interesting aesthetics.

How would one adapt this to vanilla js (or clojurescript)?

Hey conartist6, thanks for the interest. I'll share once I get something going.

Oh, this is great. This article and conversation with Marcelle led me down a rabbit hole of Prolog, Minikanren, and Reasoned Schemer. Not quite out yet. I am thinking about using t…

Hey! I noticed you in a comment about cold calling. I have been doing something similar (near 100 in the past month), and am at a dilemma regarding how to approach it. I am curious…

Check out lpy-mode

Maybe that's the wrong question. Maybe ask how many publish papers or write serious blog posts?

Really good stuff, but some minor things: your url doesn't work; went to your twitter profile, and it seems you meant https://chatcraft.org ? Also, you are un-dm-able on twitter. (…

Same. If you want to talk about it dm me on X @eating_entropy.

The interactivity is one. It's easy to evaluate expressions from within the editor. I am not sure you can programmatically change aspects of nvim on the fly, and even if so, probab…

All of this is quite difficult without the DSL to explore and construct pipelines for LLMs. Current approaches are very slow in terms of iteration.

Yeah, once you use threading macros, you are like "I want to convert everything in clojure to threading macros". Then you look at Forth, and you are like "Oh".

I care about the process of determining truth. If one does expert deferral, then they should do so properly. Sadly Nature is expending their social capital as a scientific journal …

It's sad to see people accept the credibility of this article simply because it's from Nature. The author himself is a freelance science journalist (with no real expertise in the f…

More at https://unit.md

"Bug" and "fork" are industry standard terms, "stories" are not. Plenty of frontend developers exist who don't know the term. Overloading is fine. Ambiguous use of an overloaded te…

To see the real value of something, take it away. Humans are greedy (mathematically) creatures, so there's no point in mulling over assets which are secure. The awe is the explorat…

What's your technical stack?

Thanks. Have you found good libraries for working with openai api's in clj?

A very inspiring duo.