Sergio ‘shadown’ Alvarez
3.4K posts

Sergio ‘shadown’ Alvarez
@searchio
Cybersec Lead @ GE Vernova | 25+ yrs RE/vuln/exploits (embedded/defense). Ex-n.runs/Recurity. AI research since 2017 - (EP3726776A1). Author on AI attacks.


introducing polymarket cli - the fastest way for ai agents to access prediction markets built with rust. your agent can query markets, place trades, and pull data - all from the terminal fast, lightweight, no overhead






AI has crossed a key threshold. Its now participating in mathematics by generating nontrivial arguments, uncovering hidden structure, and solving famous valued problems without a predefined path. We now have a working loop where AI proposes a full argument, a proof assistant (like Aristotle) mechanically checks it and then finally a human expert removes any accidental loopholes.


China added 256 GW of solar in the first half of 2025 alone. For perspective: the US has installed 262 GW of solar in its entire history. China is now adding more solar capacity in 6 months than the US built over decades.

RATING • 7.0 para #TN con la cobertura de la detención de Maduro por parte de Estados Unidos.

















