λukas @_riegerlukas

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

Tweets

0
Followers

4
Following

332
Likes

14K

No recent Tweets. New Tweets will appear here.

Amelie @bikitashi1986

0 Followers 352 Following I'm 29 and single. DMs are for followers only.

🧷🧷 @Rhoduik3933

56 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

Governor Newsom Press... @GovPressOffice

635K Followers 1K Following Official account for the press office of @CAGovernor Gavin Newsom #CaliforniaForAll

Hello, friend. Watch the Final Season of #MrRobot on @USA_Network online & On Demand. Catch up on older seasons on @PrimeVideo.

Mr. Robot @whoismrrobot

420K Followers 941 Following Hello, friend. Watch the Final Season of #MrRobot on @USA_Network online & On Demand. Catch up on older seasons on @PrimeVideo.

BD WONG @wongbd

85K Followers 676 Following Dr. George Huang, Dr. Henry Wu, Capt. Li Shang, Ftr. Ray Mukads, Prof. Hugo Strange, whiterose, Howard Weinstein. He has a Tony.

Emma Watson @EmmaWatson

26.1M Followers 357 Following

Researcher in computer science,
all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa),
JunProf. at Uni Tübingen.
https://t.co/lvCLTiKbL1

Jonathan Brachthäuse... @__protected

838 Followers 387 Following Researcher in computer science, all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa), JunProf. at Uni Tübingen. https://t.co/lvCLTiKbL1

LaurieWired @lauriewired

106K Followers 285 Following researcher @google; serial complexity unpacker; https://t.co/Vl1seeNgYK ex @ msft & aerospace

📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖
Book: Functional Design and Architecture

Alexander Granin @graninas

8K Followers 869 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture

David Pakman Show @davidpakmanshow

125K Followers 133 Following Independent progressive podcast and online show hosted by @dpakman

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 757 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 104 Following German chess grandmaster born: 15.11.2004 current rating: 2747 #10 in the world player for @BASILISK_gg

Adam Hearn @adamhearn_

678 Followers 807 Following software engineer, functional programmer, husband, Christian. Making effect systems the default

Berny Bierschiss (bes... @BernyBierschiss

5K Followers 264 Following ich bin der Behindertenausweis meiner Mutter

lorenzo @Lorenzoowb

539 Followers 455 Following

The Mossad: Satirical... @TheMossadIL

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

SZ München @SZ_Muenchen

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

München @muenchen

274K 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

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

kranich von der vogel... @wegdeskranich

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

Giuseppe Castagna @Beppe_Castagna

104 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

1.0M Followers 571 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

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

22|🇩🇪|$170k+| Pro player for @DFB_eSports Business inquiries: ronday-agency@hotmail.com https://t.co/uf1dxt09qu

Rezears @rezears

8K Followers 533 Following 22|🇩🇪|$170k+| Pro player for @DFB_eSports 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, founder @fwd_party @humanityforward

CEO @joinnoblemobile get paid to use your phone less

Andrew Yang🧢⬆️... @AndrewYang

1.8M Followers 10K Following Entrepreneur, Anti-Poverty, Human-Centered Economy, founder @fwd_party @humanityforward CEO @joinnoblemobile get paid to use your phone less

Volodymyr Zelenskyy /... @ZelenskyyUa

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

Perplexity @perplexity_ai

342K Followers 64 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

34K 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 324 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 310 Following SF writer / computer programmer Latest novel: MORPHOTROPHIC Latest collection: SLEEP AND THE SOUL Web site: https://t.co/yeU5bLA3mx Also: @[email protected]

notsoErudite @notsoErudite

42K Followers 97 Following 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

165K 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

677K 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

392K 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

335K Followers 466 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

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

Klitschko @Klitschko

737K 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.

No recent Favorites. New Favorites will appear here.