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
I found I had less and less to say, until finally, I became silent, and began to listen. I discovered in the silence, the voice of God. Søren Kierkegaard.
1
1
16
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
Happy 4th of July! … wait, what, that Cuba helped the US to become an independent country? 🤪 Yes, that happened, although back then we were technically Spanish.
¿Cómo ayudó La Habana a financiar la independencia de Estados Unidos?.
0
0
1
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
The Scottish independence activists living as refugees in Iran are subverting the regime. Great work mates!.
When you forget to check which bot account you're on before posting.
2
0
0
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
How does proof checking work? Each step in a proof is translated from Wybe's expressive syntax into a Z3-understandable format. The checkStep function then asks Z3 to validate the step against a set of laws and axioms. It's like having a logical co-processor. 🤖.
1
0
0