English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어
FunctorFact's profile picture. Functional programming and category theory tweets from @JohnDCook

Functor Fact

@FunctorFact

Functional programming and category theory tweets from @JohnDCook

4KPosts 26KFollowers 6Following
You might like
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Oct 9

When is one thing equal to some other thing? math.harvard.edu/~mazur/preprin… [pdf] // deeper than it sounds

2
0
5
4
864
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Oct 8

'Literature about Lisp rarely resists that narcissistic pleasure of describing Lisp in Lisp.' -- Christian Queinnec, Lisp in Small Pieces

0
0
3
1
838
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Oct 7

'Before software can be reusable it first has to be usable.' -- Ralph Johnson

1
1
7
1
936
Functor Fact reposted
Ayegill's profile picture.
Eigil Fjeldgren Rischel - abstr/acc
 @Ayegill
Oct 6

"This follows from general theory, the details are in Lurie" "No they aren't, did you even read it?" "No, did you?" "No"

Ayegill's tweet image. "This follows from general theory, the details are in Lurie" "No they aren't, did you even read it?" "No, did you?" "No"
0
3
13
0
1K
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Oct 3

Right adjoints preserve limits. Left adjoints preserve colimits.

0
4
24
3
3K
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Oct 2

'Interconnectedness makes big programs eventually crumble under their own weight.' -- Simon Peyton Jones

0
3
16
5
1K
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Sep 26

Universal coalgebra: a theory of systems sciencedirect.com/science/articl…

0
1
11
6
1K
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Sep 25

The symbol ⊣ as in F ⊣ G if F is a left adjoint for G, is U+22A3 in Unicode, \dashv in LaTeX. Right adjoint ⊢ is U_22A2, \vdash.

0
0
6
3
863
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Sep 23

'General category theory springs no nasty surprises: any sensible equation you can write down is true.' -- Tom Leinster

1
2
16
3
1K
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Sep 22

Haskell Programming from First Principles haskellbook.com

0
0
2
4
809
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Sep 19

'Lisp's core occupies some sort of optimum in the space of programming languages.' -- John McCarthy

0
5
22
3
2K
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Sep 18

A terminal object is a limit over an empty diagram.

1
1
17
2
1K
FunctorFact's profile picture.
Functor Fact
 @FunctorFact
Sep 16

Typed Clojure: An optional type system for Clojure typedclojure.org

0
0
4
2
890
AlgebraFact's profile picture. Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.

Algebra Etc.

@AlgebraFact
AnalysisFact's profile picture. Daily tweets about real and complex analysis and related topics. From @JohnDCook.

Analysis Fact

@AnalysisFact
CompSciFact's profile picture. Daily tweets about computer science and related stuff @JohnDCook.

Computer Science

@CompSciFact
TopologyFact's profile picture. Tweets on topology and geometry from @JohnDCook.

Topology Fact

@TopologyFact
ProbFact's profile picture. Daily tweets on probability from @JohnDCook.

Probability Fact

@ProbFact
JohnDCook's profile picture. Consultant in applied math and data privacy

John D. Cook

@JohnDCook
DataSciFact's profile picture. Daily data science tweets from @JohnDCook.

Data Science Fact

@DataSciFact
LogicPractice's profile picture. Logic and applications of logic from @JohnDCook

Logic & Applications

@LogicPractice
DSP_fact's profile picture. Digital signal processing, acoustics, Fourier analysis, etc.

Signal Processing

@DSP_fact
diff_eq's profile picture. Tweets on ordinary and partial differential equations from @JohnDCook

Differential Eqns

@diff_eq
UnixToolTip's profile picture. Tips on Unix utilities and related topics from @JohnDCook.

Unix tool tip

@UnixToolTip
SamuelGWalters's profile picture. 🇨🇦 Math prof. Former Chair of Math-Stat Dept at the University of Northern B.C. (Mar 2016 - Jun 2020). Christian.

Sam Walters ☕️

@SamuelGWalters
SciPyTip's profile picture. Tweets about SciPy (Scientific Python) and related topics from @JohnDCook.

Scientific Python

@SciPyTip
MathType's profile picture. Type and handwrite mathematical notation. Easily include quality math equations in your documents and digital content. Part of @wiris_science.

MathType

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

Matteo Capucci

@mattecapu
FrnkNlsn's profile picture. Information Geometry, Information Theory, and Geometric Science of Information (GSI) for machine learning and AI, visual computing, HPC, pyBregMan lib @SonyCSL

Frank Nielsen

@FrnkNlsn
ScienceTip's profile picture. Daily post on science and medicine from @JohnDCook

Science and Medicine

@ScienceTip
haskellhutt's profile picture. Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

Graham Hutton

@haskellhutt
74WTungsteno's profile picture. #maths for everybody Created by @jxm_math

Tungsteno

@74WTungsteno
TeXtip's profile picture. Tweets on TeX, LaTeX, and typography. @JohnDCook.

TeX and Typography

@TeXtip
ManuelS44433858's profile picture. .

Manuel Sifuentes

@ManuelS44433858
xkasart's profile picture.

