Tremendous episode of @picturemecoding.bsky.social on the history of nginx: www.picturemecoding.com/2222783/epis...

The History of NGINX - Picture Me Coding

This episode we look into the history of the web server NGINX and of web servers more generally.  We play myth buster and try to investigate the widespread story that NGINX arose from a need to s...

picturemecoding.com

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

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

picturemecoding.com

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

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

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

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

picturemecoding.com

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

Bicameral, Not Homoiconic

Parenthetically Speaking: Articles by Shriram Krishnamurthi

parentheticallyspeaking.org

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.

The Pragmatic Bookshelf ✅@pragprog.com · last yr.

Spring Best Sellers Sale Week 4 The Pragmatic Polyglot 40% Off – This Week Only! Code: 2025POLYGLOT at checkout Titles on sale this week - in 🧵 media.pragprog.com/n...

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

What I Learned From Being ‘Killed’ By The Federal Government

How a morbid bureaucratic snafu can inform a vision for the Department of Government Efficiency.

forbes.com

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

Alice ✨@welltypedwit.ch · 2y ago

this is like the third time i've found a bug in a compiler because i wanted to know what the error message looked like... anyway, this confirms my suspicion that literally no language has a good error message for an occurs check violation.

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

AN INTRODUCTION TO J S MILL

An interview I did on the Elucidations Podcast. The episode is an introduction to J S Mil''s political philosophy; who he was, his place in the liberal tradition, the liberty principle, and utility vs...

politicalphilosophypodcast.com

Sara Protasi@saraprotasi.bsky.social · 2y ago

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

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 ^^