SEC

[SEC @seccingaround]

@FatManTerra Just playing at different level

[SEC @seccingaround]

@JorgeSelva @bladenomics Thanks Jorge

[Lean @leanprover]

The new 𝚌𝚋𝚟 tactic in Lean 4.30.0 brings call-by-value evaluation into the proof layer.

"Call-by-value" is how most software runs: arguments are computed before being passed to a function. 𝚌𝚋𝚟 lets you use that same model to close proof goals, and is useful for software verification, formalized math, and domain-specific verification workflows alike.

Tactic reference: https://t.co/QbQJOnwZu7

#LeanLang #LeanProver #ProofAssistant #OpenSource #FormalVerification

[SEC @seccingaround]

@Winterrose Stablecoin yields, which today are actually tbill yields.

They literally got undercut and can't accept the reality of it

[SEC @seccingaround]

@ryanconnor But then they have to make a real business then…

[SEC @seccingaround]

@seyong @malikonchain Agree. Arbitrary compliance limits that don’t follow regulatory guidance, vasps being wishywashy to bait you in, bs reasons why transactions were blocked.

If cash—> fiat inside consumer apps was easy, it would open new opportunities.

[SEC @seccingaround]

@gakonst @mpp @tempo @stripe @solana How can I go from fiat in my bank account to paying a specific wallet today on tempo?

[SEC @seccingaround]

@mil000 Comes with software that gets u 20 yrs in federal prison with the dementors

[SEC @seccingaround]

@spengrah I think agent identity will be tied to operator identity (human in the loop). It will be many to one.

But done in a way where operator identity isn't leaked. Probably a form of ZK.

If you're interested in this, we should talk!

[SEC @seccingaround]

@jefielding Why is everyone so negative

[SEC @seccingaround]

@no__________end OGs remember. Can't forget it because the name augur is sick.

[SEC @seccingaround]

@notorious_d_e_v The apis still have to deal with unauthenticated traffic no?

[SEC @seccingaround]

@samthekorean @fdotinc @_buildspace Doing well for our country. Thanks. Would be interesting to see if I can help out

[SEC @seccingaround]

@ethankongee I dont entirely agree because that specific agentic task may disappear, but the agent's identity is persistent in that it will do future tasks. Identity and reputation

[SEC @seccingaround]

@itspairaw @facelessfarms @Kalshi @cluely @instinct_inc haha where does this meme come from?

[SEC @seccingaround]

@matiasszarfer @ycombinator @speedrun dm'd :)

[SEC @seccingaround]

@hazan0608 looks like no one actually answers the question here lol...

[SEC @seccingaround]

@based16z we need to prevent an eternal payment monopoly class together