Proof n Computation @proofncomp
Types, Logic, Categories proofandcomputation.org USA Joined September 2014-
Tweets54
-
Followers59
-
Following246
-
Likes253
Proof n Computation retweeted
I can't recommend PFPL enough. It's the CS book that we need at this moment. Read it and educate yourself! cs.cmu.edu/~rwh/pfpl.html
2
15
58
0
0
Proof n Computation retweeted
I give up, we’ve reach peak engineering: imgur.com/4W3v12V
Proof n Computation retweeted
Reminder: Bob Harper's Homotopy Type Theory online course is awesome! cs.cmu.edu/~rwh/courses/h… (Also as an intro to Type Theory)
Proof n Computation retweeted
Guy who spent 6 years calling the president a foreign traitor insists that only politeness will be tolerated by the new president elect.
Proof n Computation retweeted
Ah yes, the rarely seen protest strategy of giving a company your money to show you don't support them.
Proof n Computation retweeted
"Hitler's only kidding about the antisemitism" New York Times, 1922 boingboing.net/2016/11/11/hit…
Proof n Computation retweeted
Outside a pub in Clerkenwell, England.
Proof n Computation retweeted
This seems to sum up both campaigns nicely. Data & discipline v. Misogyny & excuses @bpolitics
Proof n Computation retweeted
Stevie Wonder on why Trump shouldn't be president: "if you had emergency, had to go to hospital, you wouldn’t want me driving, right?”
Proof n Computation retweeted
"Do not vote for Donald Trump," says a letter from 370 economists, including eight Nobel laureates on.wsj.com/2ewdAHr via @WSJecon
Proof n Computation retweeted
John Dewey, born on this day in 1859, on how to find your calling—timeless wisdom from one of humanity's great minds brainpickings.org/2015/10/20/joh…
Proof n Computation retweeted
I can understand why a guy who inherited his life from his daddy thinks everything is rigged.
Proof n Computation retweeted
My paper "Five stages of accepting constructive mathematics" was published in Bulletin of AMS: ams.org/journals/bull/… I hope you enjoy it!
Proof n Computation retweeted
A few politicians who have jailed their political opponents: Putin Erdogan Chavez Mugabe Pinochet Noriega #justsayin #debate
Proof n Computation retweeted
'It's your fault I didn't pay taxes, Hillary. Women let you do anything when you're a star.'
Proof n Computation retweeted
With this election we're simultaneously breaking through the glass ceiling and the rock bottom. We got a really big room now
Proof n Computation retweeted
Hillary Clinton belongs in the White House. Donald Trump belongs on my show.
Proof n Computation retweeted
Trump’s body language & whining are those of a man not used to being doubted or questioned. It’s why dictators never learn anything new.
13_Hazel @13Hazel160320
21 Followers 1K Following
Smethee @Smethee236119
40 Followers 1K Following
Darcy Kimball @DarcyKimball
3 Followers 251 Following
OCaml Security @OcamlSecurity
226 Followers 925 Following News about #OCaml and Security. Not affiliated with @OCamlLang core team.
Awesome Elixir Repos @awesome_elixir
334 Followers 2K Following Tweeting awesome elixir repos. https://t.co/QZudqSYiPo Run by @aarondfrancis (and his computers)
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Hakan Turgay @hakantrg
64 Followers 658 Following
Atabey Kaygun @Atabey_Kaygun
1K Followers 4K Following Mathematician. Frankenstein's monster. Incongruous bits and pieces coalesced accidentally instead of a plan. Batteries included.
Agam @agambrahma
719 Followers 6K Following Foolish stuff ... I read _all_ the things :-) Email: [email protected]
Brett Evans @brettevans
591 Followers 5K Following
Keith Ramsay @DrKeithRamsay
187 Followers 1K Following Mathematician who develops in C++ and C# for a living and wishes to branch out a bit. (The Dr is just to distinguish me from the actor.) He/him.
Ahmed Al-Issaei @ahmedafox
248 Followers 1K Following
isomorƒ @isomorf_io
340 Followers 964 Following a structured cloud IDE designed around an experimental software development paradigm
ScalaQuest @ScalaQuest
760 Followers 4K Following New online game to learn #Scala! Battle Goblins & Wizards & face many challenges while learning a new programming language.
IU InformaticsAlumni @IUinformatics
705 Followers 2K Following Not an official IU account. Official IU tweets for Informatics at @IUPUInformatics & @IUSice
Harlequin Balustrade @kev
671 Followers 2K Following
eibisch @eibischcus
69 Followers 4K Following
Avi Avni @AviAvni3
434 Followers 1K Following Chief Architect & Co-founder @falkordb. C# & F# Compiler Contributor. Neo4j Certified Professional
Colin Gordon of Masto... @csgordon
1K Followers 3K Following CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]
Holly Christensen @chrisholly81
1K Followers 2K Following Living to create opportunities to inspire! Believer. #GrowthHacker #MusicalEvangelist & Product Designer
meldrion @barnabasRoos
0 Followers 1K Following
Functional Geekery @fngeekery
3K Followers 199 Following A podcast on Functional Programming, covering topics across multiple languages. Hosted by @stevenproctor.
Proctor @stevenproctor
1K Followers 3K Following Software Developer in the Dallas/Fort Worth Metroplex. Founder of @dfwerl and host of @fngeekery
Rojan K C @rojan0991
29 Followers 101 Following
Teakuhelj @Teakuhelj1
2 Followers 78 Following
Lauper @egorlaufer
40 Followers 660 Following
Purely Functional λ @purelyfunc
7K Followers 9K Following We admire functional programming. #haskell #scala #fsharp #clojure #lisp
Johan Glimming @glimming
681 Followers 4K Following CEO @ FUNCTOR, PhD, CTO, researcher in Computer Science. MSc Oxford, Maths Institute, formerly research fellow, Cambridge 🌐 https://t.co/qx88UJlKQt https://t.co/xZbtyedLTp
Saapienza @GetSaapienza
454 Followers 3K Following Saapienza is your way into philosophy. Learn, explore and grow your mindfulness.
Hashim Akram @HashDotnet
150 Followers 682 Following .NET & Blockchain Recruitment Consultant (Switzerland)
Type Theory @type_theory
496 Followers 253 Following An online study group, open to all, dedicated to learning type theory.
Dreamcatcher @killkernel
29 Followers 327 Following
Stephen Pimentel @StephenPiment
13K Followers 1K Following Engineer and essayist: @palladiummag, @mansworldmag_, @im_1776, @unherd, @AntigoneJournal, @TheSideViewCo. Classics, political philosophy, governance futurism.
four seasons joe (not... @alacqua_joseph
171 Followers 1K Following Husband, Dad, Unnle. MS Comp Sci (yay!). Interests: functional prog, type theory, semantics, and math(s). Retweet politics. Thx @reverentgeek 4 profile pic!
Sydney Type Theory @SydneyTypes
232 Followers 254 Following Lunchtime type theory reading/study group in Sydney. We're currently reading the Homotopy Type Theory book. Tweets by @antiselfdual
MathBlocks @mathblocks
127 Followers 577 Following Web environment for playing around with mathematics. tweet ∈ Maths ∪ Art ∪ Software
Math is in the Air @MathisintheAir
2K Followers 3K Following Blog on Applied Mathematics | Blog divulgativo di matematica applicata .
Loris Dal Lago @_sid_aa_
27 Followers 378 Following
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
George 🧐🧬ساب... @GeorgeShiber
34K Followers 30K Following @Columbia @GC_CUNY | Philosophy/Mathematics | “Is man merely a mistake of God's? Or God merely a mistake of man's?” — Friedrich Nietzsche | ❤️ Sports & Music ❤️
Peter Reijnders @Peter_Reyn
7K Followers 7K Following Space Tech, Space Colonization. Be who you are and say what you feel because those who mind don't matter and those who matter don't mind
Sen. Bernie Sanders @SenSanders
11.8M Followers 2K Following Sen. Sanders of Vermont, Ranking Member of U.S. Senate Committee on Health, Education, Labor & Pensions, longest-serving independent in congressional history.
Sergey Tihon has gone... @sergey_tihon
4K Followers 497 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Scafe says wear a gd ... @erinscafe
23K Followers 4K Following Unreliable neighbor. Twitter enthusiast. Sometimes known as Anne or Ingrid. Not sure why. I go to ballgames, the bleachers are fine. Not actually bad at math.
Franck Marchis @AllPlanets
9K Followers 3K Following Planetary astronomer at @SETIInstitute, CEO and co-founder of @skymapperspace, CSO and co-founder of @Unistellar, tweeting about space, our planet & us, humans
AI by the Bay @ScaleByTheBay
3K Followers 1K Following Bay Area’s Best OSS AI conference | AI-Native Coding | Data and Models | Cloud Flows | Open-Source AI: 60+ talks & panels https://t.co/i3NnxirH3K #aibythebay
Scale Venture Partner... @scalevp
15K Followers 1K Following Investing in technology companies as they transition from founder-led growth to go-to-market machine
Jacob Jedryszek @realJacobJed
2K Followers 794 Following Full-Stack AI Engineer at @Meta Superintelligence Labs 🤖 Before: 0 to 1 and Growth at @Meta 📈 Cloud, AI and #SeeingAI at @Microsoft ☁️ 🏊♂️ 🚵♀️ 🏃 🏔⛷⚽️⛵️
Felix Mulder Witasp @FelixMulder
2K Followers 250 Following Black Lives Matter, he/him Engineer @Stripe Ex Scala 3 Compiler Engineer at LAMP, EPFL Ex Team Lead @Klarna, built EU's first cloud-only bank using FP
fsharpJobs @fsharpJobs
2K Followers 16 Following Ping me If you have open #fsharp position or looking for #fsharp job. Account is owned by @sergey_tihon.
F# OSS @oss_fsharp
645 Followers 0 Following A news feed of open source F# repos being talked about on Twitter. Maintained by @benbjohnson.
Compositional IT @compositionalit
2K Followers 237 Following We believe in functional solutions for everyday software - bespoke software development and consultancy, and F# and Azure training, coaching and consultancy.
CodeMeshIO @CodeMeshIO
2K Followers 1K Following Code Mesh: leading alternative programming conference. #CodeMeshV across US and UK time zones for global attendance
Don Syme @dsymetweets
11K Followers 3 Following Find me elsewhere. https://t.co/H8XqNJyMcO https://t.co/U1RG0DBd3Z
Tomas Petricek (find ... @tomaspetricek
9K Followers 931 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
FAKE - F# Make @fsharpMake
2K Followers 14 Following FAKE is a build automation system with capabilities like make and rake. It is using an easy DSL so that you can start using it without learning F#.
ScalaBridge @ScalaBridge
1K Followers 15 Following Building an inclusive #Scala community with introductory programming workshops for underrepresented groups in tech.
Li Haoyi @li_haoyi
10K Followers 0 Following I'm a software engineer, author of the book Hands-on Scala Programming https://t.co/jCMgqCKhpN Bluesky https://t.co/2IJXLiM3YG
Xebia @Xebia_Global
6K Followers 497 Following Xebia drives digital transformation with AI, cloud, data & automation, helping firms deliver smarter, faster, and better with 5,500+ experts in 16 countries.
Joel David Hamkins @JDHamkins
26K Followers 281 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
The Little Lisper @thelittlelisper
4K Followers 147 Following Interested in Common Lisp and modern lisps like Clojure
McKellar Math @McKellarMath
3K Followers 54 Following The EASY way to do the right thing for your child's math education! Danica McKellar's NewYorkTimes bestselling books for ages 0-16. 🤗
Ellen K. Pao @ekp
70K Followers 907 Following https://t.co/FS6ev9qZMr @projectinclude ex-reddit, Kapor, Kleiner, BEA, Tellme, Microsoft reformed VC and lawyer author of "Reset"
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
FSharpTV @AwesomeFSharp
781 Followers 353 Following Learn F# from the fundamentals through to advanced features by building fun engaging projects! Sponsored by @comparethemkt & our incredible partners @xamarinhq
Suave.IO @SuaveIO
1K Followers 0 Following Suave is a simple web development F# library providing a lightweight web server and a set of combinators to manipulate route flow and task composition.
Fable Compiler 🇺�... @FableCompiler
3K Followers 34 Following The compiler that emits JavaScript you can be proud of! Powered by the #fsharp language and compiler @MangelMaxime
Colin Gordon of Masto... @csgordon
1K Followers 3K Following CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]
Eduardo ⭔ @toorandom
2K Followers 998 Following I am basically a Gymnopédist. Mathematics, piano, algebraic geometry & number theory. I obtained a Ph.D. doing primality tests using surfaces (he/him)
MirageOS @OpenMirage
1K Followers 31 Following I'm a unikernel operating system written in OCaml. Logo: a Sand Cat (via @mindypreston) Pic credit: https://t.co/pdMD6mQf6a; star me at https://t.co/Ym2EBR4A7r
Unikernels @unikernel
865 Followers 14 Following Rethinking Cloud Infrastructure ... I just retweet things :)
Thomas Gazagnaire @eriangazag
1K Followers 212 Following MirageOS and OCaml hacker. CEO of https://t.co/KF5zAU46jr - ex Docker, Unikernel Systems, Citrix
Planet Elm @planetelm
1K Followers 6 Following
ElmCast.io @elmcastio
1K Followers 1K Following Hub for Elm news, events, and learning! ❯ https://t.co/jz7WIIc9L1 ❯ https://t.co/kZ88hUkVVg
Evan Czaplicki @evancz
16K Followers 68 Following Creator and developer of @elmlang Reading highlights at @power_studies
Functor Fact @FunctorFact
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Microsoft Research @MSFTResearch
560K Followers 2K Following We advance science and technology to benefit humanity.
POP at CMU @pop_cmu
560 Followers 81 Following Principles of Programming Group at Carnegie Mellon University.
Open Logic Project @OpenLogicProj
2K Followers 15 Following Open Source, Customizable, Advanced Logic Text. No longer active on Twitter. See pinned post.
Caitie McCaffrey @caitie
18K Followers 883 Following Partner Technical Advisor for @Microsoft CEO. Formerly @Twitter & 343i / @Halo she/her
chris martens @chrisa... @chrisamaphone
5K Followers 1K Following I'm not here anymore! Go find me where my display name says.
Julia Galef @juliagalef
111K Followers 479 Following Author of THE SCOUT MINDSET and host of the Rationally Speaking podcast
C. S. Peirce @CSPeirceSpeaks
3K Followers 142 Following Charles Sanders Peirce, America's first great philosopher, speaks from beyond the grave.
Kelly Truelove @TrueSciPhi
9K Followers 3K Following Technologist | Erstwhile computational physicist | https://t.co/l4XWa5GYgK: Explorations in computational philosophy • Science & philosophy podcast collections
The Elixir programmin... @elixirlang
39K Followers 24 Following Elixir is a dynamic, functional language designed for building scalable and maintainable applications. This account is now inactive.
Francesco Cesarini @FrancescoC
9K Followers 840 Following Founded @ErlangSolutions, started @codemeshIO and @codeBeamIO, O'Reilly author, pointy haired boss, full time dad and part time uncle & godfather.
Erlang Solutions @ErlangSolutions
11K Followers 641 Following We build transformative solutions for the world’s most ambitious companies.Trends for United States
1.834 posts
74 B posts
69,8 B posts
79,5 B posts
69,3 B posts
40,6 B posts
60,7 B posts
54,3 B posts
19,1 B posts
1.609 posts
14,8 B posts
46,2 B posts
64,2 B posts
5.653 posts
16,8 B posts
4.207 posts
4.346 posts
6.207 posts
4.280 posts
4.269 posts
You might like
Well-Typed
@welltyped
6K Followers
Galois
@galois
6K Followers
Jonathan Fischoff
@jfischoff
6K Followers
Gary Fixler 🗹
@gfixler
809 Followers
Dominic Orchard
@dorchard
2K Followers
Larry Diehl
@larrytheliquid
794 Followers
Michael Sullivan
@msully4321
361 Followers
Ilan Godik
@IlanGodik
357 Followers
Andres Löh
@kosmikus
3K Followers
Steven Shaw
@steshaw
1K Followers
Jan de Muijnck-Hughes
@jfdm
871 Followers
joomy
@joomy
2K Followers