[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.] #  @lamg_dev Luis 🦔 Luis 🦔 posts on X about fsharp, cardano, casa, rare evo the most. They currently have XXX followers and XX posts still getting attention that total XX engagements in the last XX hours. ### Engagements: XX [#](/creator/twitter::1677948168166580225/interactions)  - X Week XXXXX +99% - X Month XXXXX -XX% - X Months XXXXXX +30% - X Year XXXXXX -XX% ### Mentions: X [#](/creator/twitter::1677948168166580225/posts_active)  ### Followers: XXX [#](/creator/twitter::1677948168166580225/followers)  - X Week XXX +0.42% - X Month XXX +10% - X Months XXX +50% - X Year XXX +8.40% ### CreatorRank: undefined [#](/creator/twitter::1677948168166580225/influencer_rank)  ### Social Influence [#](/creator/twitter::1677948168166580225/influence) --- **Social category influence** [cryptocurrencies](/list/cryptocurrencies) XX% [events](/list/events) XXXX% [finance](/list/finance) XXXX% **Social topic influence** [fsharp](/topic/fsharp) 36.67%, [cardano](/topic/cardano) 10%, [casa](/topic/casa) 3.33%, [rare evo](/topic/rare-evo) 3.33%, [algofoundation](/topic/algofoundation) 3.33%, [headed](/topic/headed) 3.33%, [blockchain](/topic/blockchain) 3.33%, [blocks](/topic/blocks) 3.33%, [whales](/topic/whales) 3.33%, [shell](/topic/shell) XXXX% **Top accounts mentioned or mentioned by** [@triggerpod](/creator/undefined) [@midnightntwrk](/creator/undefined) [@nmkrio](/creator/undefined) [@montuakmo66](/creator/undefined) [@lamgdev](/creator/undefined) [@lilybrodi](/creator/undefined) [@realmattkrill](/creator/undefined) [@mitchellh](/creator/undefined) [@headinthebox](/creator/undefined) [@rvcas](/creator/undefined) [@rareevo](/creator/undefined) [@algorand](/creator/undefined) [@algofoundation](/creator/undefined) [@marcvl](/creator/undefined) [@txnlab](/creator/undefined) [@folksfinance](/creator/undefined) [@cardano](/creator/undefined) [@iohkcharles](/creator/undefined) [@sirlopz](/creator/undefined) [@realjohnsanti](/creator/undefined) **Top assets mentioned** [Cardano (ADA)](/topic/cardano) ### Top Social Posts [#](/creator/twitter::1677948168166580225/posts) --- Top posts by engagements in the last XX hours "#wybe is a tool for doing formal verification in #fsharp. It's still a work in progress but if you're curious on how it works here's a thread 🧵"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1939627007022710810) 2025-06-30 10:08:09 UTC XXX followers, XXX engagements "@montuakmo66 @triggerpod Agreed. Intelectual honesty above all. Its amazing how universities are full of Marxists considering that Marxs solutions for our problems (expropriating the means of production etc.) are pure nonsense and wouldnt survive a peer review system not even when they were written"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1948071995972669581) 2025-07-23 17:25:31 UTC XXX followers, XX engagements "✦ Wybe's theorem prover is powered by a sophisticated core. Let's dive into Prover/Core.fs the central nervous system of our formal verification engine. 🧠#formalverification #dotnet #fsharp #programminglanguages"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1939627009467981958) 2025-06-30 10:08:10 UTC XXX followers, XX engagements "@mitchellh Thanks for creating this great terminal emulator All the code Ive written recently goes through it"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1948068644140847347) 2025-07-23 17:12:12 UTC XXX followers, XXX engagements "#fsharp I've been replacing records in my code by named tuples. I did the following considerations: - instantiating a named tuple makes easier to see the type both for the eye and the LSP client - less verbose code and still safe as long as the tupled values have different types"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1935614221313605971) 2025-06-19 08:22:46 UTC XXX followers, XXX engagements "Try similar code in #haskell and the answer will be X. Check what happens in #fsharp and enjoy. Thanks to @headinthebox for the lesson"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1919802738021417068) 2025-05-06 17:13:35 UTC XXX followers, XXX engagements ""Beautiful house" vs "Casa bonita" #fsharp"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1939958139849257185) 2025-07-01 08:03:57 UTC XXX followers, XXX engagements "Haven't you noticed that there are "friend" blockchain communities like #cardano and #algorand @lilybrodi creates content for both. John Woods has worked on for them too. However the typical Cardano wallet doesn't know about Algorand's ecosystem and viceversa. If the two communities have an intersection why not creating a wallet that is useful for people on both sides Existing wallets could also implement cross-chain features. @YoroiWallet @PeraAlgoWallet @eternlwallet @lace_io @vesprwallet @GeroWallet"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1948341106078277641) 2025-07-24 11:14:52 UTC XXX followers, XXX engagements "KPI: move #fsharp to the #haskell quadrant"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1935589073261105497) 2025-06-19 06:42:51 UTC XXX followers, XXX engagements "To make writing proofs feel natural Wybe uses a clean readable Domain-Specific Language (DSL) built with F# computation expressions. You can write proof . blocks that feel like you're writing down a mathematical proof not just code. #dsl #fsharp"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1939627017642643626) 2025-06-30 10:08:12 UTC XXX followers, XX engagements "@montuakmo66 @triggerpod Socialism includes the less peer reviewed theories and the most disastrous experiments yet for some reason its more popular at least among non-economists"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1948073080229650539) 2025-07-23 17:29:50 UTC XXX followers, XX engagements "@MasumiNetwork Cool project Would be nice to sign in with a Cardano wallet to Sokosumi"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1948335510272741376) 2025-07-24 10:52:38 UTC XXX followers, XX engagements "hey #fsharp anyone knows about a parser combinator library that works with arbitrary sequences not just characters FParsec doesn't seem to be generic enough for the task"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1948719309229855006) 2025-07-25 12:17:43 UTC XXX followers, XX engagements "Honestly Im still clueless about the Whales position in this drama. All people say is Charles please apologize Charles is rude but still nothing substantial about what the Whale thinks. Judging by the reaction hes acting like he lost the debate but still wants to fight by any means possible"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1947548012776943873) 2025-07-22 06:43:24 UTC XXX followers, XXX engagements "Just learned we can make Linux shell scripts with #fsharp"  [@lamg_dev](/creator/x/lamg_dev) on [X](/post/tweet/1928056655234711555) 2025-05-29 11:51:42 UTC XXX followers, 7963 engagements
[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]
@lamg_dev Luis 🦔
Luis 🦔 posts on X about fsharp, cardano, casa, rare evo the most. They currently have XXX followers and XX posts still getting attention that total XX engagements in the last XX hours.
Engagements: XX #
- X Week XXXXX +99%
- X Month XXXXX -XX%
- X Months XXXXXX +30%
- X Year XXXXXX -XX%
Mentions: X #
Followers: XXX #
- X Week XXX +0.42%
- X Month XXX +10%
- X Months XXX +50%
- X Year XXX +8.40%
CreatorRank: undefined #
Social Influence #
Social category influence cryptocurrencies XX% events XXXX% finance XXXX%
Social topic influence fsharp 36.67%, cardano 10%, casa 3.33%, rare evo 3.33%, algofoundation 3.33%, headed 3.33%, blockchain 3.33%, blocks 3.33%, whales 3.33%, shell XXXX%
Top accounts mentioned or mentioned by @triggerpod @midnightntwrk @nmkrio @montuakmo66 @lamgdev @lilybrodi @realmattkrill @mitchellh @headinthebox @rvcas @rareevo @algorand @algofoundation @marcvl @txnlab @folksfinance @cardano @iohkcharles @sirlopz @realjohnsanti
Top assets mentioned Cardano (ADA)
Top Social Posts #
Top posts by engagements in the last XX hours
"#wybe is a tool for doing formal verification in #fsharp. It's still a work in progress but if you're curious on how it works here's a thread 🧵"
@lamg_dev on X 2025-06-30 10:08:09 UTC XXX followers, XXX engagements
"@montuakmo66 @triggerpod Agreed. Intelectual honesty above all. Its amazing how universities are full of Marxists considering that Marxs solutions for our problems (expropriating the means of production etc.) are pure nonsense and wouldnt survive a peer review system not even when they were written" @lamg_dev on X 2025-07-23 17:25:31 UTC XXX followers, XX engagements
"✦ Wybe's theorem prover is powered by a sophisticated core. Let's dive into Prover/Core.fs the central nervous system of our formal verification engine. 🧠#formalverification #dotnet #fsharp #programminglanguages" @lamg_dev on X 2025-06-30 10:08:10 UTC XXX followers, XX engagements
"@mitchellh Thanks for creating this great terminal emulator All the code Ive written recently goes through it" @lamg_dev on X 2025-07-23 17:12:12 UTC XXX followers, XXX engagements
"#fsharp I've been replacing records in my code by named tuples. I did the following considerations: - instantiating a named tuple makes easier to see the type both for the eye and the LSP client - less verbose code and still safe as long as the tupled values have different types" @lamg_dev on X 2025-06-19 08:22:46 UTC XXX followers, XXX engagements
"Try similar code in #haskell and the answer will be X. Check what happens in #fsharp and enjoy. Thanks to @headinthebox for the lesson" @lamg_dev on X 2025-05-06 17:13:35 UTC XXX followers, XXX engagements
""Beautiful house" vs "Casa bonita" #fsharp" @lamg_dev on X 2025-07-01 08:03:57 UTC XXX followers, XXX engagements
"Haven't you noticed that there are "friend" blockchain communities like #cardano and #algorand @lilybrodi creates content for both. John Woods has worked on for them too. However the typical Cardano wallet doesn't know about Algorand's ecosystem and viceversa. If the two communities have an intersection why not creating a wallet that is useful for people on both sides Existing wallets could also implement cross-chain features. @YoroiWallet @PeraAlgoWallet @eternlwallet @lace_io @vesprwallet @GeroWallet" @lamg_dev on X 2025-07-24 11:14:52 UTC XXX followers, XXX engagements
"KPI: move #fsharp to the #haskell quadrant" @lamg_dev on X 2025-06-19 06:42:51 UTC XXX followers, XXX engagements
"To make writing proofs feel natural Wybe uses a clean readable Domain-Specific Language (DSL) built with F# computation expressions. You can write proof . blocks that feel like you're writing down a mathematical proof not just code. #dsl #fsharp" @lamg_dev on X 2025-06-30 10:08:12 UTC XXX followers, XX engagements
"@montuakmo66 @triggerpod Socialism includes the less peer reviewed theories and the most disastrous experiments yet for some reason its more popular at least among non-economists" @lamg_dev on X 2025-07-23 17:29:50 UTC XXX followers, XX engagements
"@MasumiNetwork Cool project Would be nice to sign in with a Cardano wallet to Sokosumi" @lamg_dev on X 2025-07-24 10:52:38 UTC XXX followers, XX engagements
"hey #fsharp anyone knows about a parser combinator library that works with arbitrary sequences not just characters FParsec doesn't seem to be generic enough for the task" @lamg_dev on X 2025-07-25 12:17:43 UTC XXX followers, XX engagements
"Honestly Im still clueless about the Whales position in this drama. All people say is Charles please apologize Charles is rude but still nothing substantial about what the Whale thinks. Judging by the reaction hes acting like he lost the debate but still wants to fight by any means possible" @lamg_dev on X 2025-07-22 06:43:24 UTC XXX followers, XXX engagements
"Just learned we can make Linux shell scripts with #fsharp" @lamg_dev on X 2025-05-29 11:51:42 UTC XXX followers, 7963 engagements