Yuri Kizhaev @_yurlin_
Парень со свирелью. Я и есть подкрепление. Joined September 2011-
Tweets1K
-
Followers81
-
Following370
-
Likes4K
Our paper is officially published! dl.acm.org/doi/10.1145/35… This is a library-only technique (no compiler modifications required) for fusion across operations like map, zip, scan, flatten, filter, reduce, etc., significantly reducing the number of intermediate writes to memory.
New preprint from the lab: "A language of thought for the mental representation of geometric shapes" by Mathias Sablé-Meyer @MSableMeyer, with Kevin Ellis, Josh Tenenbaum and myself. Find it here: psyarxiv.com/28mg4
CONTACT CONFIRMED of the #Nauka Multipurpose Laboratory Module with the nadir port of the Zvezda Service Module of the International @Space_Station. The latching process begins now…
Per Martin-Löf: How did 'judgement' come to be a term of logic ? youtu.be/FGUzgcLXNuk #logic #judgement
Today on the blog I’ve started a new mini-series called “Language, Statistics, & Category Theory” to describe some ideas my collaborators and I share in a recent paper on mathematical structure in language. Part 1 is now live! math3ma.com/blog/language-…
Wow, amazing – best illusion I've seen for a while. 😮
Запечатлел сумеречный автозаводский трамвай после ливня. Обожаю эти зеленые коридоры на заднем плане, надо бы там серию поснимать.
I often get a question: When will the Kotlin programming language get support for macros? The answer has always been the same and it is very simple: never. But why? 🧵/1
Впечатляющий своим масштабом разлив реки Оки под Рязанью заставил вырваться на денёк из рутины рабочей недели и направиться в окрестности самого красивого недостроя страны - Рыбацкой деревни. instagram.com/p/CNrzWx6jnbe/…
I'm a big fan of Tom Leinster's expository writings and just learned he's written 100+ pages of notes on Galois Theory for undergrads—lovely! maths.ed.ac.uk/~tl/gt/gt.pdf
Зaпускаем колесо открытых школ в health samurai. Начнём с postrgesql (потом emacs, clojure, k8s) t.me/samurai_haiku/…
Пора запилить тред по международному морскому судоходству. Торговые войны, санкции, наркотики, контрабанда, пиратство, каким импортом и экспортом живёт российская экономика кроме углеродов и многое другое. 1 лайк = 1 факт.
I don't know who needs to hear this but year "n" is a leap year iff gcd(80, n) > gcd(50, n)
If you’re into SAT and related paradigms, @SimonsInstitute recently uploaded a lot of interesting talks on Youtube. Here are a few that I watched and liked so far:
The prime factorization of 13532385396179 is stunning.
It deservers more than a retweet. In fact, Lincheck testing framework is a game-changer in design and implementation of low-level concurrent algorithms. We had to implement a lot of them for an efficient, Kotlin Coroutines runtime. We used Lincheck extensively.
It deservers more than a retweet. In fact, Lincheck testing framework is a game-changer in design and implementation of low-level concurrent algorithms. We had to implement a lot of them for an efficient, Kotlin Coroutines runtime. We used Lincheck extensively.
🤯 Testing concurrency can be extremely challenging. That's why we have Lincheck – a special framework for testing concurrent algorithms on JVM. Today we'll tell you how to use it, how it works, and present the recently added model checking mode 👇 blog.jetbrains.com/kotlin/2021/02…
Shoasas @Shoasas279961
6 Followers 855 Following Follow me, maybe it's the beginning of our fate, we can talk
Бельэтаж и �... @backstageshouts
28 Followers 177 Following Альтер эго работника культуры. belétage, демонтаж, шутки про Шекспира.
gf0ur @gf0ur
118 Followers 279 Following Compilers, dataflow, Haskell, program analysis/optimization.
Киберагрок�... @kuskus554
447 Followers 393 Following
Ramiro Hum-Sah @RamiroHumSah
575 Followers 945 Following Science enthusiast, mostly interested in string theory and black hole physics.
Abah @Abah700
2 Followers 46 Following
Ситора @8FRFMSXe3A5P3SK
4 Followers 48 Following
Anton Trunov @falsenov
745 Followers 591 Following Compiler and formal methods engineer (Coq, TLA+, Rust, OCaml); now building @tact_language, previously @swaylang, @zilliqa and @IMDEA_Software
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Alexander Granin @graninas
8K Followers 868 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
unmanbearpig @_unmanbearpig
7 Followers 120 Following
умер @romantovsky
40 Followers 1K Following
Tony Moor @toontone747
869 Followers 2K Following Englishman traveling between England, Cote d'Azur and Seattle. #IOACTIVE Chip hacking/Security/Failure Analysis. Golf and Tennis🎾🔬⛳
Kat Vylomova (कत�... @ivrik
1K Followers 1K Following Lecturer @cis_unimelb SIGTYP @sig_typ SIGMORPHON Math for kids;languages;C;awk/sed/xargs/egrep; G-D-Em-C G-D-C-G Dr 🐱 Mum of Mark & Lea Голубой саксонский лес
Alex Turkin @snowwlex
29 Followers 247 Following
+ @fnctor
9 Followers 102 Following
Tobias Grosser @Tobias_Grosser
2K Followers 4K Following Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design. https://t.co/Oq28Vv4UP8
Михал Михал... @MuxaL_MuxaLbl4
28 Followers 19 Following Записки учителя. Говорю обо всем и ни о чем
cyberm @cybermechatron
14 Followers 3K Following
Ilan Godik @IlanGodik
357 Followers 501 Following Deep in Functional Programming and learning about Type Theory. Also interested in AI.
Покемон Ант... @karbonio
552 Followers 762 Following Где мемы, брат? #анимемы: https://t.co/YgCmyO4IGe
Carlos Daniel Gronda @GrondaCarlos
24 Followers 602 Following chess player. loving cooking. dreamer of dreamer. friend & lover.....
Nick @bvtwtt
0 Followers 66 Following
Himalayan Guiding Tre... @DanurbuSherpa
765 Followers 3K Following Organizing Treks,Expedition,Peak Climbing in Nepal & Tibet for more info please visit our official website. Your Safety is our main Concern✈🌄📷
Nikaluzhina @nikaluzhina
3 Followers 74 Following
Eliza @elizavetasaura
16 Followers 79 Following
Linear Search @Linear_Search
791 Followers 559 Following Linear Search is a boutique technology recruitment consultancy founded in 2015, dedicated to providing high quality service for the IT professional sector.
Ronin @__ronin__
129 Followers 1K Following
fprog spb @fprog_spb
209 Followers 56 Following
Музеи в Рос�... @museumru
17K Followers 17K Following Самые интересные события из жизни музеев России. Выставки, афиша, часы работы и карта проезда, стоимость билетов и многое другое
Ilshad Khabibullin @astoon
384 Followers 263 Following
Александр Ф... @fomenko_nvk
4 Followers 52 Following
alexdruzhilov @alexdruzhilov
23 Followers 124 Following
e.orlova @e_orlovaa
12 Followers 76 Following
javinpaul @javinpaul
104K Followers 7K Following Blogger - https://t.co/Cxgp9zzN3y Creator - https://t.co/GYls4Lx9DW newsletter - https://t.co/P8jiQ5GW16 youtube - https://t.co/vs4WjwaEQ6
Andrew Gallimore @alieninsect
37K Followers 756 Following Tokyo. 作家. Neurobiologist, pharmacologist, writer on psychedelics, especially DMT. "Death by Astonishment", OUT NOW: https://t.co/F25GjiDSxu
Д///ИХАД @tvjihad_banned
406 Followers 1 Following @tvjihad заблокирован врагами Ислама и мусульман. Подписывайтесь на Telegram-канал по ссылке ниже.
Stanislas Dehaene @st... @StanDehaene
34K Followers 400 Following Chercheur en neurosciences cognitives
Parker Singleton @singletonion
2K Followers 1K Following dad - senior scientist at https://t.co/yahvMgGrLa - psychedelics and other fun stuff - aspiring urban homesteader - https://t.co/CaARmkGGQn
χle Ormsby @MotivicKyle
2K Followers 730 Following Numbers and shapes at Reed College; visiting UW. Mathematician, parent, spouse, runner, 𝔣𝔯𝔞𝔨𝔱𝔲𝔯 enthusiast. He or they. @[email protected]
Artem Chernikov @archernikov
4K Followers 1K Following Michael Brin professor of mathematics at @UofMaryland. Mathematical logic, model theory -and connections to combinatorics, algebra, etc.
Ramiro Hum-Sah @RamiroHumSah
575 Followers 945 Following Science enthusiast, mostly interested in string theory and black hole physics.
Савва Федос... @savva_fedoseev_
2K Followers 276 Following Русский политик из Петербурга, снабженец ВС РФ, член Общества.Будущее , менеджер Листвы, организатор Русской Юрслужбы, руководитель цеха Народная Аптечка СПб
jLove - JVM festival,... @jloveconf
902 Followers 99 Following #jloveconf https://t.co/ujxbyL7tNK Partnership [email protected] To get an awesome avatar - be a speaker or a volunteer DM us
русский имп... @Zhitnipalzhi
22K Followers 378 Following Частная кожевенная мануфактура. Изделия ручной работы из натуральной кожи https://t.co/lkI3L6GRMf
manvir singh @mnvrsngh
14K Followers 391 Following anthropology prof @ucdavis. phd @harvard. contributing writer @newyorker. author of SHAMANISM @aaknopf @penguinrandom. also at https://t.co/Ve9Dw1mnzx 🧞♂️
Roman Elizarov @relizarov
19K Followers 914 Following Software infrastructure & libs, language design, sports programming/ICPC, concurrency & algorithms, math & quantitative finance. ex-project lead for @Kotlin
Альпинистк�... @morgon_god
3K Followers 243 Following горы, кошка Флиска. телеграм со всяким там моим https://t.co/2LLjgkEEV7
Jenya Varonina @JenyaVaronina
14K Followers 74 Following
Nathaniel Virgo @NathanielVirgo
2K Followers 552 Following Researcher in applied category theory, at Hertfordshire University, UK. Maths and occasional random creative projects.
Nariman Namazov @abunyasha
19K Followers 542 Following coolest monkey in the jungle, https://t.co/EuMfUZGSCl, SLUT COMMANDOR, канал в телеграме https://t.co/rywB9WxRmK, https://t.co/2DQinxTzPw - с рецептами
Katia Ameri @KatiaAmeri
14K Followers 1K Following Partner @a16z, founded @techweek_ | Previously @Stanford @PearVC
The Rocq Prover @CoqLang
2K Followers 55 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
Ghent Mystic Lamb @GhentLamb
1K Followers 0 Following I AM looking at you and I AM judging you——Pronouns: I-Thou ——I follow no one
Принцесса м... @polinaawolf
1K Followers 78 Following А вообще, честно говоря, я уже никому не верю и ничего не жду.
Anton Trunov @falsenov
745 Followers 591 Following Compiler and formal methods engineer (Coq, TLA+, Rust, OCaml); now building @tact_language, previously @swaylang, @zilliqa and @IMDEA_Software
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
ловец багов @prof_ilya
424 Followers 320 Following
Elvis Zap @Paz_Sivle
271 Followers 400 Following A legend in my own mind. Drawing pictures and calling it math since 1980.
David Corfield @DavidCorfield8
2K Followers 298 Following Philosopher. Published with 'Modal Homotopy Type Theory' (OUP, 2020). Published with D. Leader 'Why do people get ill?' (Penguin, 2007).
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Roman Kennke 🗽 @rkennke
3K Followers 900 Following Java Champion, OpenJDK, Amazon Web Services, Finances, Fitness
AI Memes for Artifici... @ai_memes
19K Followers 21 Following Democratizing AI, one meme at the time! OC unless specified otherwise. Ran by @Aleksa_C_
Иван Углянс... @dbg_nsk
3K Followers 552 Following JVM engineer. Work for Excelsior @ Huawei on JVMs, compilers and new programming languages. Opinions are my own. @jugnsk leader and @snowone_conf PC member.
Raúl Raja @raulraja
5K Followers 2K Following Interested in AI, Functional Programming & Formal verification. CTO @AIPredictable
Ulrik Buchholtz @UlrikBuchholtz
424 Followers 204 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
Ionut Balosin @ionutbalosin
5K Followers 170 Following 👨💻 Principal IT Architect • 🎓 Technical Trainer • 🏆 Java Champion • ♠️ Oracle ACE Associate • 🔑 Security Champion • 🎤 Speaker • ✍️ Blogger
CompCogSci @CCS_donders
1K Followers 329 Following The Computational Cognitive Science (CCS) group at @DondersInst, Radboud University.
Alexander Granin @graninas
8K Followers 868 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
Mariia Mykhailova @tcNickolas
845 Followers 48 Following Software engineer @PsiQuantum. Author of Quantum Programming In Depth with Q# and Qiskit https://t.co/vbzYNm8AnY, Q# Pocket Guide https://t.co/rPCHZG5TLP
DuneInfo @DuneInfo
30K Followers 101 Following Dune: Herbert, Villeneuve, Lynch, Jodorowsky and more. As an Amazon Associate I earn from qualifying purchases.
Raquel Fernández @raquel_dmg
2K Followers 171 Following Professor at the ILLC in Amsterdam, head of the Dialogue Modelling Group, research on linguistic interaction, visual grounding & semantics/pragmatics
Margarita🕊 @kurumar_
371 Followers 256 Following
𝐑. Å𝐥í | Secr... @SecretsOfDune
34K Followers 270 Following Mahdis, Messiahs, Superheroes, Cinema. Exploring themes in Sci-Fi, Fantasy & popular culture. Banner by Marc Simonetti.
Dank Dune Memes @DankDuneMemes
41K Followers 16 Following Try looking into that place where you dare not look. You'll find me there, staring out at you.
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.
Dylan Burnette @MAG2ART
33K Followers 1K Following Cell biologist studying how a heart grows and dies; also Blebbisomes. Associate Professor at Vanderbilt. Married to @gillianhoo.
Katya Kamlovskaya @kamlovskaya
396 Followers 35 Following Responsible AI consultant, data scientist, linguist
Bruce Eckel @BruceEckel
10K Followers 115 Following Author of Thinking in Java, Thinking in C++, Atomic Kotlin, On Java 8, Atomic Scala and others. Co-podcaster of https://t.co/54wcN0PlDE
unmanbearpig @_unmanbearpig
7 Followers 120 Following
Federico Tomassetti -... @ftomasse
3K Followers 1K Following Software Architect and Founder of @strumenta, a consulting studio specialized in Language Engineering. We build DSLs, parsers, editors, languages, compilersTrends for United States
You might like
