Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Nuperrime ab die 8 iulii ad 12 duo eventus notabiles simul acciderunt - colloquium . hiatibus Hydra et schola SPTDC. In hoc poste pluribus notis illustrare vellem, quae in colloquio animadvertimus.

Maxima superbia Hydrae et Scholae oratores sunt.

  • Tres laureati Dijkstra PraemiumLeslie Lamport, Maurice Herlihy and Michael Scott. Mauricius autem bis accepit. Leslie Lampor etiam accepit Turing Award β€” praestantissimum ACM adiudicare in scientia computatrum;
  • Conditor Javae JIT compilator Cliff Click est;
  • Corutin developers - Roman Elizarov (elizarovet Nikita Koval (ndkoval) pro Kotlin et Dmitry Vyukov pro Go;
  • Contributors to Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda et Vladislav Kuznetsov);
  • Et multi alii clarissimi homines: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ exemplar memoriae), Pedro Ramalhete (exspectata gratuita notitia structurae), Alexey Zinoviev (ML), Dmitry Bugaichenko (analysis graphi).

Et hoc iam Schola:

  • Brown University (Maurice Herlihy);
  • Universitas Roffensis (Michael Scott).
  • University of Waterloo.
  • Universitas Nannetensis (Achour Mostefaoui);
  • David Ben-Gurion University of Negev (Danny Hendler);
  • University of California at Los Angeles (Eli Gafni);
  • Institut polytechnique de Paris (Petr Kuznetsov).
  • Microsoft Research (Leslie Lamport);
  • VMware Research (Ittai Abraham).

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Theoria et praxis, scientia et productio

Admoneam te SPTDC Scholam esse parvam eventus pro uno et dimidio centum hominibus, luminaria mundana illuc congredi et loqui de modernis quaestionibus in campo computandi distributo. Hydra in colloquio parallelo computando duos dies distribuit. Hydra plus machinalis focus habet, dum Schola umbilicum magis scientificum habet.

Una e metarum colloquii Hydrae est principia scientifica et machinativa componere. Ex altera parte, hoc fit per electionem relationum in programmatis: una cum Lamport, Herlihy et Scott, multo aptiores sunt relationes ab Alex Petrov, qui Cassandram vel Elizarov Romanum ex JetBrains confert. Ibi est Martinus Kleppman, qui schoia aedificandi et vendendi usus est et nunc CRDT in Universitate Cantabrigiensi studet. Frigidum autem est quod Hydra et SPTDC contineantur iuxta - diversam relationem habent, sed communem locum communicandi.

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

immersio

Quinque dies in schola in ordine valde magnus eventus est et multum inposuit, tam pro participantibus quam auctoribus. Non omnes in novissimis diebus. Fuerunt qui Hydram et Scholam simul irent, et illis novissimi dies evenit ut eveniret. Tota haec fusio inseritur per immersionem incredibili profunda. Hoc non solum soliditati, sed etiam materiae qualitate debetur. Omnes rumores et praelectiones in utroque eventu non proponebantur, ut quocumque perrexeris, statim longe lateque intenderes, et usque ad extremum finem non dimittas.

Nimirum in praeparatione initiali participantis multum pendet. Ridiculum momentum fuit cum duo coetus hominum in ANDRON independenter de relatione Heidi Howard disputaverunt: aliis omnino ordinaria videbatur, alii e contra penitus de vita cogitaverunt. Multum interest quod secundum participes commissionum programmatis (qui anonymous manere volebant), Hydrae renuntiationes et scholae praelectiones in earum eventibus overqualified possunt. Exempli gratia, si PHP junior venerit ad colloquium PHP ad vitam discendam, parum temerarium est assumere se altam cognitionem de internis Zend Engine habere. Hic oratores non cochleari iuniores alant, sed statim certum gradum cognitionis ac intellectus importavit. Bene quidem, de plano participantium, qui systemata distributa agunt et nucleos runtime scribunt altissimi, hoc est logicum. Iudicans per reactionem participantium, facile erat eligere relationem in gradu et argumento fundatam.

Si de certis rumoribus loquimur, omnia suo modo bona erant. Iudicans ex iis quae homines dicunt et quid ex forma feedback videri potest, una ex frigidissimis relationibus apud Scholam erat "Nonblocking notitia structurae" Michael Scott, omnes seorsum divisit, abnormes circiter 4.9.

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Metaconference

