λukas @_riegerlukas

interested in functional programming and formal verification. Munich, DE Joined January 2021

Tweets

0
Followers

4
Following

325
Likes

13K

No recent Tweets. New Tweets will appear here.

Uhoda @Uhoda464

11 Followers 627 Following

🧷🧷 @Rhoduik3933

62 Followers 1K Following Gods determine what you're going to be。

⊙ functional programming, dependent types. lean4 newbie. love thinking about type systems. jewish. not a p-zombie i promise.

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.

Flavio Brasil @fbrasisil

3K Followers 3K Following Principal eng @Nubank + working on https://t.co/1d2vug8xx7 he/him

Culture @notgwendalupe

549K Followers 997 Following follow me for pop culture anniversaries, photoshoots, sexy people, movies and music.

Science blogger and communicator.

Not a fan of myth, manipulation and magical thinking in the information age.

Get my book at: https://t.co/pCivlgRAm4

Philipp Markolin, PhD @PhilippMarkolin

4K Followers 755 Following Science blogger and communicator. Not a fan of myth, manipulation and magical thinking in the information age. Get my book at: https://t.co/pCivlgRAm4

Vincent Keymer @VincentKeymer04

12K Followers 103 Following German chess grandmaster born: 15.11.2004 current rating: 2747 #10 in the world player for @BASILISK_gg

Adam Hearn @adamhearn_

667 Followers 824 Following software engineer, functional programmer, husband, Christian. Making effect systems the default

