@boarders.bsky.social
Thanks to impermanence all things are possible
Working on a book on topos theory
Working on a book on topos theory
Like a lot of software things I think AI assisted coding will be to the benefit of general practices as it will make such pain points more stark
November 25, 2025 at 7:06 PM
Like a lot of software things I think AI assisted coding will be to the benefit of general practices as it will make such pain points more stark
Feel like this is an aspect of VCS that currently feels really bad (e.g. if I use a theorem prover it’s be nice to have a complete reenactment of the development without sending one commit per keystroke, but the concept is more general for how to capture thought process, workflow etc.)
November 25, 2025 at 7:05 PM
Feel like this is an aspect of VCS that currently feels really bad (e.g. if I use a theorem prover it’s be nice to have a complete reenactment of the development without sending one commit per keystroke, but the concept is more general for how to capture thought process, workflow etc.)
Ah so you use it to have a trace of the development?
November 25, 2025 at 6:06 PM
Ah so you use it to have a trace of the development?
I’m not clear what the suggestion is, vendor all dependencies in a monorepo for all projects?
November 25, 2025 at 5:41 PM
I’m not clear what the suggestion is, vendor all dependencies in a monorepo for all projects?
Was really convinced this was Andrew Bacon
November 25, 2025 at 4:34 PM
Was really convinced this was Andrew Bacon
unfortunately the proofs are starting to look like assembly
November 25, 2025 at 6:03 AM
unfortunately the proofs are starting to look like assembly
I have had in the past had a lot of avoidance over starting the "great books" and found it good to remember that this might have just well been one of those meant to earn a meal, might be one of dickens' periodicals, that I needn't be more precious than the author might have been
November 25, 2025 at 5:02 AM
I have had in the past had a lot of avoidance over starting the "great books" and found it good to remember that this might have just well been one of those meant to earn a meal, might be one of dickens' periodicals, that I needn't be more precious than the author might have been
finally getting back on my bullshit
November 25, 2025 at 4:52 AM
finally getting back on my bullshit
People busy asking if desegregation will change the local character of community, and if doing eminent domain on golf courses is just a handout to the housing lobby
November 25, 2025 at 2:59 AM
People busy asking if desegregation will change the local character of community, and if doing eminent domain on golf courses is just a handout to the housing lobby
All real ones of LC Thought manage to support good urban policy and avoid voting for known sexual harassers
November 25, 2025 at 12:46 AM
All real ones of LC Thought manage to support good urban policy and avoid voting for known sexual harassers
He actually meant it when he said he is going to try to make nyc affordable and people are still struggling with that concept
November 25, 2025 at 12:17 AM
He actually meant it when he said he is going to try to make nyc affordable and people are still struggling with that concept
That doesn’t seem true, tons of yimby associated people on this site were very skeptical and wouldn’t shut up about free buses and some even indicated willingness to vote cuomo
November 25, 2025 at 12:16 AM
That doesn’t seem true, tons of yimby associated people on this site were very skeptical and wouldn’t shut up about free buses and some even indicated willingness to vote cuomo
But how long will we be reading his brother?
November 23, 2025 at 6:33 PM
But how long will we be reading his brother?
an inspirational failson who never did well at any of the jobs he held
November 23, 2025 at 6:23 PM
an inspirational failson who never did well at any of the jobs he held
false, whilst carlsen might be an exceptional talent, Elon would still likely win. Whilst chess lacks the depth of games with “fog of war”, Elon takes it by using: stamina from his 80 hour weeks building the future, strategic discipline of running 6 companies, sheer once in a generation intellect
November 23, 2025 at 6:16 PM
false, whilst carlsen might be an exceptional talent, Elon would still likely win. Whilst chess lacks the depth of games with “fog of war”, Elon takes it by using: stamina from his 80 hour weeks building the future, strategic discipline of running 6 companies, sheer once in a generation intellect
platonism is real and the antimemetics division needs to go harder on shutting down the lovecraftian horror that represents
November 23, 2025 at 5:38 PM
platonism is real and the antimemetics division needs to go harder on shutting down the lovecraftian horror that represents
I think it is just hard to be an editor without being a writer
November 23, 2025 at 5:28 PM
I think it is just hard to be an editor without being a writer
no version of socialism (and the same goes for democracy) is possible if people are not punished for their crimes against our public institutions
November 23, 2025 at 5:14 AM
no version of socialism (and the same goes for democracy) is possible if people are not punished for their crimes against our public institutions
Stealing from and damaging publicly owned infrastructure is a minor inconvenience(?)
November 23, 2025 at 5:10 AM
Stealing from and damaging publicly owned infrastructure is a minor inconvenience(?)
wine moms stay winning
November 23, 2025 at 5:00 AM
wine moms stay winning
Congratulations on being a vanguard for a class for itself
November 23, 2025 at 2:35 AM
Congratulations on being a vanguard for a class for itself
Which, overall, has the loose feel of sovereign citizen rubbish
November 23, 2025 at 2:33 AM
Which, overall, has the loose feel of sovereign citizen rubbish
Overall just never do anything to come across like a cringe 2011 Facebook post with someone saying “I do not grant facebook permission to use my posts”
November 23, 2025 at 2:32 AM
Overall just never do anything to come across like a cringe 2011 Facebook post with someone saying “I do not grant facebook permission to use my posts”
“Olivia’s birthday treasure hunt confused me. What could she mean by a dead bear in the park?”
November 22, 2025 at 10:32 PM
“Olivia’s birthday treasure hunt confused me. What could she mean by a dead bear in the park?”