holy heck, especially the economy of attention part

extra extra read all about it

WHOA

will ping you when I start reading the Borgmann

been reading a really interesting manuscript on the curry howard interpretation of classical logic

we're doing great; was just trying to teach Millicent to skate

Facebook is like 99% AI slop and 1% people these days...

me neither, but watching you stare that bear head thing down gives me hope

The Turing Test - Picture Me Coding This episode is about the Turing Test, and Alan Turing's original description of the test in Computing Machinery and Intelligence.  We also discuss a recent work by two UCSD researchers that clai...

Thanks for the shout out on the Turing test episode @picturemecoding.bsky.social! Great episode.
www.picturemecoding.com/2222783/epis...

Check out my new episode with @gsalmieri.bsky.social on freedom of speech:
elucidations.vercel.app/posts/episod...

Cool; that was my impression. This project really seems to open up some possibilities for AI engineering that I haven't seen before; looking forward to following further developments.

@trygrace.dev I was just playing around with the Grace repl, built from source off of GitHub, and was wondering whether it was possible to hook it up to open weight models run under ollama (or similar) to generate typed data.

@mikemull.bsky.social I was coincidentally just playing with crdt mode in Emacs earlier this week. Works shockingly well.

Our Flag Means Local-First - Picture Me Coding This week Mike and Erik talk about the local-first software movement. There's a pretty cool paper about it from 2019 called "Local-First Software:You Own Your Data, in spite of the Cloud", and there's...

Absolute banger of a @picturemecoding.bsky.social episode on 'local first':
www.picturemecoding.com/2222783/epis...

!!!!!!

ooh yeah, would love to learn more about this take

Fun fact, this is legal Haskell:

>>> (print <> print) True
True
True

getting ready to move in here
photoarchive.lib.uchicago.edu/db.xqy?one=a...

\{ key : Key } -> { "You'll usually use keys for API calls": prompt{ key, text: "hi" } , "The key can never rendered by the client": key } --- You'll usually use keys for API calls: Hello! How can I help you today? The key can never rendered by the client: 🔒

The Grace programming language now natively supports a Key type for managing API credentials. The benefit of a distinct type is:

- Grace guarantees that values of this type are never rendered
- The Grace browser obscures form inputs of this type

like in swordfish

damn straight

I'm pleased to announce OxCaml!

OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.

ayyyyyyy

@argumatronic.bsky.social hiieeeeeeeeeeeeee

Imagine the world if this paper, published the year I was born (so, yeah, ancient), was more popular among programmers. Behold Programming as theory building by Peter Naur

Bicameral, Not Homoiconic Parenthetically Speaking: Articles by Shriram Krishnamurthi

@welltypedwit.ch what do you think of this bicameral syntax idea? I've found it incredibly helpful for learning Lisp, and for making sense of the rather confusing discourse that prevails in the Lisp world.
parentheticallyspeaking.org/articles/bic...

nice point; once you have static types, you can start to make your data structures suggest operations on them

riveting thread!

Stupendous book, please everybody buy it!