[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](/creator/twitter/lamg_dev) "#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 "✦ 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 "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 "@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 "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, 7965 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
"#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
"✦ 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
"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
"@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
"Just learned we can make Linux shell scripts with #fsharp" @lamg_dev on X 2025-05-29 11:51:42 UTC XXX followers, 7965 engagements