Kris Brown @ksb_id Twitter Profile | Xstalk

Kris Brown

@ksb_id

Applied category theory research at Topos Institute. Otherwise normal.

6Posts 97Followers 87Following

Similar User

@bgavran3

@AleksKissinger

@PaoloPMath

@EgbertRijke

@mattecapu

@myers_jaz

@DavidCorfield8

@puca_caterina

@CyberCatInst

@u_map_prop

@tangled_zans

@StefanoGogioso

@StringDiagram

@nelsonsniu

@amar_hh

Kris Brown

15 Oct

Follow-up Brandom post: many concepts aren't amenable to logical encoding, so they're systematically ignored and dismissed in STEM. But we can build formal systems that incorporate these norms while still being able to use our familiar mathematical logic topos.site/blog/2024-10-1…

Kris Brown

14 Dec

I summarized some philosophy ideas that I like (from Rorty / Brandom) and drew some connections to research at Topos.

Topos Institute

@ToposInstitute

14 Dec

New blog post: Responsible mathematics and metaphors of semantics, by Kris Brown topos.site/blog/2023/12/r…

Kris Brown Reposted

James Fairbanks

29 Jun 2023

New paper on rewriting presheaves with @ejpatters and @ksb_id! sciencedirect.com/science/articl…

Kris Brown

6 Jun 2023

Recently geared a talk towards computational scientists / SW engineers to show how category theory can be a practical tool for structuring our models / code, making them more transparent + extensible to future changes we'll want to make. Lots of examples! youtu.be/z6N-eP7wSeE

Kris Brown

5 Jan 2022

New blog post about recent work in applied category theory. With a high degree of generality, we consider data that can have many types of symmetries and answer the questions: when are two objects basically the same? How do you compute a canonical form? algebraicjulia.org/blog/post/2022…

Chb00

@Chb006

aspiring mathematician, also dabbles in physics, philosophy, music, and esoteric stuff

David Yoon

@asdf4564090

Philosopher at University of Chicago (soon to be at Wuhan University), working on philosophy of language, metaphysics, logic, Sellars, and too many other things

Ryan Simonelli

@simonelli_ryan

value form loser, doing Postone-Hume-Neurath synthesis

charsky

@FormDeterminer

Simon Charlow

@SimonCharlow

Philosopher. Published with 'Modal Homotopy Type Theory' (OUP, 2020). Published with D. Leader 'Why do people get ill?' (Penguin, 2007).

David Corfield

@DavidCorfield8

Daniel Wilder

@wild41539

Yiqi Xu

@xuyiqi1

Noeviator

@aoneaeon

anton

@avoidbeing

zeyt

@1980_linux

thanks in part to mother nature, it will never rain again - it should do wonders for the GNP

theoretical grammarian, pronoun synthesis lab, oberlin u
⚾️🎥🐕

maybe i'm on the other place

@paleopragmatist

anarchist nihilist. aspiring logician.

fedi: @hegeliantaco@mathstodon.xyz.
bsky: @dialecticalrussell.bsky.social.
priv: @boy_aphrodite

Jules

@analytichegel

Building god functor.

siddharth

@sidharthydv

Art historian, researching the politics of digital collections.

@museums_society
@KuK_TUBerlin

Lukas Fuchsgruber @[email protected]

@feedgruber

deep_unlearning

@deep_unlearning

buhhhhhhhhhhhhh

f̴̅r̴̅

@fr_nant

Arpan Agrawal

@DontDoCoffeeKid

eclectic communist

'

@redkobresia

Ben Green

@chreod

Type theory, functional programming, minimalism / Agda, Haskell, Scheme
Early Stage Researcher @ Tallinn University of Technology • 🇮🇹⇗🇪🇪 日本語もOK

Andrea Laretto

@iwilare

Currently: MSc. in Math Sci. at NUIM.

I aspire to understand the world through general abstract nonsense.