Multo ante initium Hydrae et Scholae Ruslan ARG89 posito quodam genere "meta-conferentiae" - colloquii colloquiorum esse, ubi omnes summi participes aliorum eventuum ipso facto quasi in foveam nigram sugerentur. Atque ita factum est! Exempli causa, inter discipulos Scholae animadvertebatur Ruslan Cheremin de DeutscheBank, artifex in multitreading notissimus.

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Et hydrae membra notata sunt Vadim Tsesko (incubus) et Andreas Pangin (apangin) ex comitatu Odnoklassniki. Eodem tempore Vadim etiam nos adiuvit duos praeclaros colloquia cum Martino Kleppman. unus pro Habrac alterum visorum iaci). Socii fuerunt DotNext Program Committeeclarissimi oratores Anatoly Kulakov et Igor Labutin. Iavisti erant Dmitry Alexandrov ΠΈ Vladimirus Ivanov. Solet hos homines in locis omnino diversis - dotnetists in DotNext, javaistos in Joker, et sic porro. Itaque iuxta hydrae rumores sedent et de bubalinis problemata simul tractant. Cum haec divisio artificiosa leviter per programmationem linguarum et technologiarum evanescit, lineamenta subiecti area emergunt: dynamici cursorii speciales communicant cum aliis runtimariis, computatis investigatoribus theoriam computantes cum aliis inquisitoribus, machinarum machinarum datorum frequentant whiteboard, etc. .

In fama C ++ ad exemplar memoriae tincidunt OpenJDK sedebant in ordine anteriori (certe ea visu scio, sed non Pythonistae, forte etiam ibi erant Pythonistae). Revera, est aliquid tam Shipilevsky in hac relatione... Ori non prorsus idem narrat, sed accurata aspectus parallelas deprehendere potest. Etiam postquam omnia quae in novissima C++ signis evenerunt, problemata quae ex aere tenuia adhuc non erant fixa sunt, et sic possis ire ad talem relationem et audi quomodo homines "ex altera parte valli" sint. has difficultates figere conatur, As they reason, one could be impress by the accessus ad solutionem inventam (Ori has one of the fix options).

Multum participes erant programmatis et machinarum communitatis. Omnes quaestiones suas, pontes aedificati et nexus quaesiti solvebant. Hoc ubicumque potui, et exempli causa cum Alexandro Borgardt assentiebamus Moscoviae C++ User Group simul scribe plenitudinem articuli de histrionibus et asynchronis in C++.

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

In photo: Leonid Talalaev (ltalal, left) et Oleg Anastasyev (m0nstermind, ius), tincidunt ducens ad Odnoklassniki

Ignis disceptatio zonis et buffs

In colloquiis semper participes sunt qui rem sciunt ac oratores (et interdum etiam oratores meliores β€” exempli gratia, cum nucleus alicuius technologiae inter participes est elit). Hydrae tam peritissimi participes fuerunt multum. Exempli gratia, in aliquo loco circa Alex Petrov narrando de Cassandraita multi formaverunt ut cuivis respondere non posset. Aliquando Alex ad latus leniter impulit et discerpi quaestionibus coepit, sed vexillum cadens sublata est a elit in gyris nota Rust. Tyler Neely et onere libravit perfecte. Cum auxilium rogati Tylerus cum colloquio interretiali, omnia quaesivit "Quando incipimus?"

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Aliquando etiam spiritus disputationis in relationibus erupit: Nikita Koval subitum Q&A sessionem constituto, relationem in plures partes dividens.

Et vice versa, on BOF pro multi- plicando recordati sunt de memoria non-volatili, ad hoc ductae sunt bof. Petrus Ramalhete ut summus artifex, omnia omnibus exposuit (denique, non volatilis memoria in proximo minatur nobis). Unus exercitus huius bof in via erat Vladimirus Sitnikov, qui in programmatis coetuum quorundam amentium colloquiorum numero inservit... quinque ad tempus nunc videtur. Proximo bubalino de "Modern CS in mundo reali" etiam NVM disputaverunt et ad id omnino de se venerunt.

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Super-perspectio communicare possum ne ea etiam quae in historia directe implicantur non animadverterit. Heli Gafni vesperi primae scholae diem faciebat, et postero die mansit et Lamport vagari coepit, et ab extra visum est hunc ludum esse et Eli insufficiens esse. Hoc esse genus aliquod troglodytae qui proficiscuntur ad eximendum Leslie cerebrum. Revera, ita est quod sunt fere amici optimi, multos annos amici fuerunt, et hoc est tam amicabiliter ioculariter. Hoc est, iocus laboravit - cecidit omnis populus in circuitu eius, accepit faciem pretii.

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Seorsim notare velim quantum amor et labor in hoc oratores ponunt. Aliquis in area disputationis stetit usque ad ultimum minute, fere per horas. Intermissum diu ante, fama orsus, finitus, proximus confractus incepit - and Dmitry Vyukov semper ad interrogata respondere. Fabula iucunda mihi evenit etiam - Cliff strepita admiratione accepto, non solum claram et rationabilem explicationem suscepi illius provocativae disputationis de tentationum inopia. quaedam res in H2O *sed etiam plenam recognitionem obtinuit nova lingua AA. Numquam hoc quaesivi: Modo quaesivi quid legere potes de AA (contigit audire potes podcast) et loco Cliff media hora de lingua loquens et inspiciendo ea quae diceret recte intelligeretur. ADMIRANDA. A habrapost fere AA scribere necesse est. Alia experientia insolita spectabat processum retractationis trahere in Kotlin. Vere est sensus magicus, cum in diversos coetus, diversos oratores inceditis, et in totum novum mundum mergitur. Hoc est aliquid in plano "Ibi, Illic" by Radiohead.

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

