Bruno Gavranović @bgavran3
Category Theory + Deep Learning Principal Scientist @symbolica bgavran.eth brunogavranovic.com Glasgow, United Kingdom Joined October 2015-
Tweets8K
-
Followers7K
-
Following954
-
Likes28K
The Categorical Deep Learning team @symbolica is hiring for multiple roles at various intersections of machine learning and category theory. Have a look at the job ads below, or reach with any questions. jobs.gusto.com/boards/symboli…
Hi all, just wanted to say that I am very happy 😊 A strange (and hopefully extended!) time when everything feels right: work is fun and invigorating, adventures are everywhere and I have @bgavran3 by my side, to build it all together A good time to wish y’all the same ❤️
Very excited to talk at MSP tomorrow! Come learn about relative monads
Very excited to talk at MSP tomorrow! Come learn about relative monads
My book is out! worldscientific.com/worldscibooks/…
It turns out a photo was captured at the perfect moment.
It turns out a photo was captured at the perfect moment. https://t.co/WkCYrg9z7I
The slides are available here: cl.cam.ac.uk/events/syco/12…
The slides are available here: cl.cam.ac.uk/events/syco/12…
New category theory/ML startup Symbolica is hiring 6 positions in the UK and Australia. See linked John Baez post. I like that Baez’s main concern is about what happens if ACT-based technology actually works. Attn: @_julesh_ et al golem.ph.utexas.edu/category/2024/…
Talk starts in ~20 minutes, see you online!
Talk starts in ~20 minutes, see you online!
Our community-led ML Theory Group is looking forward to hosting @PetarV_93, Research Scientist at @GoogleDeepMind, next week on Thursday, April 25th for a presentation on "Categorical Deep Learning. An Algebraic Theory of Architectures." Learn more: cohere.com/events/c4ai-Pe…
New blog post: Building a Neural Network from First Principles using Free Categories and Para(Optic), by @tangled_zans cybercat.institute/2024/04/15/neu…
Been looking forward to this one! It has a convoluted story: from @bgavran3’s theoretical work on parametrised optics, then @lotz84_’s Haskell implementation demoing a 3-layer perceptron learning xor with a blog post in Japanese, and now @tangled_zans ported it to Idris… (1/2)
Been looking forward to this one! It has a convoluted story: from @bgavran3’s theoretical work on parametrised optics, then @lotz84_’s Haskell implementation demoing a 3-layer perceptron learning xor with a blog post in Japanese, and now @tangled_zans ported it to Idris… (1/2)
ParaOptic strikes again
ParaOptic strikes again
New blog post! Another more technical one today: Enriched Closed Lenses, by @_julesh_ cybercat.institute/2024/04/12/enr…
Book is on the arXiv now: arxiv.org/abs/2404.07273 Feedback's very welcome!
Book is on the arXiv now: arxiv.org/abs/2404.07273 Feedback's very welcome!
Categorical Deep Learning has been taught at the University of Cambridge!
Categorical Deep Learning has been taught at the University of Cambridge!
It's been a while since I posted lectures on YouTube... so here's two 🫡 #1: Into the realm Categorical youtube.com/watch?v=yUxiDO… #2: Categorical Deep Learning youtube.com/watch?v=QEL4dj… (assumes familiarity w/ geometric DL) @bgavran3 @PaulRoyLessard @andrewdudzik @tlvg @_joaogui1
We are very excited to have @bgavran3 along with @PaulRoyLessard leading our categorical deep learning research program! The era of structured reasoning powered by formal mathematical rigor is here.
We are very excited to have @bgavran3 along with @PaulRoyLessard leading our categorical deep learning research program! The era of structured reasoning powered by formal mathematical rigor is here.
✨new catgrad release✨ summary 🧵and blog post: statusfailed.com/blog/2024-04-0… But first, the dream: eventually I want catgrad to be a “differentiable categorical array programming language”; imagine a voxel game with LLM agents whose inference is done in a compute shader!
julesh @_julesh_
10K Followers 145 Following Applied category theorist. Also at @CyberCatInst and @[email protected]
ieva @HyperboIeva
10K Followers 771 Following Quantum information, useless information, generally informed. Achieved a desperate PhD @QOQMS. Quantum algorithms researcher @PhasecraftLtd
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
bOb cOeCke @coecke
7K Followers 616 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
davidad 🎇 @davidad
13K Followers 7K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Petar Veličković @PetarV_93
30K Followers 555 Following Staff Research Scientist @GoogleDeepMind | Affiliated Lecturer @Cambridge_Uni | Associate @clarehall_cam | GDL Scholar @ELLISforEurope. Monoids. 🇷🇸🇲🇪🇧🇦
Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש
Frank Nielsen @FrnkNlsn
23K Followers 1K Following Machine Learning & AI, Information Sciences & Information Geometry, Distances & Statistical models, HPC. "Geometry defines the architecture of spaces" @SonyCSL
Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Michael Bronstein @mmbronstein
43K Followers 4K Following #DeepMind Professor of #AI @UniofOxford / Fellow @ExeterCollegeOx / ML Lead @ProjectCETI / https://t.co/kZpGpDzYeV
Zanzi Tangle, now at .. @tangled_zans
3K Followers 320 Following Turning Category Theory into code https://t.co/B0egvR0lmb
Sam Power @sp_monte_carlo
17K Followers 7K Following Lecturer in Maths & Stats at Bristol. Interested in probabilistic + numerical computation, statistical modelling + inference. (he / him)
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Taco Cohen @TacoCohen
21K Followers 3K Following Deep learner at FAIR. Into codegen, equivariance, generative models. Spent time at Qualcomm, Scyfer (acquired), UvA, Deepmind, OpenAI.
Edward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LM
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
alexis.toumi @AlexisToumi
993 Followers 254 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]
Minghui Chen @chenmh43
38 Followers 659 Following PhD student @UBC. Interested in federated learning, trustworthy AI, and deep-phenomena.
Javur @Javorut
0 Followers 643 Following
Bas Steunebrink @generalsyste_ms
5 Followers 55 Following Co-author of "The Road to General Intelligence" https://t.co/8up1LSTiJs
cf1 @cynn0001
119 Followers 986 Following I am proposing a new atomic structure theory as an alternative to the Standard Model. With this model, quantum mechanics is not necessary.
A Longway @ALongway19
54 Followers 11 Following
GersonDeWinter @GersondeWinter
339 Followers 5K Following Biological Human Intelligence. Non Biological Intelligence (AGI) will replace allmost all jobs, thus ending the monetary economy and culture as we know it+NHI
Anthony Roche @Anthony2389782
85 Followers 673 Following
Robin Taylor @badgermind
2K Followers 5K Following Photographer, pagan explorer of self and nature, fascinated by mathematics and the diversity of languages
Be Disruptive @DisruptiveCLCTV
1K Followers 1K Following
joker @coderlin3
27 Followers 168 Following
fernacious @antigone1173
2 Followers 4K Following
rizomer @rizomer
168 Followers 568 Following cinematic | interactions | cinématographiques ⚡ [email protected] #nostr npub15f593s4sx68c5umzu8j72zq47et8tdj6d3vunxjwvxlul0nq7tjqjgfpam
kellymaggs @kellymaggs7
52 Followers 93 Following Math PhD student at EPFL working in Topology, Machine Learning and Computational Biology. Part of CANCERPREV network
Jonas jklonasdf.bsky... @jklonasdf
67 Followers 324 Following Business developer at QuiX Quantum. Master in Quantum Technology from RWTH, Master thesis on Photonic Quantum Computing at RWTH LLT / Fraunhofer ILT.
Rokas Veitas @VeitasRokas
78 Followers 1K Following
Nikita @nikitavoloboev
4K Followers 7K Following Make @LearnAnything_ Learn in public: https://t.co/GbFvuErkYn macOS course: https://t.co/JdbJWru6zG https://t.co/94R8ER7K2h https://t.co/ROkqhyhpEK
Andrew M. Fagan @AndrewMFagan
17 Followers 51 Following Teaching Assistant with @StrathCIS. AI Engineering PhD Student at @EEEStrathclyde. Interested in science, technology, research and teaching.
No Esto @esto13344
1 Followers 11 Following
Jesús Andrés @JesusAndres0893
57 Followers 1K Following M.s student in physics|he/him|JRPG enthusiast|FE|FF|Trails/Kiseki series|Ys|Rarely tweets.
yrchard @yrchard
223 Followers 3K Following
Nilaksh Pundir @NullMorphism
1 Followers 97 Following
Florian Bauer @florianbauer_fp
22 Followers 325 Following Backend Engineer. Interested in mathematics, FP, Scala
Deeseson @deeseson64220
2 Followers 129 Following
Zermelo @zermeloztt
20 Followers 96 Following incorrigible weeb, academic comedy, maths lover. Aspiring number theorist. The absolute zero of the IQ scale. 25 (he/him)
Nikita Goltiakov @goltyakov32
77 Followers 811 Following PhD Student at Université Paris-Saclay (CentraleSupélec)
Guy Swann ⚡️| Act.. @TheGuySwann
81K Followers 3K Following Liberty is a technology problem • Host of @BitcoinAudible, @Ai_Unchained • Pro Memecraft • Audiobook Narrator
Aditya Singh @randhamiltonian
1 Followers 57 Following
Name @anomium
325 Followers 3K Following
Natalie Smolenski @NSmolenski
26K Followers 4K Following Strategic Partnerships @Hyland / Executive Director @txbitcoinfound / Senior Fellow @btcpolicyorg / Anthropologist
Gabe Reder @GabeReder
11 Followers 82 Following
GUT-AI Foundation —.. @GUT_AI_F
114 Followers 123 Following GUT-AI Foundation — AI/acc | Pro-Innovation |Pro-Tech | Mass adoption of AI | #AI #ML #OpenSource #COSS #OpenStartup #OpenScience #Privacy #CensorshipResistance
杨明 @AIYangMing
12 Followers 195 Following
Ioannis — AI/acc �.. @kourouklides
3K Followers 5K Following e/acc | Founder in #EdTech and AI | Alumnus of @ImperialCollege | #OpenSource | Views are my own | Self-censored | Likes/Shares ≠ endorsement | Christian ☦️
Shreya Kapoor @SKapoor_18
333 Followers 1K Following PhD @CogCoVi |Formerly Data Scientist @MPI-CBS| https://t.co/HWJLt7Jhwk. Life Science Informatics @UniBonn
정창욱 @ukjung98
2 Followers 37 Following
Eduardo @eduardomelgg
11 Followers 420 Following
julesh @_julesh_
10K Followers 145 Following Applied category theorist. Also at @CyberCatInst and @[email protected]
Bartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
ieva @HyperboIeva
10K Followers 771 Following Quantum information, useless information, generally informed. Achieved a desperate PhD @QOQMS. Quantum algorithms researcher @PhasecraftLtd
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
bOb cOeCke @coecke
7K Followers 616 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
davidad 🎇 @davidad
13K Followers 7K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Petar Veličković @PetarV_93
30K Followers 555 Following Staff Research Scientist @GoogleDeepMind | Affiliated Lecturer @Cambridge_Uni | Associate @clarehall_cam | GDL Scholar @ELLISforEurope. Monoids. 🇷🇸🇲🇪🇧🇦
Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Timothy Gowers @wtgow.. @wtgowers
45K Followers 188 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Michael Bronstein @mmbronstein
43K Followers 4K Following #DeepMind Professor of #AI @UniofOxford / Fellow @ExeterCollegeOx / ML Lead @ProjectCETI / https://t.co/kZpGpDzYeV
Zanzi Tangle, now at .. @tangled_zans
3K Followers 320 Following Turning Category Theory into code https://t.co/B0egvR0lmb
Alex Kontorovich @AlexKontorovich
24K Followers 805 Following Mathematician (Distinguished Professor of #Math at @RutgersU). Here to learn about research, education, and community. Let’s build something together.
Derived memes for spe.. @DerivedMemes
3K Followers 6 Following tmf is the connective cover of the global sections of the sheaf of E∞ ring spectra on the compactified moduli stack of elliptic curves
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Taco Cohen @TacoCohen
21K Followers 3K Following Deep learner at FAIR. Into codegen, equivariance, generative models. Spent time at Qualcomm, Scyfer (acquired), UvA, Deepmind, OpenAI.
Edward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LM
Anna Riedl @AnnaLeptikon
6K Followers 5K Following nobody. Interested in cognitive science, rationality under radical uncertainty, complexity, systems, insight, meaning, synthesis, wisdom, information design
George Morgan @vr4300
716 Followers 334 Following Fighting scale with symbols. Founder @symbolica. Previously Autopilot AI @tesla.
Machine Learning Stre.. @MLStreetTalk
19K Followers 384 Following AI YouTube & Audio Podcast (MLST). Run by Dr. Tim Scarfe @ecsquendor and featuring co-host @DoctorDuggar https://t.co/bVe6XB85YD
Todor Davchev @tdavchev
716 Followers 410 Following Research Scientist @GoogleDeepMind | views are my own
Vincent Abbott | Deep.. @vtabbott_
3K Followers 200 Following Maker of *those* diagrams for deep learning algorithms | 🇦🇺 | https://t.co/kE2BIGCiMY
Zico Kolter @zicokolter
15K Followers 499 Following Associate professor at Carnegie Mellon, VP and Chief Scientist at Bosch Center for AI. Researching (deep) machine learning, robustness, implicit layers.
Maria Violaris @maria__violaris
2K Followers 326 Following Quantum physicist and science communicator. PhD @UniofOxford | Intern @IBM Quantum @Qiskit | Writer @PhysicsWorld | Outreach @qqq_iop | Founder @quantuminfosoc
Sebastijan Dumancic @sebdumancic
586 Followers 421 Following Assistant Professor at @tudelft; program synthesis, probabilistic programming, integrating learning and reasoning
Jürgen Schmidhuber @SchmidhuberAI
107K Followers 0 Following Invented principles of meta-learning (1987), GANs (1990), Transformers (1991), very deep learning (1991), etc. Our AI is used many billions of times every day.
Chelsea Finn @chelseabfinn
69K Followers 384 Following Asst Prof of CS & EE @Stanford. PhD from @Berkeley_EECS, EECS BS from @MIT
Tina.Is.Not.Aligned�.. @tzhen
11K Followers 2K Following Millions of 🤖 live for milli-seconds to make the market turing complete, who will be the last human standing? I live till I decentralize. Pi-Rate $HIP ⚓🏴☠️
Taelin @VictorTaelin
17K Followers 903 Following Founder of @HigherOrderComp Building the massively parallel future of computing Reaching AGI to cure all diseases and suffering is all that matters
Marius Hobbhahn @MariusHobbhahn
2K Followers 996 Following Director/CEO at Apollo Research @apolloaisafety Ph.D. student of Machine Learning @PhilippHennig5; AI safety/alignment
Joe Collman @JoeBCollman
26 Followers 95 Following
Nora Ammann @AmmannNora
516 Followers 790 Following Exploring principles of intelligent behaviour in artificial and other systems: https://t.co/GphUSABGT9 Sometimes converting thought into words at https://t.co/0w3PUX1GVs
Nathan Labenz @labenz
14K Followers 2K Following AI Scout, building text-2-video @Waymark, host of The Cognitive Revolution podcast
🅾️𝕝𝕚𝕧�.. @oliverbeige
8K Followers 360 Following Tweeted about Bayesian Belief Propagation in Heterogeneous Networks before it was cool.
Vinod Khosla @vkhosla
632K Followers 575 Following entrepreneurship zealot, grounded technology possibilist, believer in the power of ideas, passionate about sustainability & impact
Jesse Donahue 🕊️ @JesseRDonahue
80 Followers 312 Following Machine Learning PhD student at Georgia Tech. Interested in understanding agency within intelligent systems across biology/neuro & AI.
defunkt @defunkt
73K Followers 2K Following publishing indie games @nullgames | board member @computerhistory | @github cofounder and former ceo | building something new @voiddotdev
Sara Hooker @sarahookr
39K Followers 7K Following I lead @CohereForAI. Formerly Research @Google Brain @GoogleDeepmind. ML Efficiency at scale, LLMs, @trustworthy_ml. Changing spaces where breakthroughs happen.
ARIA @ARIA_research
10K Followers 36 Following Advanced Research + Invention Agency. Empowering scientists to reach for the edge of the possible.
Garrison Lovely @GarrisonLovely
4K Followers 3K Following Freelance journalist + podcast host. Covers: @jacobin, @thenation Bylines: @bbc_future, @voxdotcom, @nysfocus & @curaffairs.
David Krueger @DavidSKrueger
13K Followers 4K Following Cambridge faculty - AI alignment, deep learning, and existential safety. Formerly Mila, FHI, DeepMind, ElementAI, AISI.
Siméon @Simeon_Cps
7K Followers 1K Following Creating more common knowledge on AI risks, one tweet at a time. Founder in Paris. AI auditing, standardization & governance.
helloVERSES @helloVERSES
2K Followers 832 Following VERSES is a cognitive computing company specializing in next-generation #AI inspired by nature. AI Research Lab @VERSESAI CBOE: VERS, OTCQX: VRSSF
Andrew Critch (h/acc) @AndrewCritchPhD
3K Followers 181 Following Human being; trying to do good; views my own; CEO @ Encultured; AI Researcher @ UC Berkeley.
Mathieu Alain @miniapeur
19K Followers 2K Following Researching @ai_ucl. Co-organises @uclcsml and @logconference. FR, EN, trying ES. 🇹🇼🇨🇦🇬🇳🇺🇸🇩🇴🇫🇷🇪🇸🇬🇧🇿🇦
morphillogical 🔍 @morphillogical
307 Followers 288 Following pre-rat, or as we used to say, aspiring rat. strongly in favor of niceness, community, and civilization your friendly beloved shapeshifter
Jimmy Rushton @JimmySecUK
101K Followers 835 Following Kyiv based foreign policy/security analyst Currently focused on the Russian invasion of Ukraine Sometime journalist - opinions mine alone
Edward Grefenstette @egrefen
36K Followers 776 Following FR/US/GB AI/ML Person, Director of Research at @GoogleDeepMind, Honorary Professor at @UCL_DARK, @ELLISforEurope Fellow. All posts are personal.
Stewart Brand @stewartbrand
52K Followers 466 Following Co-founder of The Long Now Foundation--which takes no sides. In this forum, as a private person, I do take sides occasionally.
Peter Schmidt-Nielsen @ptrschmdtnlsn
2K Followers 406 Following Please tweet at me with CUDA performance tips.
Rubén Ballester @rballeba
1K Followers 515 Following I'm a PhD student in (topological) persistence theory and topological machine learning at Universitat de Barcelona.
Daniel Murfet @danielmurfet
709 Followers 508 Following Mathematician at the University of Melbourne. Working on Singular Learning Theory and AI alignment.
AI Notkilleveryoneism.. @AISafetyMemes
33K Followers 799 Following Techno-optimist, but AGI is not like the other technologies. Step 1: make memes. Step 2: ??? Step 3: lower p(doom)
Jan de Muijnck-Hughes @jfdm
943 Followers 689 Following Lecturer of type-driven approaches to trustworthy-systems at Strathclyde. PL & FM enthusiast. https://t.co/xrWhpZSkQm 🇳🇱🏴🇬🇧🇪🇺
Dan @dpl0a
247 Followers 126 Following 💤 | CT/TT/PLT researcher — Hard Maths and FP @ 20squares — So di non sapere | https://t.co/RTkWgpEguu
ИΛVIY @yivannaviy
101 Followers 274 Following All tweets are generated from a poorly trained neural network.
Barak A. Pearlmutter @BAPearlmutter
852 Followers 2K Following Abusing minions, torturing cats, maligning the innocent. 🐘 @[email protected]
Joshua Tan @joshuaztan
1K Followers 136 Following math, AI, governance @ Oxford and @metagov_project
Adil @adilsoubki
141 Followers 354 Following Computational Linguistics. Math. Physics. Computer Science. PhD student. AI Tolerater.
@bgavran3 @symbolica A little early for this perhaps, but would y’all happen to be looking for a grad student intern with ACT & ML experience for Summer 2025 👀
Damn bro the top quantum grifters are going after each other, hell yeah we love to see grifter in fighting
Great trip to Symbolica HQ to work with @bgavran3. And, we cracked weight tying for structural recursion. And, and, and ... not a bad view either
These tweets brought to you by virtue of being overwhelmed by the negativity of this platform. Maybe it’s just my feed, but I needed a pure, joyous alternative
That is not to say I’m not stressing or overworking or otherwise dealing with issues. These are still around and I still feel down sometimes. But boy is the baseline nice and healthy. I don’t think I’d be happy if I didn’t have a healthy amount of stress around 😂
Hi all, just wanted to say that I am very happy 😊 A strange (and hopefully extended!) time when everything feels right: work is fun and invigorating, adventures are everywhere and I have @bgavran3 by my side, to build it all together A good time to wish y’all the same ❤️
The determinant is the unique alternating multilinear form sending the identity to 1.
these guys share a name and a Wikipedia article! not sure I've seen an article like this before
Very excited to talk at MSP tomorrow! Come learn about relative monads
This Friday, April 26th, 2024, @tangled_zans will be leading the #MSP101 seminar with a talk entitled: > Free Relative Monads and Kan Algebras for Type and Scope Safe DSLs More details on can be found on the #SPLI Zulip and our own #MSP101 page msp.cis.strath.ac.uk/msp101.html
My position on "climate dooming" is that: – doomers* will likely be proven wrong, yet – dooming will be the reason they will be wrong (i.e., the worry is necessary to take the actions that address the risk), and – without the dooming, the risk of doom increases Dooming shouldn't…
[private message on work slack] friend: hey buddy how do i <do thing>, i can't find it in your team's docs and i feel super dumb me: hey buddy! it doesn't exist. please re-ask this question in our public help channel so whoever is on-call can answer you. [public help channel]…
What the absolute fuck @Nature?? I didn't have much faith in publishing institutions already, this is insane
We promise that the article will be totally accurate (we all know that @DulwichQuantum can always be trusted).
I put my unitaries behind a paywall call that quantum gatekeeping
My book is out! worldscientific.com/worldscibooks/…
Uncomfortable truth: The customer doesn’t care about your “product”. They don’t care about your “solution”. The only thing they care about is whether it is written in Haskell or not
A turkish man invented the steam engine 200 years before the industrial revolution but he only made it to spin döner
#qctip organisers really going out of their way this year
Trends for United States
You might like
