Matt Teichman
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
https://elucidations.vercel.app
Reposted by Matt Teichman
Fun fact, this is legal Haskell:
>>> (print <> print) True
True
True
>>> (print <> print) True
True
True
July 24, 2025 at 8:52 PM
Fun fact, this is legal Haskell:
>>> (print <> print) True
True
True
>>> (print <> print) True
True
True
Reposted by Matt Teichman
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
- Grace guarantees that values of this type are never rendered
- The Grace browser obscures form inputs of this type
July 29, 2025 at 9:19 PM
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
- Grace guarantees that values of this type are never rendered
- The Grace browser obscures form inputs of this type
Reposted by Matt Teichman
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.
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.
June 13, 2025 at 2:14 PM
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.
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.
Reposted by Matt Teichman
@argumatronic.bsky.social hiieeeeeeeeeeeeee
June 13, 2025 at 6:14 PM
@argumatronic.bsky.social hiieeeeeeeeeeeeee
Reposted by Matt Teichman
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
pablo.rauzy.name
May 22, 2025 at 7:43 PM
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...
parentheticallyspeaking.org/articles/bic...
Bicameral, Not Homoiconic
Parenthetically Speaking: Articles by Shriram Krishnamurthi
parentheticallyspeaking.org
May 21, 2025 at 2:01 PM
@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...
parentheticallyspeaking.org/articles/bic...
Reposted by Matt Teichman
Completely updated this gist
a simple type system with support for (co)cartesian (inductive) types
a simple type system with support for (co)cartesian (inductive) types - CT.md
gist.github.com
May 7, 2025 at 7:44 AM
Completely updated this gist
Reposted by Matt Teichman
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.
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...
The Pragmatic Polyglot
40% Off – This Week Only!
Code: 2025POLYGLOT at checkout
Titles on sale this week - in 🧵
media.pragprog.com/n...
April 30, 2025 at 11:10 PM
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...
discuss.ocaml.org/t/weird-glit...
Weird glitch in 5.3.0 switch using utop in Emacs
Hello OCaml friends, I write OCaml using Opam + Dune + Emacs + Tuareg + Merlin. Emacs version 30.1 and Tuareg version 3.0.1. I run utop as my REPL via tuareg-interactive-process, using a pipe as my...
discuss.ocaml.org
April 14, 2025 at 1:24 PM
(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...
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...
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.
www.forbes.com
April 4, 2025 at 2:02 PM
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...
www.forbes.com/sites/sachin...
Reposted by Matt Teichman
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...
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...
www.felienne.com
March 25, 2025 at 2:50 PM
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...
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...
Reposted by Matt Teichman
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...
philosophybites.libsyn.com/emily-herrin...
March 12, 2025 at 4:28 PM
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...
philosophybites.libsyn.com/emily-herrin...
Reposted by Matt Teichman
great thread here
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.
anyway, this confirms my suspicion that literally no language has a good error message for an occurs check violation.
December 31, 2024 at 9:07 PM
great thread here
Reposted by Matt Teichman
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...
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...
OCaml
A friendly place to discuss OCaml: an industrial-strength programming language supporting functional, imperative and object-oriented styles
discuss.ocaml.org
December 27, 2024 at 4:03 PM
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...
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...
Reposted by Matt Teichman
Wrote up the idea in detail here: kcsrk.info/papers/compo...
kcsrk.info
November 29, 2024 at 8:17 AM
Wrote up the idea in detail here: kcsrk.info/papers/compo...
Reposted by Matt Teichman
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
Here's him interviewing me on JS Mill:
www.politicalphilosophypodcast.com/into-to-mill
November 28, 2024 at 9:48 PM
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
Here's him interviewing me on JS Mill:
www.politicalphilosophypodcast.com/into-to-mill
Reposted by Matt Teichman
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
Episode 135: Sara Protasi discusses the philosophy of envy - Elucidations Podcast
Subscribe to Elucidations: This month, Charlie Wiland and I sit down with Sara Protasi to talk about envy. Which she just came out with a whole book about! Awesome. Click here to do...
elucidations.vercel.app
November 28, 2024 at 4:17 PM
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
Reposted by Matt Teichman
I'm writing code for an older project using the Unix and Thread modules in OCaml and... quite liking it? The guilt is strong
November 28, 2024 at 2:28 PM
I'm writing code for an older project using the Unix and Thread modules in OCaml and... quite liking it? The guilt is strong
Reposted by Matt Teichman
@bufordrat.bsky.social is here now btw!
time to update your starter packs @leostera.com @sabine.sh @flaviocorpa.com ^^
time to update your starter packs @leostera.com @sabine.sh @flaviocorpa.com ^^
November 28, 2024 at 3:13 PM
@bufordrat.bsky.social is here now btw!
time to update your starter packs @leostera.com @sabine.sh @flaviocorpa.com ^^
time to update your starter packs @leostera.com @sabine.sh @flaviocorpa.com ^^