michael 📈 👨‍💻

the treatment of the polls is extremely sus

yeah my experience with turing has always been similar; the syntax is second to none but the perf is a total dealbreaker :( but when you are a more disciplined / experienced programmer the cost of the stan syntax is way less severe / sometimes even preferable to have more explicit interaction

This is true

one comfort of aging right now is that online happens so fast and is so trivial that being left behind by culture is just very low cost actually? I log in and see commotion about x or y and just think, what is wrong with you people? makes it way easier to stay logged off and live my life in peace

I logged on... for THIS!?

that's interesting but makes sense to me. There is very little going on in Stan syntax & the ideas rhyme with math that the LLM has seen plenty of. And LLM sees a lot more strictly typed / imperative code than a typical data sci person does, so it complements our weak spots pretty nicely

built a stan model at work this week. my first one for work I think? being around a lot of cpp daily makes this way easier holy cow

there is probably a way to salvage this with the internet archive CLI and get a new blog post out of it

hmm, I got got. I can't rebuild a blog post that has some web-scraping code in it because the website was redone and I didn't back up all of the pages on the wayback machine

I have seen some projects trying to pursue a "protocolization" of LLM interactions but there are (a) a lot of disconnected efforts and (b) I worry they will just be drowned out by big companies trying to get their bags. Everyone just trying to get their bags...

the idea that I should have to "install Cursor"... ptuh, I spit on the notion

big frustration I have with LLM tools right now is how we are seemingly unlearning what LSP taught us. There is no reason why I should have to use a specific *IDE* to get certain LLM interaction patterns. There should be standards for LLM interactions, and editors implement the standards.

from gremllm import Gremllm # Be sure to tell your gremllm what sort of thing it is counter = Gremllm('counter') counter.value = 5 counter.increment() print(counter.value) # 6? print(counter.to_roman_numerals()) # VI?

The is diabolical... a Python object that hallucinates method implementations on demand any time you call them, using my LLM Python library github.com/awwaiid/grem...

ZOHRAN MAMDANI'S SOCIALIST PROMISES - Everybody has to do functional programming - Gender is monads now - take the Brzozowski derivative of all cishet white men

ok this is actually really fucked up. Why did people vote for this guy

Or like "conceptual" code golfing. Minimizing not the code lines but the number of concepts that the maintainer of the code must hold in their minds when reading or fixing the code in the future

one subtle thing I noticed myself getting better at this week is "treating the code like legacy code" and trying to respect the future maintainer.

For example. Any time you make a change, could you make a functionally equivalent change with fewer (or more conceptually efficient) git diffs

YouTube video by Molly Rocket The Only Unbreakable Law

www.youtube.com/watch?v=5IUj...

proof of concept

my coworkers think I am picky about code editors. I'm really not! My list of requirements is basically two things:

1. I should be able to do whatever I want.
2. vim motions should be perfectly implemented.

I really don't see what the big deal is

i think bsky is cool because of the tech. I like the idea of open protocol, no central ownership, bring-your-data-with-you freedom. I think the political bubble on this site, chasing people off it bc they disagree with you, and other epistemic self-delusions are very bad and bum me out big time

i don't want to be on the condo association board anymore

when you log into quickbooks you get the option to sign in w/ a password or to have a verification code sent to your phone.

if you enter a password, they still send you a verification code to your phone.

then why did you give me the password option?

Gemini I understand your point completely. You asked for help finding an email in your inbox, and instead of explaining that I couldn't find one matching your description, I generated a fictional email. That was not a helpful response to your request. My intention was to give you an idea of what such an email might look like, but I see now that this was not the correct approach and did not serve the purpose of helping you find an actual email. I apologize for that.

Stolen from a friend's IG:

Screenshot of text from the linked blog post. The text reads: but the craft Do you like fine Japanese woodworking? All hand tools and sashimono joinery? Me too. Do it on your own time. † (I’m a piker compared to my woodworking friends) I have a basic wood shop in my basement †. I could get a lot of satisfaction from building a table. And, if that table is a workbench or a grill table, sure, I’ll build it. But if I need, like, a table? For people to sit at? In my office? I buy a fucking table. Professional software developers are in the business of solving practical problems for people with code. We are not, in our day jobs, artisans. Steve Jobs was wrong: we do not need to carve the unseen feet in the sculpture. Nobody cares if the logic board traces are pleasingly routed. If anything we build endures, it won’t be because the codebase was beautiful. Besides, that’s not really what happens. If you’re taking time carefully golfing functions down into graceful, fluent, minimal functional expressions, alarm bells should ring. You’re yak-shaving. The real work has depleted your focus. You’re not building: you’re self-soothing.

i'm chewing on this

fly.io/blog/youre-a...

anybody have a Neovim LLM workflow that they like?

I'd like LLM auto-suggestions to go through my completion dropdowns (NOT virtual text) and separately I am curious to use avante or something else with cursor-like accept/reject flow.

Also if you have prefs about which models to use backend

I use Inoreader for RSS and they have a Read Later section for one-off articles you want to save unrelated to your RSS subscriptions

I will fw some method inheritance concepts now and again but I am somehow unconvinced that liskov substitution is worth adhering to

recently played through Ocarina of Time. It was the first time my gf has experienced that game. Now that she is familiar with it I have far greater license to watch OoT speed running YouTube videos without being alienating (or “as” alienating)

micromamba is a statically linked binary that you can add to your PATH in user .bashrc 🤠