anglicus

Hydra MMXIX primum colloquium est ubi principalis lingua Latina est. Quae res et utilitates et provocationes affert. Utilitas evidens est quod homines non solum ad colloquium ex Russia veniunt, ita inter participes fabrum ex Europa et ex Anglia scientias convenire potes. Oratores suos discipulos afferunt. In universum, oratores magni momenti, multo maiorem habent causam ad conloquium eundum. Finge te oratorem esse in colloquio omnino russico-lingua: tuam famam, disputationem defendisti, et quid deinde? Circuite civitatem et videte Tornacense maculis? Re quidem vera populares oratores satis iam viderunt omnia in mundo, leones et pontes videre nolunt, perforati sunt. Si omnes relationes Anglice sunt, colloquio participare possunt in generali fundamento, ludibrium habere, disceptationes iungere et cetera. Aer satis benevolus est ad oratores.

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Perspicuum incommodum est quod non omnes communicantes Anglice sunt commodiores. Multi bene intelligunt, sed male loquuntur. In communi, ordinaria, quae diversimode solvuntur. Exempli causa, nonnullae areas disputationis Russice inceperunt, sed statim in English conversas cum primus particeps Anglice loquendi apparuit.

Inclusiones aperiendi et claudendi me facere debebant exclusiones Anglice evulgati et communicare in duobus colloquiis cum peritis. Et haec fuit mihi vera provocatio, quae mox non delebitur. In aliquo puncto Oleg Anastasyev (m0nstermind) simpliciter dixit me manere cum illis in colloquio sedere, et segnius eram ad intelligendum quid id significaret.

Contra, valde iucundum erat quod homines de rumoribus crepitu interrogabant. Non solum oratores indigenae, sed omnes generaliter bene operati sunt. In aliis colloquiis, saepe cernitur homines onerosos esse interrogare ab auditorio in fractis Anglis, et solum aliquid exprimi posse in area disputationis. Omnino hoc diversum est. Relativo loquendo, quidam Cliff Click suas relationes paulo ante complevit, et postea continua serie quaesita secuta est, colloquio movit in zonam discussionem - sine intermissione vel interpellatione inconcinne. Eadem ratio est de sessione Leslie Lamport's Q&A, praesens praesens fere quaestiones suas interrogare non debuit, participes cum omnibus accesserunt.

Minima omnia fuerunt, quae pauci homines notant, sed exsistunt. Ob id quod Anglice colloquium est, ratio earum rerum in foliolis et mappis levior est et brevius. Non opus est linguas duplicare et consilium clutter.

Sponsores et exhibitionem

Patrini nostri multum nos adiuverunt in colloquio creando. Eis gratias, semper aliquid facere in mae fuit.

Ad sto Deutsche Bank TechCenter Curabitur cum fabrum multi- stadiorum systemata, solve problemata de capite tuo, memorabilia praemia ac modo tempus bonum habere.

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Ad sto Forma loqui potuimus de propriis systematibus, fonte tam aperto et aperto: datorum memoriae distributo, trunco ​​binario distributo, systemate microservicio orchestrationis, onerario universali pro telemetria, et sic porro. Et sane, sollicitat et certationes, stickers cum fele binario et dolore mediante, dona sicut liber Martini Kleppmann et figuras lego.

Nota quaeso quod problematum Kontur analysi iam est editum in Habre. Bona analysis, vultu digna.

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Qui omnes libros emere volebant, eosque cum collegis disserere. Congregata est multitudo ad autographum session!

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

results

Hydra Conferentia et Schola SPTDC eventus magni momenti sunt nobis ut societas ordinanda et pro tota communitate. Haec facultas inspiciendi futura nostra est, unumquem rationis compagem evolvere ad hodiernas quaestiones tractandas, et propius inspiciendum ad directiones iucundas. Multiplicatio circa diutissime versata est, sed totum decennium post primum processum vere multi-corei apparuit propter phaenomenon ut divulgatum est. Quod in nuntiis hac septimana audivimus, non est nuntius fugitivus, sed via ad lucida futuri quod in annis futuris sequemur. Non erunt praedones proximae Hydrae in hac statione, sed sperare potes optimum. Si in huiusmodi exitibus es interested, fortasse alios eventus nostros reprehendo, sicut colloquium Hardcore loquitur scurra 2019 aut DotNext MMXIX Moscoviae. Vide tu in colloquiis proximis!

Tres Dijkstra victores Praemium: quomodo Hydra MMXIX et SPTDC MMXIX abiit?

Source: www.habr.com