Sydney Type Theory @SydneyTypes
Lunchtime type theory reading/study group in Sydney. We're currently reading the Homotopy Type Theory book. Tweets by @antiselfdual meetup.com/Sydney-Type-Th… Sydney, New South Wales Joined October 2015-
Tweets204
-
Followers232
-
Following253
-
Likes2K
Join us this Thursday to delve into the ideas behind Haskell's "unbound" library - which allows you to specify the binding structure of a programming language declaratively. meetup.com/Sydney-Paper-C…
On Wed at #fpsyd, I'll be speaking on "Dependent Types Made Difficult". This is a story about categorical semantics... meetup.com/FP-Syd/events/…
Thanks @BartoszMilewski for coming to visit us at @SydneyTypes and sharing your insights!
Curious about TLA+ and formal specification and verification? Join us next month for a hands-on workshop as @armenb guides us through formally specifying Paxos in TLA+. meetup.com/Sydney-Paper-C…
It's somewhat astonishing to look back and see how much we've been able to cover over the past 4 years.
Curious about homotopy type theory and univalent foundations? Join us this Monday as we begin reading chapter 1 of the HoTT book, which provides an overview of Martin-Löf type theory. meetup.com/Sydney-Type-Th…
#Haskell #HaskellPDF #deBruijn from the paper "Everybody’s Got To Be Somewhere" · pdf arxiv.org/pdf/1807.04085… · arxiv arxiv.org/abs/1807.04085 referenced in
#Haskell #HaskellPDF #deBruijn from the paper "Everybody’s Got To Be Somewhere" · pdf arxiv.org/pdf/1807.04085… · arxiv arxiv.org/abs/1807.04085 referenced in https://t.co/K91ARqWzWd
A peek at the upcoming Direct Java Interop system in @eta_lang! The compiler will write the FFI imports for you. Scrap your FFI imports 🙂
Computability Beyond Church-Turing via Choice Sequences Bickford, Cohen, Constable, Rahli vrahli.github.io/articles/FCS-l… [pdf] "We develop a new type theory BITT, which is an extension of the type theory of the Nuprl proof assistant, that embeds the notion of choice sequences"
It's time to 'put' on your thinking cap and 'get' your hands on the latest JFP article: "Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization" by Kazutaka Matsuda and Meng Wang - cambridge.org/core/journals/…
Documentation for #SourcePlugins, how to construct typechecked expressions. mpickering.github.io/posts/2018-06-…
🎉 Agda 2.5.4 is out 🎉 Call-by-need reduction, do-notation, machine words, compiler improvements, and more. Full list here: hackage.haskell.org/package/Agda-2… `cabal install Agda` or download from hackage: hackage.haskell.org/package/Agda-2….
Foreword by @existentialtype; afterword by @pigworker. This should be fun. mitpress.mit.edu/books/little-t…
Summer is here, time to fill the eBook reader with great reads for the beach. Found this goldmine of eReader format Haskell papers: github.com/beerendlauwers… 😎☀️
How can we infer whether a function is monotone? Using modal subtyping! I gave a talk at S-REPLS on the approach I hope to use in Datafun: users.sussex.ac.uk/~mfb21/srepls9… Thanks to Martin Berger for organizing! users.sussex.ac.uk/~mfb21/srepls9/
Agda is getting do notation github.com/agda/agda/blob…
We uploaded our functional pearl about a PhD student trying to prove properties about her Haskell programs in Coq. Unfortunately, the writing style was not appreciated. We had Reviewer #3 on our side, but in the end got rejected at ICFP'18. arxiv.org/abs/1805.08059
due to a scheduling mistake, the Category Theory workshop by @DrEugeniaCheng was not previously listed, so, super excited to announce it! lambdajam.yowconference.com.au/proposal?id=64…
On tonight: "A logic for default reasoning".
On tonight: "A logic for default reasoning".
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Talia Ringer 🕊 @TaliaRinger
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Jacques Carette @jjcarett2
2K Followers 932 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
にいかわりな @niikawarin2901
46 Followers 3K Following
Arshak_Aivazian @ArshakAivazian
6 Followers 191 Following HSE math student. My math https://t.co/bejlebfBbJ https://t.co/hL4F6vArnu. My life https://t.co/CNKs778anl. Our math community https://t.co/QNHptcN3RO. MO: https://t.co/O1zvxwwZlB
Kal @kaladinstormble
199 Followers 1K Following https://t.co/b9YUGeyAd3 Auto follow any sci-fi fan. BLM. Grace Tame is a living legend.
Tetosa @Tetosa250059
48 Followers 1K Following
Ethan Xu @EthanxXu
5 Followers 173 Following
F F @FF87618079
6 Followers 327 Following
Justin @TheorySeekingHo
3 Followers 72 Following CS undergrad @CMU, Interested in Error Correcting Codes
Jules @analytichegel
2K Followers 2K Following optimistic nihilist. fedi: @[email protected]. priv: @boy_aphrodite
Arnold @Arnoldg1020
13 Followers 129 Following
H. M. B. @Love2Read2End
159 Followers 2K Following CompilersOptimisation•Ontologies•DSLs(LanguageEngineering)•Scala•PhilosophyOfMath&Logic(Intuitionistic)•TypeTheories&Semantics•WebSite👇🏻LivingWittgensteinian•
BetNFT - Digital Grey... @BetnftRun
13K Followers 4K Following A web3 digital racing game full of fun and excitement. Race, Earn and Win! https://t.co/S3Bi7TAz04 https://t.co/ncX4cR0gm0
Mani @Nic0Ni1
0 Followers 286 Following Human. Aspiring Aspirant. Fan of abstract nonsense and nonsensical abstraction. Rest of this bio is trivial and left as an exercise for reader.
SugarFreeNFTs @OffTheChainGang
13K Followers 11K Following A Guild of Creators, Curators & Influencers working through an antiquated, Web 2.0 portal, to share Crypto and NFT Content. Discord https://t.co/sKu552bFlB
Raymond Liu @raytaoliu
61 Followers 5K Following
Prosper @prosper2100
46 Followers 2K Following
tmv🔻⚗ @teddgeek
311 Followers 3K Following
Ulrik Buchholtz @UlrikBuchholtz
423 Followers 204 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
nudibranch @nudibra95097505
18 Followers 896 Following Sea slug with a rudimentary nervous system and a variety of interests.
Simon Almerström Prz... @almerzybyl
65 Followers 1K Following
Eat Bray Love 🇺�... @Eat_Bray_Love
2K Followers 5K Following #Beastmen, #Mawtribes, #TombKings player, and also a bit of #Oathmark, #Frostgrave, #SavageWorlds. Also #Hockey, #Maths, and #Physics. 🇵🇱 🇨🇦 🇳🇿
Caravaggio @Karagrigoriou
98 Followers 452 Following
ADAPH #1 Cardano Stak... @adaphio
3K Followers 4K Following #1 Cardano Stake Pool in the Philippines Ticker: ADAPH Pool Id: cba1419077fd3a23e5036727a3994e6dd0c5dcd259bdb89df6863431
Math-Phys-Cat Group @math_phys_cat
1K Followers 3K Following A Brazilian research group on Mathematical-Physics and Categorification #mathphyscat #pesquisabrasileira | https://t.co/PczcQ8hkh4
Kabelo Moiloa @11kilobytes
1K Followers 4K Following amateur PL-theorist of scientific computing. All poasts are to be interpreted in both a maximally ironic and sincere way simultaneously.
Taboo King prawn/Geor... @George45598876
388 Followers 5K Following
maway.woo @WooMaway
5 Followers 99 Following
CRYPTOSTRANG.COM @cryptostrang
1K Followers 3K Following https://t.co/ZtrY100ICz. $VYFI Ambassador - Best DEX on Cardano. Youtube channel- https://t.co/X4WZd53fC6… #cryptocurrency #altcoins
steve mao @MaoStevemao
251 Followers 1K Following Co-Founder of https://t.co/AZwW232mro, ex Atlassian, technologist
dan synek @dan_synek
13 Followers 504 Following
SUPERCHILL AND CALM M... @MatiosTV
2K Followers 5K Following BG:@atrinassa TwitterArtDirector JxRConsulting FlatSun Jada💋WGMIdance RadicalCentrist SpacePaladin OCEANTRUTHER Matriot CalTrad MaineFrameworksTwitter DTA
Ajitesh Shukla @ajitesh_shukla7
1K Followers 6K Following Student,Love to solve hardest math problem. LLM's, Mathematical Research(Geometric Topology,Differential Geometry),Quantum Computing.Lord Krishna is God Of Math
senthilganesh @senthil42750590
8 Followers 114 Following
Ivan Di Liberti @ivandiliberti
574 Followers 1K Following Academic at Gothenburg University. Mathematician. Late millennial.
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Graham Hutton @haskellhutt
8K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Talia Ringer 🕊 @TaliaRinger
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Tweag @tweagio
6K Followers 242 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Input | Output @InputOutputHK
280K Followers 427 Following We are a research and development company committed to using the peer-to-peer innovations of blockchain to build accessible financial services for all.
Jacques Carette @jjcarett2
2K Followers 932 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
András Kovács @andrasKovacs6
907 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Edward Kmett @kmett
16K Followers 821 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
@pchiusano@universeod... @pchiusano
6K Followers 124 Following working on @unisonweb Mastodon: @[email protected]
Gabriele Keller @gckeller
1K Followers 387 Following Professor of Software Technology, @UniUtrecht, (functional) programming languages, type systems, parallel computing @[email protected]
Koko Muroya @koko_muro_m
175 Followers 18 Following Researcher on functional programming, with love of diagrams. Talking about goodness. Tweets of my own.
David Corfield @DavidCorfield8
2K Followers 299 Following Philosopher. Published with 'Modal Homotopy Type Theory' (OUP, 2020). Published with D. Leader 'Why do people get ill?' (Penguin, 2007).
fabregastic @fabregastically
8 Followers 543 Following
Gerardo @GerardoNunez
263 Followers 2K Following (Typed) Functional programming enthusiast. Haskell, Purescript.
Jules Ivanic @guizmaii
2K Followers 2K Following | Software Engineer | Functional Programmer | 🇨🇵 citizen | 🇦🇺 permanent resident | 🌊 🏄🏻♂️ ❤️ | @guizmaii.bsky.social | I talk about Software Engineering
Armen Baghumian @armenb
75 Followers 0 Following
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Joseph Hirsh @corepresentable
452 Followers 628 Following mathematician | lecturer in blockchain UTAustin | lecturer in math txst You can assume I am being sincere and speaking from my own experiences.
Paolo G. Giarrusso @Blaisorblade
2K Followers 1K Following @[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell
Michael Snoyman @snoyberg
6K Followers 573 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Stephanie Weirich @fancytypes
3K Followers 354 Following
Neil Mitchell (neildm... @ndm_haskell
5K Followers 165 Following Haskell/Rust programmer. Views expressed are my own.
Lennart Augustsson @Augustsson
2K Followers 197 Following
Jeremy Gibbons @jer_gib
2K Followers 259 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Wouter Swierstra @wouterswierstra
1K Followers 155 Following
@_@ @dysinger
4K Followers 1K Following ❚碁士 1A 2A firearms 태권도 lifting osint privacy radio ❚Senior² Developer 🐪 ocaml haskell & all FP 🤓 ❚Psalm 144:1
Larry Diehl @larrytheliquid
796 Followers 668 Following Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
William J. Bowman @wi... @wilbowma
3K Followers 229 Following Paren-wielding facebook-theorist, PhD. Sith Lord of Compilers. Asst. Prof. at UBC. This account is deprecated.
Ulf Norell @ulfnorell
610 Followers 96 Following
Brad @bradtheilman
758 Followers 2K Following Neuroscientist: neuromorphic computing, songbirds, applied topology Cincinnati - San Diego - Albuquerque KD6UC
𓅜 doug henning �... @likethemagician
2K Followers 3K Following math👨🏫 linguist 🐝kpr, @deatherhixon's worse ½ ~ oqe/ghaH/𓇓𓅱/ⲛⲧⲁϥ/𒀀𒉈/𒋗𒌑/bí/ēme/tic/yè/yená/hã/à/re/are’/paluṟu/eh/𑀘𑁆𑀧𑀺/𐤡𐤦𐤳/𐬵𐬋/ᜐᜒᜌ/ia/ཁོ་ན/இவன்
Rob Rix @rob_rix
4K Followers 841 Following colouring outside the lines increasingly, see at robrix at types dot pl instead
Federico Ardila @FedericoArdila
5K Followers 601 Following Math @SFSU Marimba #NeblinasDelPacífico Vinilos @LaPelanga Trying to leave things a bit better than I found them. Also, @ItIsFederico. (he . él)
Andres Löh @kosmikus
3K Followers 475 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Olle Fredriksson @ollfredo
341 Followers 280 Following Joined to follow @plt_borat. Compilers and functional programming. https://t.co/jhXCQH3smp https://t.co/7w3hKa2yLJ
Alastair Reid @alastair_d_reid
3K Followers 336 Following Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own.
geoff @GeoffreyHuntley
56K Followers 70 Following currently looking for my next role. pitch me at [email protected]
Jordan Ellenberg @JSEllenberg
27K Followers 857 Following Math professor at Wisconsin. Number enthusiast. Author of HOW NOT TO BE WRONG and SHAPE (May 2021)
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Tori Vollmer @Proof_by
450 Followers 504 Following [email protected] [email protected] I'm Tori. I like weird math, pl, & old school proof theory. I only post pictures of my cat now She/her
cmr://ember @ember_arlynx
584 Followers 1K Following festering in fantasy feigned of fiends // wields arcane symbols // ex @o1_labs, @rustlang, seL4 // they/he // 🧑🏼💻🧑🏼🔬🧙🏼🎶🏳️🌈
Koundinya Vajjha @KodyVajjha
333 Followers 838 Following 30 | Math | ISI-UWO-Pitt-@intel | Formal Proofs/Discrete Geometry | Arch Linux.
Gernot Heiser @GernotHeiser
2K Followers 52 Following Microkernel dude, UNSW prof, looking for PhD students in OS
Aeon Magazine @aeonmag
159K Followers 2K Following Aeon is a magazine of ideas and culture. Psyche is our sister magazine focused on the human condition. Visit https://t.co/rFyQHxITEB and https://t.co/IZy9ul8HgS for more.Trends for United States
You might like