Currently looking for PhD program/thesis advisor

Conor Sheridan

@uzum4ke

Haskell enthusiast, interested in sociology, category theory, ganz was anderes he/him

Johannes Drever 🌫➰💎

@comandingo

Ren Tristan A. de la Cruz

@rtadelacruz

ben macintosh

@benmacintoshs0

Bob Brandom

@BobBrandom

Exploring the solution space

Biplab P.

@12345pnp

blobiq 

@bl0biq

i have too many and also not enough friends

tharu

@ingafalada

Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.

David Jaz Myers

@myers_jaz

nlab fan account, arxiv surveyor, pubmed enjoyer, two culture bridger, vacuous high gossiper, dearth of any domain expertise, reluctant g theorist, gpu poor,

Sichu Lu([email protected])

@lu_sichu

eldal

@eldal157109

https://t.co/ARfTpA8Eye Safe AGI GAME
https://t.co/pX9vqSzWEq Founder
@Foresightinst Fellow in Safe AGI
@FLIxrisk Affiliate
https://t.co/8nRZ7Qe6qX

Xiaohu Zhu | AGI Foundation

@neil_csagi

Curious optimist.
Sincerity over sarcasm.
Believer in innovation (long $TSLA).
The only thing we have to fear is Moloch.
https://t.co/YyJXMnCCxN

Rogs 🔍🔸

@ESRogs

AI @GoogleDeepMind | Stanford PhD in AI & Cambridge physics | techno-optimism + alignment + progress + growth | 🇺🇸🇨🇿

Stanislav Fort

@stanislavfort

Full Stack 3D Web Developer. WebGPU, WebGL/XR, Serverless, Cloud

Sam Kuhn

@SamKuhnDev

Tabibito

@tabibitomototo

dwarfobserver

@Dwarfobserver

psychotic accelerationism (only)

mad(r)evoluti0nary

@MaksValencic

Bacteria grower, philosophy eater, snake avoider, property bearer. Undergrad @ucberkeley. Grad @umphilosophy.

Shannon

@shannonkchang

“It was a bright cold day in April, and the clocks were striking thirteen.”

damsel

@brawny1028

Rhodes Scholar, DPhil @OxfordPhysics, research @QuantinuumQC | quantum foundations, string diagrams, process philosophy

Hamza Waseem

@quantum_physics

would you give up on math? soft, embarrassed lol,

isaac

@uncertainty_s

🛠️: @Northeastern MS Maths; Affiliate Trainee @RouxInstitute; JuliaHealth Leader

🔎: Public health, cat. theory & open source/sci

📝: EN/ES/DE/AR

✝🎸📚🏋📽️

Jacob Zelko (thecedarprince.bsky.social)

@Jacob_Zelko

“Working from the heart with passion is an art!”

Rethet

@Rethet322296

Seaming hardware and software with math

Martin Coll

@colltoaction

Structural Bioinformatics / AI for Drug Discovery / Geometric DL (@IOCBPrague, prev. PhD @cusbg @matfyz)

Radoslav Krivak

@rdkbio

$FAST memecoin / https://t.co/Cvg3llW0LY / @SNAIL_KOIN

Snail head

@FASTCoinSpeaks