Berny Bierschiss (bes... @BernyBierschiss

5K Followers 252 Following ich bin der Behindertenausweis meiner Mutter

lorenzo @Lorenzoowb

542 Followers 455 Following

The Mossad: Satirical... @TheMossadIL

768K Followers 2K Following 🇮🇱 Advocacy 🇮🇱 Humour 🇮🇱 Space Lasers - book coming soon, help me finish it 👉🏼 https://t.co/s9vvLpLYpI

SZ München @SZ_Muenchen

219K Followers 160 Following Hier twittert die München-Redaktion von https://t.co/4VhC5J3xGj Impressum: https://t.co/b9X6BRPmvE

München @muenchen

276K Followers 40 Following Das offizielle Stadtportal für München. https://t.co/R3oizslLG2

Stadtwerke München @SWM_Muenchen

14K Followers 35 Following Seit über 125 Jahren begleiten die SWM das Leben der Stadt München und bieten hier v. a. aktuelle Presse-Informationen!

18 Professional Player for @teamvitality | zen@prodigy-agency.gg | RLCS 2022-2023 WORLD CHAMPION 🏆

Vitality zen @zenrll

91K Followers 394 Following 18 Professional Player for @teamvitality | [email protected] | RLCS 2022-2023 WORLD CHAMPION 🏆

kranich von der vogel... @max_pma

3K Followers 414 Following 𝔱𝔥𝔲𝔢𝔯𝔦𝔫𝔤𝔢𝔯 | 𝔡𝔢𝔯𝔷𝔢𝔦𝔱 𝔞𝔯𝔟𝔢𝔦𝔱𝔰𝔰𝔲𝔠𝔥𝔢𝔫𝔡

Giuseppe Castagna @Beppe_Castagna

105 Followers 8 Following CNRS Senior Research Scientist in Computer Science Université de Paris

Official X account for The Kobeissi Letter, an industry leading commentary on the global capital markets. Email us: support@thekobeissiletter.com

The Kobeissi Letter @KobeissiLetter

991K Followers 570 Following Official X account for The Kobeissi Letter, an industry leading commentary on the global capital markets. Email us: [email protected]

Inequality Economist. Former Trader. Other Economists make predictions, but my ones are actually right. Explaining Economics on YouTube - garyseconomics

Gary Stevenson @garyseconomics

181K Followers 302 Following Inequality Economist. Former Trader. Other Economists make predictions, but my ones are actually right. Explaining Economics on YouTube - garyseconomics

Professional Rocket League player @DFB_eSports SEL for @flareEsportGG Business inquiries: ronday-agency@hotmail.com https://t.co/uf1dxt09qu

Rezears @rezears

8K Followers 528 Following Professional Rocket League player @DFB_eSports SEL for @flareEsportGG Business inquiries: [email protected] https://t.co/uf1dxt09qu

Anders Hejlsberg @ahejlsberg

49K Followers 75 Following Technical Fellow at Microsoft

HIDEO_KOJIMA @HIDEO_KOJIMA_EN

4.1M Followers 247 Following Game Creator: 70% of my body is made of movies.

Entrepreneur, Anti-Poverty, Human-Centered Economy, #YangGang, UBI, RCV, Co-chair @fwd_party founder @humanityforward @venture4america board @fairvote

Andrew Yang🧢⬆️... @AndrewYang

1.8M Followers 9K Following Entrepreneur, Anti-Poverty, Human-Centered Economy, #YangGang, UBI, RCV, Co-chair @fwd_party founder @humanityforward @venture4america board @fairvote

Volodymyr Zelenskyy /... @ZelenskyyUa

8.2M Followers 1 Following President of Ukraine / Президент України

Perplexity @perplexity_ai

337K Followers 63 Following Curiosity changes everything. Download our free app on iOS, Mac, Windows, and Android: https://t.co/BBZ1kG0TVG

Landeshauptstadt München, Presseamt: Aktuelle Infos und Veranstaltungen der Landeshauptstadt #München Impressum / Datenschutz: https://t.co/y2v1q6o2jI

Stadt München @StadtMuenchen

267K Followers 102 Following Landeshauptstadt München, Presseamt: Aktuelle Infos und Veranstaltungen der Landeshauptstadt #München Impressum / Datenschutz: https://t.co/y2v1q6o2jI

Eddy Xu @eddybuild

32K Followers 1K Following 18 | ceo @ https://t.co/pPt0gPGvu6

Wir sind das Bundesgesundheitsministerium und kümmern uns um Gesundheitsthemen & Gesundheitspolitik.
Impressum: https://t.co/hy8JJogwom

Bundesgesundheitsmini... @BMG_Bund

330K Followers 882 Following Wir sind das Bundesgesundheitsministerium und kümmern uns um Gesundheitsthemen & Gesundheitspolitik. Impressum: https://t.co/hy8JJogwom

SPD Bundestagsabgeordneter, Vorsitzender Ausschuss Forschung, Technologie und Raumfahrt, Bundesgesundheitsminister a.D., der hier selbst und privat tweetet.

Prof. Karl Lauterbach @Karl_Lauterbach

1.2M Followers 325 Following SPD Bundestagsabgeordneter, Vorsitzender Ausschuss Forschung, Technologie und Raumfahrt, Bundesgesundheitsminister a.D., der hier selbst und privat tweetet.

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.

SF writer / computer programmer
Latest novel: MORPHOTROPHIC
Latest collection: SLEEP AND THE SOUL
Web site: https://t.co/yeU5bLA3mx
Also: @gregeganSF@mathstodon.xyz

Greg Egan @gregeganSF

25K Followers 312 Following SF writer / computer programmer Latest novel: MORPHOTROPHIC Latest collection: SLEEP AND THE SOUL Web site: https://t.co/yeU5bLA3mx Also: @[email protected]

Host of Bridges Podcast | Gender, psychology, science, and metacognition | Radical Orthodox Protestant | Views are my own | https://t.co/macksw9r8V

notsoErudite @notsoErudite

40K Followers 96 Following Host of Bridges Podcast | Gender, psychology, science, and metacognition | Radical Orthodox Protestant | Views are my own | https://t.co/macksw9r8V

Invented principles of meta-learning (1987), GANs (1990), Transformers (1991), very deep learning (1991), etc. Our AI is used many billions of times every day.

Jürgen Schmidhuber @SchmidhuberAI

163K Followers 0 Following Invented principles of meta-learning (1987), GANs (1990), Transformers (1991), very deep learning (1991), etc. Our AI is used many billions of times every day.

IMG Models Worldwide | Stylist, Model, Director. ⠀ IG @WISDM ⠀Business: Mimi.yapor@img.com

Wisdom Kaye @modsiwW

679K Followers 58 Following IMG Models Worldwide | Stylist, Model, Director. ⠀ IG @WISDM ⠀Business: [email protected]

𝗚𝗢𝗚𝗢𝗟�... @Gogolitus

19K Followers 3K Following Pixel Artist • Collector • AI observer • Simulation Hypothesis • https://t.co/fGPvaLdCF0 • dev. https://t.co/KbH9NaclUD

Qubes OS @QubesOS

28K Followers 0 Following A reasonably secure operating system for personal computers.

Kali Linux, The Most Advanced Penetration Testing Distribution. Ever.

@kalilinux@infosec.exchange

Kali Linux @kalilinux

390K Followers 26 Following Kali Linux, The Most Advanced Penetration Testing Distribution. Ever. @[email protected]

People, apps and code you can trust. #FreeSoftware #Privacy #Mobile https://t.co/EGB9kdlDCw

@guardianproject@librem.one

Guardian Project @guardianproject

29K Followers 490 Following People, apps and code you can trust. #FreeSoftware #Privacy #Mobile https://t.co/EGB9kdlDCw @[email protected]

Whonix @Whonix

8K Followers 0 Following Superior Internet Privacy @Kicksecure Hardened Telegram: https://t.co/y8vypaxnVa https://t.co/SMrBpsjuFE

A better internet starts with privacy. Stay in control with e2e encrypted email, drive, docs, password mng, AI, & VPN.

🫶 Help @ProtonSupport
🐈‍⬛ New @asklumo

Proton @ProtonPrivacy

333K Followers 465 Following A better internet starts with privacy. Stay in control with e2e encrypted email, drive, docs, password mng, AI, & VPN. 🫶 Help @ProtonSupport 🐈‍⬛ New @asklumo

Signal is an end-to-end encrypted messaging app. Privacy isn’t an optional mode, it’s just the way that Signal works. Every message, every call, every time.

Signal @signalapp

595K Followers 23 Following Signal is an end-to-end encrypted messaging app. Privacy isn’t an optional mode, it’s just the way that Signal works. Every message, every call, every time.

🦋 https://t.co/bX77YnBKhO
We're a nonprofit defending privacy & freedom online.
Download Tor Browser: https://t.co/ROuSDYAs6F

The Tor Project @torproject

455K Followers 2K Following 🦋 https://t.co/bX77YnBKhO We're a nonprofit defending privacy & freedom online. Download Tor Browser: https://t.co/ROuSDYAs6F

Tails is a liberatory, FOSS operating system. We help people assert control over their digital lives.

Tails runs on your donations: https://t.co/hUQ7cyw4kE

Tails @Tails_live

75K Followers 76 Following Tails is a liberatory, FOSS operating system. We help people assert control over their digital lives. Tails runs on your donations: https://t.co/hUQ7cyw4kE

Віталій Кли... @Vitaliy_Klychko

607K Followers 61 Following Київський міський голова, Лідер партії УДАР, https://t.co/GvHlOXw5P9

Klitschko @Klitschko

740K Followers 366 Following 🇺🇦 Voice from/for #Kyiv 💪 Challenge Master 🚀 Founder 📚 Author 🥊 Longest Reigning Heavyweight Boxing Champion

Skrillex @Skrillex

5.6M Followers 1K Following

We’re a team of scientists, engineers, ethicists and more, committed to solving intelligence, to advance science and benefit humanity.

Google DeepMind @GoogleDeepMind

1.2M Followers 279 Following We’re a team of scientists, engineers, ethicists and more, committed to solving intelligence, to advance science and benefit humanity.

David Pakman @dpakman

265K Followers 1K Following Host of https://t.co/O2NLBfqdfg IG: https://t.co/5GieRw0u81

I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.

Luc Tielen @luctielen

1K Followers 122 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.