chris martensgo slowly and quietly, and look deep
chris martensβi should make a programming tool for making art,β thinks a programmer, βand it will get artists more interested in programming.β
what this actually does, in my observation, is get programmers more interested in art. but thatβs a good outcome!
chris martensslides for my TYPES 2025 talk, "a guided tour of polarity and focusing", are available here:
https://chrisamaphone.hyperkind.org/types-2025.html
it was recorded, but the recording may not be up for awhile. if you have questions about anything on the slides in the meantime, let me know!
update: recording available now! https://youtu.be/EbcEX2SyObs?si=dVx6ptl7BfbdookU
chris martensi do have better things to do than shitpost at the moment, but look, this is the situation
chris martensnot all tasks require the entirety of your ass
chris martensβi should make a programming tool for making art,β thinks a programmer, βand it will get artists more interested in programming.β
what this actually does, in my observation, is get programmers more interested in art. but thatβs a good outcome!
chris martens[oblique strategy] expose some internal state
chris martensitβs common to wonder how to make friends as an adult in the area where you live, but iβm curious about flipping this on itβs head: how and where would someone find you in a disposition open to making a friend? in what situations do you welcome an introduction to a stranger?
chris martensthis isnβt at all rhetorical btw, i am wondering about specific answers for people reading this. in all likelihood you are the kinds of people i want to make friends with so this is pragmatic information
chris martensitβs common to wonder how to make friends as an adult in the area where you live, but iβm curious about flipping this on itβs head: how and where would someone find you in a disposition open to making a friend? in what situations do you welcome an introduction to a stranger?
chris martensslides for my TYPES 2025 talk, "a guided tour of polarity and focusing", are available here:
https://chrisamaphone.hyperkind.org/types-2025.html
it was recorded, but the recording may not be up for awhile. if you have questions about anything on the slides in the meantime, let me know!
update: recording available now! https://youtu.be/EbcEX2SyObs?si=dVx6ptl7BfbdookU
chris martensjust remembered to post about this slightly old news: a paper i coauthored with @cbaberle@mathstodon.xyz, Karl Crary, and Frank Pfenning was accepted to FSCD:
Substructural Parametricity
https://chrisamaphone.hyperkind.org/papers/fscd25-substructural-parametricity.pdf
the goal of this work is to get stronger "theorems for free"-style reasoning with a general account of substructural logics. e.g. there's only one (canonical) value of the ordered type βΞ±. Ξ± β Ξ± β Ξ± β’ Ξ± . we simplify/generalize prior work by parameterizing our logical relation with a resource algebra
chris martensi do have better things to do than shitpost at the moment, but look, this is the situation
chris martensnot all tasks require the entirety of your ass