
Luis 🦔
@lamg_dev
Followers
461
Following
12K
Media
331
Statuses
4K
Logic studies and answers *what makes sense* Ideology is religion without God #fsharp 🇩🇪 Building https://t.co/O7YTJI9GtA 🎯🔧🌐
Joined July 2023
The blockchain promise:.- fully automated operations 24/7.- privacy + transparency.- identity + ownership. The pillars sustaining it:.- decentralized consensus.- smart contracts.- zero-knowledge proofs.- governance.#cardano #algorand.
@lamg_dev @lofty_ai @RealTPlatform @PMDBT @AlgoFoundation @AlgoFamily @Mr_Algosla @AlgorandReport Not a dumb question at all!. Property tokens aren't tradable on public DEXs like Tinyman, since they represent actual real estate ownership (KYC required). However, @lofty_ai has built its own AMM that works a bit like a DEX, users can instantly buy/sell tokens at market price,.
0
0
2
Hey @ProtonPrivacy I have a product idea for you: let the users associate their crypto addresses their email. Then create an API for any wallet to request a handshake with any particular email address. That way when two people meet in person they can do a "wallet handshake".
0
0
0
#fsharp #wybe keeps winning 🚀 Thank you very much to @Cardano @MidnightNtwrk @nmkr_io and @IOHK_Charles for keeping functional programming alive!.
Midnight’s Ecosystem Tooling Hackathon brought out some serious talent. From dashboards to DX libraries, here are the winning projects that stood out. 👇. Track 1 – DX Libraries.🥇 MidnightForge - @_SirLopz_ & @RealJohnSanti .🥈 Wybe - @lamg_dev. Track 2 – CLI Tools.🥇 Scaffold
0
2
10
In 2008, @AP reported that Hamas terrorists were fighting in civilian clothes—and being counted as civilian casualties. Its Palestinian reporter in Gaza was threatened—and the Jerusalem bureau censored the story. Without an editor's note about compliance with Hamas censorship.
0
0
0
RT @MidnightNtwrk: Midnight’s Ecosystem Tooling Hackathon brought out some serious talent. From dashboards to DX libraries, here are the….
0
42
0
In summary, Prover/Core.fs is a powerful embedded DSL for formal verification in F#. It elegantly combines a rich type system with the might of the Z3 solver, making formal proofs more accessible and readable. #opensource #theoremprover #wybe.
1
0
0
One of its advanced features is extractPatternFromRecurrence. This function intelligently analyzes recursive functions (like Fibonacci) and generates patterns to guide the Z3 solver, a crucial step for proving properties of recursive definitions. #ComputerScience.
2
0
0