PhD | Applied metascience, HCI, molecular engineering, informetrics | Prev compchem/biophys/*info at University of Helsinki, now independent

Markus Rauhalahti

@MRauhalahti

$instantiating • _🦆 discovery engine machinist 🔧 • {-1, 0, 1} • 🛸 #XM$

Barton Rhodes

@bmorphism

https://t.co/qikGJHlivD
https://t.co/4twC3IOp1y

derek

@websitehomepage

scientist and political yapper / now: @nasa @epa @nsf previously : @mtdems @ptstrand @dnc / views are my own (obviously)

alexandra

@WetlandGirlMT

AI could get really powerful soon and I worry we're underprepared. Funding research on AI capabilities+risks @open_phil (views my own), editor @plannedobs.

Ajeya Cotra

@ajeya_cotra

collective intelligence accelerationist @collect_intel

Divya Siddarth

@divyasiddarth

Postdoc @berkeley_ai, EECS Rising Star, 2023 Apple Scholar, Prev Intern @GoogleAI Brain @MetaAI (FAIR Labs), Prev CS PhD @JHUCompSci

Yutong Bai

@YutongBAI1002

Philosopher at University of Chicago (soon to be at Wuhan University), working on philosophy of language, metaphysics, logic, Sellars, and too many other things

Ryan Simonelli

@simonelli_ryan

Philosopher. Published with 'Modal Homotopy Type Theory' (OUP, 2020). Published with D. Leader 'Why do people get ill?' (Penguin, 2007).

David Corfield

@DavidCorfield8

Simon Charlow

@SimonCharlow

Professor of Philosophy, UC Riverside
belief, consciousness, AI, science fiction, moral psychology, classical Chinese philosophy, metaphysics....

Eric Schwitzgebel

@eschwitz

Human being; trying to do good; views my own; CEO @ Encultured; AI Researcher @ UC Berkeley.

Andrew Critch (h/acc)

@AndrewCritchPhD

anarchist nihilist. aspiring logician.

fedi: @hegeliantaco@mathstodon.xyz.
bsky: @dialecticalrussell.bsky.social.
priv: @boy_aphrodite

Jules

@analytichegel

Philosopher, University of Toronto.

Cheryl Misak

@MisakCheryl

Australian philosopher. Emeritus Bertrand Russell Professor @CambridgePhilos, Emeritus Fellow @TrinCollCam. Early roles in @CSERCambridge, @LeverhulmeCFI.

Huw Price @huwprice.bsky.social

@HuwPriceAU

i have too many and also not enough friends

tharu

@ingafalada

Philosopher at @VuAmsterdam | PI of @ERC_Research project 'Social Epistemology of Argumentation' @erc_sea | Member of @_knaw (she/her) 🇧🇷🇳🇱

Prof. Catarina Dutilh Novaes

@cdutilhnovaes

I teach & write about moral, political and legal philosophy in the Anglophone and Continental traditions, at the University of Chicago. Views expressed are mine

Brian Leiter https://bsky.app/profile/brianleiter.

@BrianLeiter

Haskell, Agda, Idris and Nix. h8ro-cis-wyt: pronouns are ho / hum

o1lo01ol1o

@o1lo01ol1o

Bacteria grower, philosophy eater, snake avoider, property bearer. Undergrad @ucberkeley. Grad @umphilosophy.

Shannon

@shannonkchang

$FAST memecoin / https://t.co/Cvg3llW0LY / @SNAIL_KOIN

Snail head

@FASTCoinSpeaks

cto @latchbio, data infrastructure for biology

Kenny Workman

@kenbwork

Author of The Last Samurai, Lightning Rods, Some Trick. Interested in languages, statistics, dataviz.

NOT Helen de Witt the film curator, who is @diamantecroc

Helen DeWitt

@helendewitt

Confirming that all ravens are black, one non-black non-raven at a time.

Amia Srinivasan

@amiasrinivasan

territory mapper.

💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨‍🔬 Formerly physics. he/him

Manish

@ManishEarth

Welcome to the BPA twitter page - a volunteer org of @UCBerkeley postdocs providing network support and professional development for the postdoc community.

Berkeley Postdoc Association (BPA)

@BerkeleyBPA

Official twitter account of Berkeley Lab Postdoc Association. Our views are from the hill, and we do not represent views of LBL or UCB.

BLPA

@BerkeleyPostdoc

CS Dr. @ Oxford, aspirant friend of diagrams

Vincent Wang-Maścianica

@vinnylarouge

Philosopher, UChicago

New book: https://t.co/1wJAwQKXSX
Point https://t.co/GGvu8fPwc4
NYT https://t.co/Jj56TEDpsL
podcast https://t.co/lVDi53De3Z

Agnes Callard

@AgnesCallard

Co-creator of #JuliaLang, co-founder of @JuliaHubInc.

Jeff Bezanson

@JeffBezanson

kantian 🏳️‍🌈 / philosophy grad student / for us men and for our salvation, he came down from heaven / vegan for the animals / pause ai / alt @formofthegood

florence ☧

@morallawwithin

he/they • math phd student at uw • uaw4121 head steward • actor • uw ms ’23 • mit sb ’21 • https://t.co/6FtLPEZm2i

Nelson Niu

@nelsonsniu

philosopher@NYU. consciousness, reality+, life, the universe, and everything.

David Chalmers

@davidchalmers42

Assoc Prof, UC Berkeley, Philosophy. Works on metaphysics, ethics, phil sci. Retweet = seemed profound while microdosing.

Shamik Dasgupta

@ShamikDasgupta1

Galois applies cutting edge computer science and mathematics to solve difficult technological problems.

Galois

@galois

on a mission to create the material conditions for thinking about how to create the material conditions for thinking about changing the world

Joshua Meyers

@meygerjos

🇦🇱 Chicago girl. Immigrant. Marathon runner. Vanderbilt Alum. Human, opinions are passionate & mine. Seeking better.

Lena Josifi, MD

@_fastlanej

Just because you're paranoid doesn't mean they're not after you

Consistently Candid Alex

@FellowHominid

JuliaHub

@JuliaHub_Inc

Beware of the Cantor tar-pit. he/him

Carlo Angiuli

@carloangiuli

statusfailed

@statusfailed

hyphenated body | portmanteau soul

https://t.co/ZqJ1nmVLMP
https://t.co/IARqKv4pN8

Stacey Park

@stacefaceit

Interesting things happen around me.🦜🦜Meta+zany+altricial distributed computation. Ideal figure to slow rate of world aging

Alex K. Chen

@InquilineKea

Official account of the Defense Advanced Research Projects Agency. Follows/retweets/links do not = endorsement. Breakthrough technologies for national security.

DARPA

@DARPA

@ayegill.bsky.social (bluesky)
@ayegill.schelling.pt (mastodon)

Applied algebraic abstractologist. Trying to get the heavens into my head

Eigil Fjeldgren Rischel - abstr/acc

@Ayegill

Friendly programming language from the future
Open source https://t.co/hDNFLjJ8Yy
Cloud platform: https://t.co/fFWPp8vU2t
https://t.co/KDtc0dr1Mk

Unison | @[email protected]

@unisonweb

bajathefrog.social on 🦋

@BajaTheFrog

Topology, probability, and physics @VERSESAI, @GC_CUNY. En français aussi

dalton

@DaltonSakthi

🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

Matteo Capucci

@mattecapu

Neither necessary nor sufficient.
Math ∩ Physics ∩ Computation @Princeton

Jonathan Gorard

@getjonwithit

𝔽_un

@FF_un1

PhD candidate in Logic in Multiagent Systems @UtrechtUni

Nima Motamed

@n_motamed

United States Trends

1. Brian Kelly 6.656 posts
2. Gators 9.852 posts
3. Louisville 5.333 posts
4. Mizzou 4.675 posts
5. Feds 34,3 B posts
6. #UFC309 38,1 B posts
7. Nebraska 10,1 B posts
8. Luther Burden N/A
9. Nuss 3.107 posts
10. Stanford 8.458 posts
11. Billy Napier 1.721 posts
12. Lagway 4.249 posts
13. #Huskers 1.491 posts
14. Brohm N/A
15. Baylor 3.550 posts
16. Rhule N/A
17. #MostRequestedLive 6.280 posts
18. Mickey Gall N/A
19. Raiola N/A
20. Tyler Warren 2.005 posts

Who to follow

Something went wrong.

Something went wrong.