@boarders.bsky.social
📤 806
📥 1991
📝 2177
Thanks to impermanence all things are possible Working on a book on topos theory
proof of one half of the pullback lemma in my lean4 cat theory library
1 day ago
2
10
0
person writing 10000 line PRs every day for their productivity web app that integrates with obsidian: “am I working on the modern day manhattan project?”
3 days ago
2
9
1
I gave them a zeugma and a piece of my mind
6 days ago
0
2
0
guy who knows about front end development upon using claude code: you know im something of a futurologist and labour market economist myself
9 days ago
0
12
0
venn diagrams aka semantics of logic in the propositional fragment of sheaves on ℝ²
11 days ago
0
4
0
reposted by
Ted Underwood
16 days ago
Omg, they’re about to invent an anti-memetic division. And it has an actual purpose in this world.
2
131
33
guy who only ever learnt javascript: claude code really makes it so there is no point in new programming languages now
16 days ago
0
6
1
finally finished my "fun" christmas agda project that is now 2000 lines long
18 days ago
0
2
0
reposted by
Kiran
about 1 month ago
When I come back to NYC, I'd like to make a reading club to learn category theory, maybe by going through the Awodey CT book. Lmk if ur interested Anyone have experience booking spaces around NYC for that purpose? I'm happy to put my money down to book rooms somewhere assuming it's feasible etc.
4
9
2
2026 is the year to declare semantic bankruptcy on what the verb ‘to cook’ can be asked to do for us
about 2 months ago
2
6
2
spj said in one of his talks that anyone who gets into [rocq] goes away for a few years and then comes back with all their nerve endings burnt off
about 2 months ago
0
3
0
A -> B ∨ C ———————— A -> B ∨ A -> C fails constructively much like: ∀ (B[x] ∨ C[x]) ———————— ∀ (B[x]) ∨ ∀ (C[x]) fails classically and that gives a good sense of why the translation into modal logic is sensible / how constructive logic is intrinsically a logic of “types”
2 months ago
3
6
1
reposted by
rntz
4 months ago
Slides for my HOPE 2025 presentation, "Finite Functional Programming via Graded Effects & Relevance Types":
www.rntz.net/files/hope-2...
add a skeleton here at some point
3
14
4
finally getting back on my bullshit
3 months ago
2
8
1
There is a certain three-valued-ness to syllogistic logic whereby we interpret the predicate symbols as subsets of some domain of discourse and the important judgments are that a subset is empty, a subset is non-empty or that a subset may be non-empty
3 months ago
1
2
0
“Well now all of them know his god damn name” - Tish James
3 months ago
0
3
0
reposted by
David Van Horn
4 months ago
∀ '(', ∃ ')'
0
3
1
reposted by
There is a paper from the topologist Christopher Zeeman about modeling the brain as a neural top space and using Brouwer’s fixed point theorem to say there are inescapable thoughts [iirc] ☠️
4 months ago
0
4
1
reposted by
Tobias Wilson-Bates
4 months ago
I don’t think a long book is even primarily about plot, or character, or any of the patterned information on its pages. A long book is practicing over time a way of being in the world. Reading even a very good summary is not the same as giving over some portion of your own life to that practice.
10
320
68
reposted by
Bill McKibben
4 months ago
America is in crisis. So it's a small relief that the rest of the world is actually getting remarkable stuff done with energy. We just passed a huge milestone globally! Now back to work on America.
billmckibben.substack.com/p/something-...
loading . . .
Something extraordinary just happened
But of course there's a but. Or two.
https://billmckibben.substack.com/p/something-extraordinary-just-happened
5
278
79
reposted by
Jim Fowler
5 months ago
World's worst calendar: label the 168 hours of the week by elements of PSL(2,7).
2
22
2
The literate ages created classes of people through possession of secret information, in the sense that “every profession is a conspiracy against the laity”. This is the reason the coming post-literate age lies concomitant with growing institutional skepticism and a loss of faith in expertise
5 months ago
0
7
0
“Commerce and manufactures can seldom flourish long in any state which does not enjoy a regular administration of justice, in which the people do not feel themselves secure in the possession of their property, in which the faith of contracts is not supported by law”
6 months ago
0
3
0
One of the harder meta-cognitive aspects to mathematics is embracing that there is, generally, no preferred metaphor or example or intuition for a given concept; there is no preferred example(s) or intuitions of a group or vector space, or matrix or category
6 months ago
3
12
2
Musing on the prototypical temperaments towards reductionism vs holism: liberal/realist: the correct unit of analysis is the individual/gene/neuron communitarian/anti-realist: let us humble ourselves before irreducible complexity marxist/structuralist: the unity of opposites
add a skeleton here at some point
6 months ago
1
2
1
Scarcity and Evil is a book where the US Amazon page has a single 5 star review from Hilary Putnam
loading . . .
Scarcity and Evil: An Original exploration of Moral issues on the Frontier Between Guilt and Tragedy
Scarcity and Evil: An Original exploration of Moral issues on the Frontier Between Guilt and Tragedy [Walsh, Vivian Charle] on Amazon.com. *FREE* shipping on qualifying offers. Scarcity and Evil: An Original exploration of Moral issues on the Frontier Between Guilt and Tragedy
https://www.amazon.com/Scarcity-Evil-Original-exploration-Frontier/dp/B0000CL7U5
7 months ago
0
3
0
More people should listen to one hour of old radio a week to rid themselves of radical presentism. Episodes of ‘bookworm’ from the late 80s and early 90s will have authors regularly explain that their novel is in response to sheer over-stimulation of modern society and to our secular malaise
7 months ago
2
13
1
We used to have popular culture like Johnny Cash’s At Folsom Prison and Mailer’s The Executioner’s Song and now we have an enormous industry of stranger danger true crime/evening news nonsense as the main way of thinking about criminals
7 months ago
0
4
0
All I would really like is Maren Ade’s adaption of Middlemarch
add a skeleton here at some point
7 months ago
0
0
0
I think this channel, including the pared-back, unfussy aesthetic and mode of delivery, speaks to a growing vibe shift against various legitimizing ritual objects and images that have become a root cause of online status anxiety
loading . . .
Productivity Is a Trap. Clarity Maxxing Is the Escape.
YouTube video by Westenberg
https://www.youtube.com/watch?v=3wLa1FKZf3k&t=3s
7 months ago
1
7
0
There is no longer a monolithic tv show where one set of fans watch it as devout Protestants careful to point out how they feel not one iota of libidinal desire towards the iconoclastic behaviour of the main character, and the other form a cult fandom around a dumb guy that does evil each week
7 months ago
1
8
1
Think often of this quote as it becomes ever clearer which path we have chosen: “In the year 1948 the reading of Plato’s dialogues by a large number of people could make the difference between a century of folly and a century of wisdom for the world.”
7 months ago
0
4
2
reposted by
Brett Karlan
7 months ago
"There are no positive male role models" sure we're just gonna pretend this guy didn't exist gotcha
3
43
6
Despite being clearly perturbed by Lewontin’s critique of Dawkins as engaging in a form of dualism, I feel like he never adequately manages to address the point. What typifies one collection of behaviours as adaptive but another as against evolution’s relentless selfish drive
7 months ago
2
3
0
The Epimenides paradox — “all cretans are liars” — is only a paradox if one reads “liar” with universal quantification (X always lies i.e. X is a knave), an unusual reading. I’m not quite sure what the usual reading is; what is the distinction between ‘a liar’ and someone who is ‘not honest’
7 months ago
1
3
0
A nice elementary example of a category is the collection of all choices of a basis of a vector space V with morphisms given by change of basis. If you have two such categories for V and W then a linear transformation gives a natural transformation between their interpretation functor into Vect
7 months ago
1
8
0
Tentative: re-ascendancy of ‘fate’ in the form of sports betting, astrology, meme stocks, crypto, manifestation etc. should be seen as part of emerging anti-rational post-literacy culture
7 months ago
3
23
8
Should be called English logic instead of classical logic since - it was invented by George Boole - it typifies the English approach to both jury verdicts, and public life (give an answer and never a reason)
7 months ago
4
28
1
I am reading Calculus Made Easy, a popular introductory text from 1910, to prepare for a class I’m teaching and it has this immortal prologue
8 months ago
12
246
50
I love people on this site thinking their preferred way to play sim city is the only way to think about politics, and being fundamentally incurious about anything beyond market fundamentalism
8 months ago
1
4
0
reposted by
Dr Lucy Rycroft-Smith
8 months ago
This is what
#ChatGPT
responds when you ask it to 'make a poster for a maths classroom with all the key formulas on it that a student aged 11-14 in the UK might need'. As with most
#AI
responses, it looks plausible but the more you look, the worse it gets.. What's your (least) favourite part?
38
93
70
Has anyone drew the parallels between American pragmatism as a response to the civil war and logical positivism to WW1?
8 months ago
1
5
1
reposted by
Pete Wolfendale
8 months ago
A formatted and archived version of my recent threads on post-Searlean critiques of LLMs and the question of whether their outputs are meaningful:
deontologistics.co/2025/06/22/t...
loading . . .
TfE: On Post-Searlean Critiques of LLMs
Here’s a recent thread on philosophy of AI from Twitter/X, in which I address rather popular arguments made by Emily Bender and others to the effect that LLM outputs are strictly speaking mea…
https://deontologistics.co/2025/06/22/tfe-on-post-searlean-critiques-of-llms/
1
12
3
Hauntology as a frame for a culture that fundamentally, constitutionally cannot understand the futures it failed to have; cannot speak of its sublimated yearnings; can only reproduce what came before; only seems a more prescient way of seeing things
8 months ago
1
4
0
A problem with all social theories — especially those that seek to overcome the subject/object distinction — from Plato, to Marx, to Nietzsche; is they tend towards a kind of ‘fallacy of the cave’; whereby one becomes convinced one speaks a final vocabulary others are too foolish to have embraced
8 months ago
0
10
2
“Interesting philosophy is rarely an examination of the pros and cons of a thesis. Usually it is, implicitly or explicitly, a contest between an entrenched vocabulary which has become a nuisance and a half-formed new vocabulary which vaguely promises great things.”
8 months ago
0
10
1
a better way to think about mathematics is not foundationalism — the notion that semantically rich concepts can be reduced to atomic components — but using Brandom’s idea of pragmatic meaning-use relations: one language specifying what capacities one needs in order to be able to speak another
8 months ago
1
16
1
Neal Stephenson story in which we invented Turing machines out of looms and a fringe sect of hacker priests figure out gödel numbering to see the mind of god in the machine
8 months ago
1
6
0
You can really grasp the enlightenment as an ideal of self-governing individuals when you look around our smol bean zero responsibility ever culture
8 months ago
1
27
2
reposted by
Sharon
8 months ago
Do your part and get Zohran through
add a skeleton here at some point
2
162
20
Load more
feeds!
log in