Marc Scholten @_marcscholten
founder digitally induced digitallyinduced.com Palo Alto, CA Joined September 2014-
Tweets588
-
Followers462
-
Following728
-
Likes3K
As a side-quest I've joined the board of the Haskell Foundation @haskellfound 🎉 Looking forward to helping grow the ecosystem and support the Haskell community haskell.foundation/who-we-are/
2
0
18
322
0
ZuriHac was fun! Got to join the panel on haskell in industry
Marc Scholten retweeted
I got to meet @_marcscholten in person. He created the Haskell IHP framework, which was a gateway drug that got me hooked on haskell. Was a fun evening in Palo alto. We even explored Stanford together.
at stripe sessions today! one of my fav conferences
rausgegangen was just acquired by DuMont They were our first customer in 2016/17 - and I joined as an investor in 2023. Flew in from SFO to honor the sacred German ritual of wet signatures & listen to the notary read the contract aloud (14hours+) dumont.de/en/german-pres…
Marc Scholten retweeted
The #1 most important thing Haskell needs to do to be the best language for AI coding is to speed up compilation. Haskell code really does often work once it compiles.
Marc Scholten retweeted
The most promising technical area today is applying Large Language Models for software code generation. In that sense LLMs are bridging human languages (like English) with computer languages (like Python). Even as a kid, the most fascinating area for me was grammar (nerd alert!)…
accepted and merged ☑️ github.com/haskell/core-l…
accepted and merged ☑️ github.com/haskell/core-l…
o1 just found an obscure bug in HaskellNet IMAP's APPEND function. The suggested fix works. Saved me lot's of debugging time github.com/qnikst/Haskell…
switched to Jetbrains Mono as my font for sublime text. lot's of beautiful ligatures for haskell tokens. look at that beautiful >>= bind there, just wow! :)
„They violate many of the principles defining a good user interface, most notably the idea of maintaining the user illusion. Surely users will be disappointed if the projected illusion is that of intelligence but the reality falls far short.“ - alan kay discussing agents in…
the actual reason why america keeps winning
geoff @GeoffreyHuntley
56K Followers 3K Following currently looking for my next role. pitch me at [email protected]
Daniel Firth (Inspect... @locallycompact
1K Followers 784 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Anthony Alaribe {··... @tonialaribe
6K Followers 3K Following Watch me build developer tools in public. Building @monoscope_tech {•••}. I build stuff in Haskell, Rust (🦀) and Go. Maths ♥️ Engineering. HTMX fanboy
digitally induced @digitallyinduce
874 Followers 52 Following Well designed and opinionated frameworks and tools empower smalls teams to craft exceptional software. https://t.co/n8cYD0mJwI 🦄
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Oufruieri @Oufruieri65267
0 Followers 203 Following
BellaGallup @5Uflsa68e7Vwr
3 Followers 362 Following
Freya Huntington @Harvok34352
6 Followers 913 Following
Birdgg @Bird_Eggegg
304 Followers 1K Following
DividendAristo🇺�... @Buida500867
36 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
The Grumpy SRE (rob) @grumpy_sre
37 Followers 399 Following All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter
Carol Feil @FeilCarol33071
125 Followers 5K Following
妖艶ミカ @Taullau13771
5 Followers 676 Following
Gouker @Gouker35686
101 Followers 2K Following
Paawhalk @Paawhalk385
30 Followers 1K Following
Martin Sosic @MartinSosic
332 Followers 129 Following Making web app development easier with https://t.co/vkjaLXR4lD!
Type Theory Forall @ttforall
4K Followers 277 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Erfan Rostami @_erfie
379 Followers 2K Following
dawkaka {⋅⋅⋅} @yousiph_
60 Followers 474 Following
ZENITH @ALIVE830
0 Followers 2K Following
Becoming Ibrahim 🌱 @BelloDeveloper
292 Followers 1K Following Frontend Engineer | Open Source Contributor | Building in Web3 & Cloud | Let’s talk innovation
Manwa Migosi @manwa_migosi
117 Followers 1K Following Evangelical haskeller | PLT fanboy | Progressive Pan-Africanist
Designer @Designerytg
71 Followers 930 Following
Stnee @StneevgP0m
55 Followers 1K Following
Lewis Wanjohi @Math_Misbugs
492 Followers 2K Following @mit Math & CS (Category Theory + HoTT) Building @HomotopicAI YC25 & AI @apple | founder & CEO @tambuahealth YC20 @echoinggreen fellow,
Caarsal @Caarsal496194
3 Followers 110 Following
Wasp @WaspLang
2K Followers 199 Following The fastest way to develop full-stack web apps with React & Node.js ⭐ GitHub https://t.co/UaDdpLSSMX 👾 Discord https://t.co/HLCM2GvNZZ
Mavis @NesiserlgP
21 Followers 733 Following You Are Unhappy Because You Can’t Get It, You Can’t Forget It, And You Can’t Say It https://t.co/1eBNBQ26yQ
Thathewt @ThathewtpCCyE
11 Followers 686 Following
Teyteath @TeyteathVThGin
73 Followers 7K Following
mouro @mouro277495
76 Followers 166 Following
Somesh Misra / ERP.ai @MathproBro
778 Followers 214 Following chief researcher at https://t.co/85QLNI0SE9 | working at the intersection of business processes, neural network topologies & machine learning
Zeno Fox @zeno_fox
173 Followers 369 Following Connecting every body to medical super-intelligence at https://t.co/pUjlaQbBdS / Currently at @_theresidency, prev @mit @nucleatehq
Ankit Gupta @AnkitGuptaAI
1K Followers 1K Following researcher, alum @scsatcmu, ex @imctrading @facebook
EthelRebecca @WpdhOrEk0h48r
61 Followers 6K Following
Tyler Smart @tyler__smart
27 Followers 354 Following
@levelsio @levelsio
733K Followers 2K Following 💸https://t.co/sQ0aiU7v02 $336K/m 📸https://t.co/lAyoqmSBRX $150K/m 🏡https://t.co/1oqUgfD6CZ $33K/m 🛰https://t.co/ZHSvI2wjyW $31K/m 🌍https://t.co/UXK5AFqCaQ $14K/m 👙https://t.co/RyXpqGuFM3 $14K/m 💾https://t.co/M1hEUBAynC $6K/m
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Jarred Sumner @jarredsumner
129K Followers 766 Following building @bunjavascript. formerly: @stripe (twice) @thielfellowship. high school dropout. npm i -g bun
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Daniel Firth (Inspect... @locallycompact
1K Followers 784 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Aaron Levie @levie
2.5M Followers 728 Following ceo @box - unleash the power of your content with AI
Scarf @scarf_oss
651 Followers 81 Following Promoting open source sustainability with privacy-conscious metrics and insights. Find your next customer from your existing OSS user base.
Anthony Alaribe {··... @tonialaribe
6K Followers 3K Following Watch me build developer tools in public. Building @monoscope_tech {•••}. I build stuff in Haskell, Rust (🦀) and Go. Maths ♥️ Engineering. HTMX fanboy
digitally induced @digitallyinduce
874 Followers 52 Following Well designed and opinionated frameworks and tools empower smalls teams to craft exceptional software. https://t.co/n8cYD0mJwI 🦄
Jonathan Blow @Jonathan_Blow
146K Followers 275 Following Designer/Programmer of Braid and The Witness. President, Thekla, Inc. Partner in Indie Fund. Working hard on a new game and a programming language.
Arvid Kahl @arvidkahl
180K Followers 18K Following Building https://t.co/od97B0HVrk and https://t.co/666FnyVVE0 in Public. Raising all the boats with kindness. 🎙️ https://t.co/6w69DZmi8H · ✍️ https://t.co/lpnor5rsTW
gabby @GabriellaG439
15K Followers 77 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Joachim Breitner @nomeata
2K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Emad @EMostaque
291K Followers 25 Following Distributing Intelligence @ii_posts. Founder @StabilityAI.
Logan Kilpatrick @OfficialLoganK
215K Followers 3K Following Lead product for @GoogleAIStudio + the Gemini API. My views!
legen 🚀🌕 @legen_eth
138K Followers 7K Following 28 | I like finance, business, tech and memes. building @insiderwave_ an app that tracks Nancy Pelosi’s Trades (her real full port unlike the competitors)
Niko McCarty. @NikoMcCarty
42K Followers 1K Following Science. Biology. Progress. Founding Editor @AsimovPress / Subscribe!
Jesus A. Castillo F. @jecastillof
3K Followers 2K Following CEO & Co-founder at Kontigo (YC S24), building the last neobank you will ever need. // Backed by @cbventures @goodwatercap @hf0residency @fdotinc & DST.
Donatus Schaumburg-Li... @schaumburgd
1K Followers 321 Following Levelling the playing field for European Founders @founderembassy & Giving people more Agency at @schlossbbg || @euacchq
shortpalantir @public_equities
10K Followers 54 Following A fool (me) and his money are soon parted. Tired of seeing grifters win.
nic carter @nic__carter
423K Followers 4K Following tyrannized by the bottom quintile | https://t.co/mQ5frnwUMV
Mises Institut @MisesInstitut
6K Followers 2 Following Das Ludwig von Mises Institut Deutschland wurde 2012 gegründet. Es ist benannt nach Ludwig von Mises (1881 – 1973), dem wohl bedeutendsten Ökonomen des 20. Jh.
Axiom @AxiomExchange
63K Followers 6 Following The ONLY Trading Platform You'll Ever Need. Memes, Perps, Yield, All-In-One. https://t.co/3PTjh4HOX8
devenv @devenv_nix
106 Followers 46 Following Systemd of developer environments using Nix. Created by @cachix_org Docs: https://t.co/vIQxsa2RLq Start: https://t.co/egNwCOczhC Community: https://t.co/rOOCx10GMp
Matt Espinoza ✦ @MattEspoz
5K Followers 637 Following 22 years · Partner at @CloverLabsCo — building an empire of internet companies // Sharing learnings: https://t.co/rbCD5ovnCm
Antonio Linares @alc2022
102K Followers 252 Following Early and long term $AMD, $TSLA, $PLTR, $SPOT, $HIMS, $DUOL investor. This is not financial advice and is my ONLY account. Please do your own research.
echen @echen
12K Followers 537 Following building @HelloSurgeAI: shaping AGI with the richness of human intelligence
Psyho @FakePsyho
26K Followers 370 Following Game Designer; Problem Solver; past: OpenAI (Dota), Pro Competitive Programmer, Poker
goodalexander @goodalexander
107K Followers 1K Following What comes after Fiat? Founder @postfiatorg.
JavierMileiDE_Komment... @JavierMileiDE
14K Followers 97 Following Deutschsprachige Information über Javier Milei und seine argentinische Präsidentschaft
SangBin Cho @Saaaang94
3K Followers 488 Following reasoning @xAI | prev-founding engineer @anyscalecompute | senior committer of @raydistributed | committer @vllm_project Sglang | Github: rkooo567
Daniel @nearlydaniel
12K Followers 1K Following seeking to accelerate humanity @xAI. prev: head of AI @harvey__AI, @tesla_AI. lover of type 2 fun. left handed. walkable neighborhood appreciator. pro family.
Veronika Grimm @GrimmVeronika
32K Followers 1K Following Economist @UTN_Nuremberg & German Council of Economic Experts @SVR_Wirtschaft @GCEE_en - on https://t.co/5yT9FNEaXU
Nikita Bier @nikitabier
606K Followers 2K Following head of product @x, advisor @solana, venture partner @lightspeedvp, ex-founder @gasappteam (acq by discord), ex-founder @thetbhapp (acq by facebook)
Friedrich Nietzsche N... @QuoteNietzsche
200K Followers 4 Following Quotes from Friedrich Nietzsche. Think deeper. Live sharper. https://t.co/64GktRZXXJ. Fan project. Supporting philosophical inquiry via @PhilosophyNow.
Eric Jing @ericjing_ai
15K Followers 145 Following Cofounder/CEO @Genspark_ai | Serial entrepreneur, built business from 0 to $5.5B | Ex-CPO @Baidu Search, Ex-Principal Dev Mgr @Microsoft Bing
Sandy Petersen 🪔 @SandyofCthulhu
44K Followers 716 Following Game Designer, Horror fan, Grandpa. Founded Lovecraftian gaming. CEO of Petersen Games. Also Doom, Age of Empires, etc. Subscribe for game insights & history!
Tsung Xu @tsungxu
7K Followers 647 Following
Rohan Pandey @khoomeik
39K Followers 2K Following descending cross-entropy to ascend entropy || prev research @OpenAI @CarnegieMellon '23
Anshul Ramachandran @_anshulr
924 Followers 15 Following building the future of coding @GoogleDeepMind
Lewis Wanjohi @Math_Misbugs
492 Followers 2K Following @mit Math & CS (Category Theory + HoTT) Building @HomotopicAI YC25 & AI @apple | founder & CEO @tambuahealth YC20 @echoinggreen fellow,
Jessie Frazelle @jessfraz
131K Followers 232 Following CEO @zoodotdev, 👩🏻💻 @oxidecomputer, 📝 @ACMQueue
Lukas Haas @lkshaas
882 Followers 676 Following search, deep research, factuality @googledeepmind + scout @sequoia, prev cs/ai research @stanford (my views).
Steve Krouse @stevekrouse
9K Followers 2K Following founder @ValDotTown, spreading the joy of programming
Elias @Eliasfiz
4K Followers 240 Following building humans @ https://t.co/Ay8cpV62XH | Thiel Fellow, @zfellows
Alex Atallah @xanderatallah
52K Followers 3K Following CEO @OpenRouterAI, the largest LLM marketplace. Previously: co-founder & CTO @OpenSea.
NWS Bay Area 🌉 @NWSBayArea
196K Followers 665 Following Official Twitter account for the National Weather Service San Francisco Bay Area. Details: https://t.co/ASDrLwF1Yj
Ren @renxyzinc
311 Followers 40 Following Ren is an emerging company operating at the cutting-edge of Artificial Intelligence.
Reiner Pope @reinerpope
3K Followers 448 Following CEO and founder, @MatXComputing, developing high throughput chips tailored for LLMsTrends for United States
79,2 B posts
120 B posts
225 B posts
140 B posts
257 B posts
11 B posts
1.924 posts
11,2 B posts
307 B posts
47,9 B posts
9.689 posts
53,3 B posts
19 B posts
6.337 posts
4.953 posts
11 B posts
55,4 B posts
167 B posts
2.718 posts
5.218 posts
You might like
System Initiative
@thesysteminit
2K Followers
Tweag
@tweagio
6K Followers
João Forte Carvalho ...
@bgamari
2K Followers
Nikita Volkov
@NikitaYVolkov
1K Followers
Joachim Breitner
@nomeata
2K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
Matt Parsons
@mattoflambda
5K Followers
Domen Kožar
@domenkozar
5K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Tom Sydney Kerckhove
@kerckhove_ts
3K Followers
Andrey Mokhov
@andreymokhov
2K Followers
Xorg
@x0rg_
67 Followers
Tom Ellis
@tomjaguarpaw
2K Followers
Ian Jeffries
@seagreen__
595 Followers
Christine Berry
@csberry_
90 Followers