Apprentice @monadivalence
Type theory daisuki! Profile picture by @sealily___ Joined February 2023-
Tweets1K
-
Followers213
-
Following274
-
Likes7K
Implemented compile-time call-by-name `inline` functions
0
0
5
170
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 384 Following 愛する人と、運命の時に出会えますように。そして、運命の人とも出会えますように。お会いできるのを楽しみにしています！
haskell illusory0x0 @illusory0x0
0 Followers 11 Following
AnnSonmerfield @K9fj0p52T945R
99 Followers 2K Following
Gabriel @Gabriel55476762
0 Followers 43 Following
AlbertaMoore @5ikAtW5Mo218f
55 Followers 851 Following
iampizza @AilrkY
1 Followers 190 Following
LitFill, the Sanct @razzy_ar
263 Followers 2K Following Haskell is love, haskell is life. there is only one true god
Mio @invalid_not_f
144 Followers 706 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
10K 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 719 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
731 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 702 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
17 Followers 355 Following
Tom @tomstructured
24 Followers 511 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
kei @thelissimus
672 Followers 406 Following Type Theory, Compiler Engineering and Formal Methods 型理論・コンパイラ工学・形式手法
Jelly Terra @jellyterra
195 Followers 305 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
85 Followers 642 Following
ahuoguo @ahuoguo
37 Followers 316 Following
0xxx @0xxxnet
273 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
Canarypwn @nyovelt
282 Followers 704 Following 因被诅咒而永远困在了17岁 / 路边的算命小姐告诉我是INTP / AS147048 魔法阵 / Ingress启萌军 / ShanghaiTech お嬢様学科 / 命中注定要成为全栈工程师 / 泛jk主义拥护者 (即，穿上jk制服的就是jk) /Public @canarypwn
farhad Zare @TheFarhadZare
34 Followers 1K Following Gmail: [email protected] ;A CS & Neuro student with its philosophical and historical consequences.
purefunctor @purefunctor
452 Followers 503 Following
Alejandro Román @AlejandroRomnS5
92 Followers 2K Following
meow464 @meow464_
105 Followers 459 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_
56 Followers 579 Following
David Pratten @davidpratten
59 Followers 260 Following Release Train Engineer (SAFe) / UTS Computer Science PhD Student
TonyFettes @TonyFettes
19 Followers 91 Following
/dev/null @wrongbyte
810 Followers 719 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 702 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
478 Followers 460 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.
kei @thelissimus
672 Followers 406 Following Type Theory, Compiler Engineering and Formal Methods 型理論・コンパイラ工学・形式手法
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
ahuoguo @ahuoguo
37 Followers 316 Following
🦊 GitLab @gitlab
169K Followers 624 Following Build software faster. The DevSecOps Platform enables your entire organization to collaborate around your code.
Mikhail Zarechenskii @MZarechenskiy
779 Followers 59 Following Lead Language Designer for @Kotlin at @JetBrains. Languages, project management & climbing
Kiran 🏳️⚧�... @kirancodes
291 Followers 151 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 503 Following
Utensil @_utensil_
56 Followers 579 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
949 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
233 Followers 354 Following 一応生きてますよ(2019/08) すこし元気になってますよ(2020-) 趣味プログラミング専門エンジニア
Feiran (Alex) Qin @canarypwn
428 Followers 561 Following Aloha | Second year CSC PhD student in software enginnering + systems @ncstate | @ShanghaiTechUni @UofIllinois alumni | @aosc_dev developer
LightQuantum @LightQuantumhah
8K Followers 761 Following CS PhD student @UofT | call-by-name | PLT/FP | zh-CN daily life | 生活推
Tairan He @TairanHe99
6K Followers 800 Following Robotics&AI PhD Student @CMU_Robotics Research Intern at @NVIDIA Prev: @MSFTResearch @sjtu1896 Emboddied AI; Humanoid; Robot Learning
Guanqi He @guanqi_he
198 Followers 234 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
38K 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 350 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
763K Followers 2K Following いい漫画家ってやつは動物に好かれちまうんだ@ruttan627 赤坂アカ×#推しの子 @oshinoko_comic @anime_oshinoko⌇https://t.co/YG0vtGkOgZ
Christine Rizkallah @c_rizkallah
384 Followers 326 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 261 Following Haskell programmer since 2012; GHC contributor since 2018.
Ornela Dardha @OrnelaDardha
393 Followers 151 Following Senior Lecturer (Associate Professor) @GlasgowCS, @UofGlasgow https://t.co/oBZQTCCgH1 https://t.co/Jr1x4Wat0I Mastodon: @[email protected]
BellSoft @bellsoftware
4K Followers 377 Following Delivering #LibericaJDK: supported, @Java standard compatible binaries. Among Top-5 @OpenJDK contributors.
Carthago Delenda Est @cbaberle
24 Followers 55 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
383 Followers 476 Following Weird math/CS person, any/all | private @spocino_clique
OSちゃん@多摩提... @zshangsr
709 Followers 2K Following she/her。Lisp 厨。麻雀初心者。ラブライバ。タウイタウイ→呉、多摩ちゃん大好き。日本語勉強中,j'apprends le français, sto imparando l'italiano, Aš moku Lietuvių kalbos
Brandon Wu @onefiftyman
385 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 955 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Joshua Grosso @JoshuaGrosso
96 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
6.270 posts
1.689 posts
168 B posts
101 B posts
40,4 B posts
1.180 posts
76,9 B posts
9.517 posts
3.760 posts
1.472 posts
4.069 posts
11,2 B posts
280 B posts
3.537 posts
7.965 posts
14,7 B posts
12,5 B posts
1.174 posts
You might like
linearly independent ...
@aris_uu
477 Followers
Uipalent transport
@OwoTizusa
2K Followers
EDJ
@EDKJJKDE
367 Followers
Xu Xue
@juniorxxue
67 Followers
Aaron Eline
@aaroneline
214 Followers
David Young
@roboguy20
502 Followers
Andrea Laretto
@iwilare
209 Followers
Maphen Wildwisky
@M_Wildwhisky
165 Followers
pe200012💮m.online
@pe200012
81 Followers
Molossus Spondee
@MSpondee
163 Followers
molikto
@molikto
105 Followers
Shreck Ye
@ShreckYe
6 Followers
CWhy (J19ζ7)
@chenyuio
65 Followers