xoxolian

#ai-assisted-coding actually

Yeah, Ghostel works great for me so far!

Two things: - defined f1 to toggle between semi-char vs copy modes - I ask myself "Is it ok if Emacs dies or I nuke it?" If not, then I execute a command in the normal terminal

Unless you use Typed Clojure, which is a library. https://github.com/typedclojure/typedclojure

I haven't used it, so I don't know its tradeoffs; but its docs say its types exist at compile time: https://github.com/clojure/core.typed/wiki/User-Guide

For me: documentation at the "front door" of an interface, especially in that long moment before you decide to add a spec or Malli schema.

Being Hacker News, a lot of us use programmable IDEs & keyboards. I added em dash support to both Emacs and Dygma keyboard.

If B), then maybe the LLM should be instructed to prefer things like the -> and ->> operators. So the first forms evaluated are also the first written.

No sorry, of the things I've listed, I'd never seen nor heard of a project that uses Typed Clojure, nor probably inheritance via dervied/isa?.

For static (partial) typing, I instead use Malli schemas. I do this for every larger Clojure program I make, because there's always something that needs paranoia, or it's handy to generate example data.

Thanks for the link!

What would you say is missing from Clojure for large-scale OOP design? As I understand, Clojure gives you OOP a la carte. Objects (via maps/records/structs), polymorphic dispatch (via multimethods/protocols/case), types (via Malli/TypedClojure), inheritance (via derived, isa?, etc), some encapsulation (via defn-/^:private)...

Is OpenAI significantly better so far regarding this, at least publicly? I'm increasing my LLM spend this weekend, and this could impact my decision. And I'll prioritize supporting open-weight models moving forward — already Chatgpt's censorship and surveillance dissuade from asking it genuinely helpful questions.

- Day traders: Usually get rich "lying" — as influencers. As I hear, very few successful traders have day trading as their only income (and very few are successful), so they supplement it with other income streams. And those income streams, when relevant to daytrading, tend not to inform audiences that they'll best earn maybe 20% per year, and maybe only be able to live off capital above $100-500k.

- Garbage collector, zoo keeper, lifeguard: As honest jobs, you can hopefully make a living doing these. To leverage these skills to become rich.. I don't know, but would imagine there might be some big lies along the way.

- Tennis player: How do they become rich, endorsements? Does associating yourself with a racket, shoe or energy drink count as telling truth or lying? Since ads aren't an analysis of the racket's technical properties, nor its contribution to your playing... I'd say it's lying.

Have you upgraded recently? Dygma's software is nowadays much more solid.

> We all forget that money is nice, but nation states have real power.

Interesting point. There's a top gangster who can buy anything in the prison commissary; and then there's the warden.

Yeah, I've built ad systems. Sometimes I'd give a presentation to some other department of programmers who worked on content, and someone would ask the tense question: Not to be rude, but aren't ads bad?

And I'd promptly say: Ads are propaganda, and a security risk because it executes 3rd party code on your machine. All of us run adblockers.

There was no need for me to point out that ads are also their revenue generator. They just had a burning moral question before they proceeded to interop with the propaganda delivery system, I guess.

It would lead to unnecessary cognitive dissonance to convince myself of some dumb ideology to make me feel better about wasting so much of my one (1) known life, so I just take the hit and be honest about it. The moral question is what I do about it, if I intervene effectively to help dismantle such systems and replace them with something better.