Fun fact, this is legal Haskell: >>> (print <> print) True True True

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

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

@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...

Completely updated this gist

If you've thought about giving Haskell a try, this is a great opportunity to get Effective Haskell at a discount. Whether you check out Effective Haskell or not, I'm always happy to answer questions or help folks who are interested in functional programming.

(cross-posted from Twitter) OCaml peeps: anyone know anything about this weird 5.3 compiler issue I'm getting in the REPL? discuss.ocaml.org/t/weird-glit...

An important piece by a buddy of mine. We need to be thinking more about the important information we have duplicated across different databases and about how we can achieve consensus between them. www.forbes.com/sites/sachin...

This essay about feminism in PL asks some really tough questions! It’s making me wonder: what should the purpose of PL research be, anyway?? Are we trying to “solve problems”, “make the world a better place”, “expand knowledge”, or…? www.felienne.com/wp-content/u...

I was on the Philosophy Bites podcast to talk about – if you can believe it – Henri Bergson with @nigelwarburton.bsky.social! philosophybites.libsyn.com/emily-herrin...

great thread here

Posting a topic on discuss.ocaml.org about my latest article was definitely a great call. Thanks @sabine.sh for the push. There are already very interesting discussions happening, and I have amended the article twice to reflect that. Don’t hesitate to stop by! discuss.ocaml.org/t/serving-th...

Wrote up the idea in detail here: kcsrk.info/papers/compo...

Matt @bufordrat.bsky.social is the OG philosophy podcaster, a fantastic interviewer, & just a really cool guy Here's him interviewing me on JS Mill: www.politicalphilosophypodcast.com/into-to-mill

Welcome @bufordrat.bsky.social (Matt Teichman) to bluesky! Matt started his philosophy podcast well before others in 2009. The interview I did with him and Charlie Wiland was both fun and philosophically deep (but I'm biased). Give his podcast a listen and him a follow! You won't regret it. #philsky

I'm writing code for an older project using the Unix and Thread modules in OCaml and... quite liking it? The guilt is strong

@bufordrat.bsky.social is here now btw! time to update your starter packs @leostera.com @sabine.sh @flaviocorpa.com ^^