Apprentice @monadivalence
Type theory daisuki! Profile picture by @sealily___ Joined February 2023-
Tweets1K
-
Followers215
-
Following274
-
Likes7K
Implemented compile-time call-by-name `inline` functions
0
0
5
164
0
Download Image
Apprentice retweeted
I am proud today to join the editorial board of a new diamond open access journal in logic: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik zml.international The website includes an open letter from the editorial board with the following text:
Based
Protect Jonathan Blow
Apprentice retweeted
I feel sorry for Jonathan Blow at this point.
Exactly
Opam has successfully avoided running a command given by their website
Having said all that, I would still rather write Rocq rather than having to write JavaScript.
Coq is like JavaScript. The error messages are meaningless, sometimes misleading, but never useful. The type system is not so much stronger than JavaScript. Taking the second projection of an equality between two sigma terms is SO HARD
Ievipie @Ievipie82109
4 Followers 328 Following 愛する人と、運命の時に出会えますように。そして、運命の人とも出会えますように。お会いできるのを楽しみにしています！
haskell illusory0x0 @illusory0x0
0 Followers 11 Following
AnnSonmerfield @K9fj0p52T945R
97 Followers 2K Following
Gabriel @Gabriel55476762
0 Followers 43 Following
AlbertaMoore @5ikAtW5Mo218f
51 Followers 854 Following
@Begriffsgrift @Begriffsgrift
2K Followers 4K Following temporarily embarrassed computational semanticist, self-explicitating jew
iampizza @AilrkY
1 Followers 188 Following
LitFill, the Sanct @razzy_ar
262 Followers 2K Following Haskell is love, haskell is life. simple english because am might be stubid.
Mio @invalid_not_f
146 Followers 708 Following she/her I leave these tweets, I do not know for whom, I no longer know what they are about.
茗洛 @MingLLuo
5 Followers 71 Following
Lúcás Meier @cronokirby
9K Followers 1K Following Cryptographer at @penumbrazone. My opinions do not yadda yadda. Did an MSc (Computer Science) @EPFL. Avid, not fast runner. https://t.co/yOuGtLnGMF on bsky.
/dev/null @wrongbyte
810 Followers 720 Following Trying to code and failing miserably since 2021. I love books, mathematics and a bit of chaos. I also write (bad) Rust 🦀
Jade Gu (工业聚) @guyingjie129
729 Followers 1K Following Author of koka-ts, remesh-js, farrow-js, react-lite and react-imvc. coder and writer.
One Happy Fellow @onehappyfellow
2K Followers 686 Following calmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics
Héctor Blanco Garcí... @HctorBlancoGar6
16 Followers 355 Following
Tom @tomstructured
23 Followers 505 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
kei @thelissimus
663 Followers 336 Following type theory & compiler engineering & formal methods ⊢ Haskell & Agda & Lean
Jelly Terra @jellyterra
196 Followers 302 Following EN CN | EECS/Arch/RISCV CAD PL Anime Otaku | 锁推者屏蔽
oeiuwq (slowed + reve... @oeiuwq
2K Followers 2K Following SDA/ser feliz es mi color de identidad/ by contemplating we are transformed/ navego en el mar de las cosas exactas/ FP hkr LARPing as sysadmin❄️
Anton Kovsharov @antonkovsharov
83 Followers 636 Following
ahuoguo @ahuoguo
37 Followers 311 Following
0xxx @0xxxnet
258 Followers 3K Following Design Tech Fun. https://t.co/A8jisDoAT3. @p2psec @DevSecFinMLOps @OSINT.xyz MSR, Empirical Software Engineering, MDE, GoldenPath, Coherence Dynamics, C-Level Advisory
Renzo @renzocarbonara
2K Followers 4K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
Canarypwn @nyovelt
280 Followers 700 Following 因被诅咒而永远困在了17岁 / 路边的算命小姐告诉我是INTP / AS147048 魔法阵 / Ingress启萌军 / ShanghaiTech お嬢様学科 / 命中注定要成为全栈工程师 / 泛jk主义拥护者 (即，穿上jk制服的就是jk) /Public @canarypwn
farhad Zare @TheFarhadZare
36 Followers 1K Following Gmail: [email protected] ;A CS & Neuro student with its philosophical and historical consequences.
purefunctor @purefunctor
452 Followers 501 Following
Alejandro Román @AlejandroRomnS5
91 Followers 2K Following
meow464 @meow464_
109 Followers 460 Following Cats, technology, rockets, economics and the hope of a better future for everyone.
Madhukar YR🕸️ @Mycroft_Homeles
137 Followers 724 Following Professional amateur. CAD Engineer, PhD student. Junk foodie and a movie buff. Yet another Jack of all trades, master of none. He/him.
Utensil @_utensil_
57 Followers 581 Following
/dev/null @wrongbyte
810 Followers 720 Following Trying to code and failing miserably since 2021. I love books, mathematics and a bit of chaos. I also write (bad) Rust 🦀
One Happy Fellow @onehappyfellow
2K Followers 686 Following calmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics
Liam Goodacre @goodacre_liam
477 Followers 458 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.
kei @thelissimus
663 Followers 336 Following type theory & compiler engineering & formal methods ⊢ Haskell & Agda & Lean
Roman Elizarov @relizarov
19K Followers 911 Following Software infrastructure & libs, language design, sports programming/ICPC, concurrency & algorithms, math & quantitative finance. ex-project lead for @Kotlin
ahuoguo @ahuoguo
37 Followers 311 Following
🦊 GitLab @gitlab
168K Followers 624 Following Build software faster. The DevSecOps Platform enables your entire organization to collaborate around your code.
Mikhail Zarechenskii @MZarechenskiy
780 Followers 58 Following Lead Language Designer for @Kotlin at @JetBrains. Languages, project management & climbing
Kiran 🏳️⚧�... @kirancodes
284 Followers 146 Following Trans gal 🏳️⚧️, Pronouns: (She/Her) Postdoc I work in Programming Languages research, on formal verification. British South Asian diaspora~
zack (in SF) @zack_overflow
26K Followers 2K Following 24 eng @bunjavascript i like systems programming, chief uncle @nautilusquest house
Tagir Valeev @tagir_valeev
22K Followers 137 Following Work at @JetBrains. Develop @Java support in @IntelliJIDEA. Java Champion. Mostly social content in Russian here. Моя детская книга: https://t.co/PFZV8RpJA8
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming, dependent types. lean4 newbie. love thinking about type systems. jewish. not a p-zombie i promise.
purefunctor @purefunctor
452 Followers 501 Following
Utensil @_utensil_
57 Followers 581 Following
CMU School of Compute... @SCSatCMU
48K Followers 765 Following The School of Computer Science at @carnegiemellon is one of the world's premier institutions for computer science research and education.
writerside @onwriterside
953 Followers 26 Following Tools for documentarians & writers by @JetBrains. Write, test, build, and publish user guides, SDK docs, tutorials, how-toes, API references, and more.
Koji Miyazato @viercc
237 Followers 354 Following 一応生きてますよ(2019/08) すこし元気になってますよ(2020-) 趣味プログラミング専門エンジニア
Feiran (Alex) Qin @canarypwn
424 Followers 556 Following Aloha | Second year CSC PhD student in software enginnering + systems @ncstate | @ShanghaiTechUni @UofIllinois alumni | @aosc_dev developer
LightQuantum @LightQuantumhah
8K Followers 762 Following CS PhD student @UofT | call-by-name | PLT/FP | zh-CN daily life | 生活推
Tairan He @TairanHe99
5K Followers 767 Following Robotics&AI PhD Student @CMU_Robotics Research Intern at @NVIDIA Prev: @MSFTResearch @sjtu1896 Emboddied AI; Humanoid; Robot Learning
Guanqi He @guanqi_he
190 Followers 230 Following Amazon FAR Intern | Master student at CMU @LeCARLab, @AirLabCMU | control and robotics
Typst @typstapp
4K Followers 125 Following This profile is archived. Follow Typst on Bluesky (@typst.app), Mastodon (@[email protected]), and LinkedIn instead. We'd be excited to see you there!
Keenan Crane @keenanisalive
37K Followers 485 Following Digital Geometer, Assoc. Prof. of Computer Science & Robotics @CarnegieMellon @SCSatCMU and member of the @GeomCollective. There are four lights.
Sun Haven 🐮 @SunHavenRPG
41K Followers 351 Following Multiplayer Farm-Sim/Fantasy RPG A human town, monster city & elven village filled with farming, magic & dragons. AVAILABLE NOW ON STEAM: https://t.co/QvCKfUJGrJ
横槍メンゴ�... @Yorimen
764K Followers 2K Following いい漫画家ってやつは動物に好かれちまうんだ@ruttan627 赤坂アカ×#推しの子 @oshinoko_comic @anime_oshinoko⌇https://t.co/YG0vtGkOgZ
Christine Rizkallah @c_rizkallah
376 Followers 329 Following Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).
Vladislav Zavialov @int_index
2K Followers 259 Following Haskell programmer since 2012; GHC contributor since 2018.
Ornela Dardha @OrnelaDardha
396 Followers 151 Following Senior Lecturer (Associate Professor) @GlasgowCS, @UofGlasgow https://t.co/oBZQTCCgH1 https://t.co/Jr1x4Wat0I Mastodon: @[email protected]
BellSoft @bellsoftware
4K Followers 378 Following Delivering #LibericaJDK: supported, @Java standard compatible binaries. Among Top-5 @OpenJDK contributors.
Carthago Delenda Est @cbaberle
24 Followers 56 Following Hell hath no limits, nor is circumscribed in one self-place. For where we are is hell, and where hell is, there must we ever be.
sam pocino is online @sampocino
385 Followers 467 Following Weird math/CS person, any/all | private @spocino_clique
OSちゃん@多摩提... @zshangsr
710 Followers 2K Following she/her。Lisp 厨。麻雀初心者。ラブライバ。タウイタウイ→呉、多摩ちゃん大好き。日本語勉強中,j'apprends le français, sto imparando l'italiano, Aš moku Lietuvių kalbos
Colin Barrett (NEET a... @cbarrett
5K Followers 4K Following Unemployed tech worker. Ex @Apple @Mozilla et al. 🏳️🌈 (any/all)
Brandon Wu @onefiftyman
386 Followers 113 Following I like programming languages and musical theatre. On a mission to teach the world about functional programming. Program Analysis Engineer at @semgrep.
joomy @joomy
2K Followers 956 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Joshua Grosso (/'gɹ�... @JoshuaGrosso
95 Followers 197 Following (Not the Broadway singer.) Christian, FP/PL/FM enthusiast, friendly neighborhood nerd. Second-year Ph.D. student @CSDatCMU (CS B.S. ‘23 @Caltech). @AxelLanguage
Bruno Oliveira @bcdsoliveira
251 Followers 118 FollowingTrends for United States
24,4 B posts
83,3 B posts
83,3 B posts
57,9 B posts
72,7 B posts
8.803 posts
10,1 B posts
13,9 B posts
3.322 posts
2.741 posts
64,5 B posts
4.263 posts
2.304 posts
8.636 posts
23,6 B posts
1.385 posts
18,8 B posts
1.645 posts
1.976 posts
You might like
linearly independent ...
@aris_uu
478 Followers
Uipalent transport
@OwoTizusa
2K Followers
EDJ
@EDKJJKDE
365 Followers
Xu Xue
@juniorxxue
67 Followers
Aaron Eline
@aaroneline
219 Followers
David Young
@roboguy20
503 Followers
Andrea Laretto
@iwilare
211 Followers
Maphen Wildwisky
@M_Wildwhisky
165 Followers
pe200012💮m.online
@pe200012
79 Followers
Molossus Spondee
@MSpondee
154 Followers
molikto
@molikto
103 Followers
CWhy (J19ζ7)
@chenyuio
66 Followers