lamg_dev Profile Banner
Luis 🦔 Profile
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
Don't wanna be here? Send us removal request.
@lamg_dev
Luis 🦔
8 months
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
@lamg_dev
Luis 🦔
6 days
@lamg_dev
Luis 🦔
7 days
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.
0
0
0
@lamg_dev
Luis 🦔
7 days
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.
@algerstmehn
Ⱥlex | france.algo 🇫🇷
7 days
@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
@lamg_dev
Luis 🦔
7 days
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.
@eltoquecom
El Toque
7 days
¿Cómo ayudó La Habana a financiar la independencia de Estados Unidos?.
0
0
1
@lamg_dev
Luis 🦔
8 days
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
@lamg_dev
Luis 🦔
9 days
Look #fsharp, we have friends in #cardano.
0
0
0
@lamg_dev
Luis 🦔
9 days
#fsharp #wybe keeps winning 🚀 Thank you very much to @Cardano @MidnightNtwrk @nmkr_io and @IOHK_Charles for keeping functional programming alive!.
@MidnightNtwrk
Midnight
11 days
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
Tweet media one
0
2
10
@lamg_dev
Luis 🦔
9 days
0
0
0
@lamg_dev
Luis 🦔
9 days
The Scottish independence activists living as refugees in Iran are subverting the regime. Great work mates!.
@TheMossadIL
The Mossad: Satirical and Awesome
10 days
When you forget to check which bot account you're on before posting.
Tweet media one
2
0
0
@lamg_dev
Luis 🦔
10 days
🥹 #fsharp
Tweet media one
0
0
1
@lamg_dev
Luis 🦔
10 days
@EylonALevy
Eylon Levy
11 days
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
@lamg_dev
Luis 🦔
10 days
"Beautiful house" vs "Casa bonita" #fsharp
Tweet media one
0
1
14
@lamg_dev
Luis 🦔
11 days
RT @MidnightNtwrk: Midnight’s Ecosystem Tooling Hackathon brought out some serious talent. From dashboards to DX libraries, here are the….
0
42
0
@lamg_dev
Luis 🦔
11 days
More details here
0
0
0
@lamg_dev
Luis 🦔
11 days
@lamg_dev
Luis 🦔
11 days
#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 🧵.
1
0
0
@lamg_dev
Luis 🦔
11 days
@lamg_dev
Luis 🦔
11 days
#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 🧵.
1
0
0
@lamg_dev
Luis 🦔
11 days
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
@lamg_dev
Luis 🦔
11 days
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
@lamg_dev
Luis 🦔
11 days
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.
1
0
0
@lamg_dev
Luis 🦔
11 days
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
@lamg_dev
Luis 🦔
11 days
The foundation is the WExpr (Wybe Expression) type. It's an interface that allows any expression to be translated into the Z3 solver's language, pretty-printed for readability, and allows for variable substitution — a cornerstone of logic. #z3 #smt #logic.
1
0
0