Kirill

@xkasart
elseelifif's profile picture.

brijmohan yadav

@elseelifif
httjkiude's profile picture.

j

@httjkiude
full_stack65's profile picture.

money heist

@full_stack65
dula2006's profile picture. Love science 🧪 space 🛰️ rockets 🚀 planes ✈️

DULA

@dula2006
vtguy65's profile picture. 🚀 Build online businesses from $0 startup cash 📍 Solopreneur strategies that actually work 💡Turn ideas → income without investors

Phil Greene

@vtguy65
kkaushalp's profile picture.

Kaushal Kishore

@kkaushalp
biner54's profile picture.

dan martin

@biner54
AyFogory's profile picture.

The Zek

@AyFogory
Kabzavia's profile picture. The Gift of Lightening.

Nothing was the Same

@Kabzavia
LatZaro666's profile picture.

Lázaro Cisneros

@LatZaro666
emilka12310's profile picture.

Emil

@emilka12310
anchal_att's profile picture. Hello!

Anchal

@anchal_att
NavVigyaan's profile picture. I am student and researcher

NAV VIGYAAN

@NavVigyaan
flowx3600's profile picture.

Infinity FlowX

@flowx3600
JUANFELIPE40317's profile picture.

CORTIZIDE

@JUANFELIPE40317
ThetaMenkent's profile picture. Of scientific, curious and sceptical type

Mana 🏳️‍🌈🏳️‍⚧️

@ThetaMenkent
xoxo_kitty19's profile picture. Generation Z(yklon B) #aspiringneet

anime groyper 🇻🇦🇷🇺

@xoxo_kitty19
txuntx8's profile picture.

w8oi8

@txuntx8
MausaSaid's profile picture. Gentle

Eng'r Musa Ba'are

@MausaSaid
zzuriel_'s profile picture. No sé nada del mundo y aún así daré mi opinión ;)

Zuriel

@zzuriel_
zetros01's profile picture.

Mavi İmagine

@zetros01
RaiMMkashi58989's profile picture. See

Rai M M kashif

@RaiMMkashi58989
PinkOperaEyes's profile picture. Here for the feeds that explore Math, Stats, Machine Learning and Artificial Intelligence. Finicky and cautious. Confide in epigrams. 🇱🇰

Ravindu

@PinkOperaEyes
BorsaGekko's profile picture. Persona Non Grata!

Borsa Trader

@BorsaGekko
YoungWavy5280's profile picture. Aspiring author looking 2 put my testimony on wax.✍🏿 📓 💰 ON THE AGENDA SINCE I CAME OUT THE PLACENTA #RIPMom #LLTORRIDAWN #LLELIJAHMCCLAIN🙏🏿 1️⃣3️⃣0️⃣0️⃣

Eleven21 Savage

@YoungWavy5280
_tanmoy_ks's profile picture. -Mathematics undergrad student @BRACUniversity -Math, cinema, coffee, books, chicken. -INFP

TANMOY SARKAR

@_tanmoy_ks
barnabas_jomo's profile picture.

0x

@barnabas_jomo
Leandro66963320's profile picture.

Leandro

@Leandro66963320
SunilS_Gaikwad's profile picture. Indian ! Metallurgy Engineer! Not Modi Supporter !

सुनील सुरेशराव गायकवाड

@SunilS_Gaikwad
ngrislain's profile picture.

Nicolas Grislain

@ngrislain
jiik60038881's profile picture.

jiik

@jiik60038881
tmp_user3's profile picture.

tmp

@tmp_user3
qatar_grips's profile picture. 闯🌐🇵🇸

Daniel Ahmed Ortega 🌐🇵🇸

@qatar_grips
bar32468217's profile picture.

bar32468217

@bar32468217
MarcusLiebenth1's profile picture. A graduate student working on his physical chemistry doctorate at Florida State University, specializing in electronic structure theory

Marcus Liebenthal

@MarcusLiebenth1
athtareq's profile picture. steam/letterboxd: teatx had to lock this 2010s cringemine for the greater good

TareqATH ⵣ

@athtareq
gysie's profile picture. Trying to remotely understand social networking ;-)

Gysie van Niekerk

@gysie
016894Rgeetha's profile picture. हर घर तिरंगा

Geetha Ramanujam

@016894Rgeetha
FalconnOnne's profile picture.

radu

@FalconnOnne
KeroseneSigma's profile picture.

KeroseneSigma

@KeroseneSigma
KelechiEjike5's profile picture. Hey, What's popping

ۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗKelechi Ejike

@KelechiEjike5
MCheng88820's profile picture.

M. Cheng C.

@MCheng88820
nbhv1n's profile picture. PhD @unimelb : Trustworthy and Safe AI🤖👾

N Bahavan

@nbhv1n
CinclusNiveus's profile picture.

Kinklos

@CinclusNiveus
SillyOwl530's profile picture.

SillyOwl

@SillyOwl530
digital_derm's profile picture.

Dr Dermot

@digital_derm

United States Trends

You might like

Something went wrong.


Something went wrong.