Emmanuel 🇬🇭🦉(PropAMM dealer) retweeted
South Korea's financial regulator said Thursday that crypto exchanges will get a no-action letter to halt deposits and withdrawals when they suspect a hack. The Financial Services Commission also told exchanges to keep the amount of users' crypto they hold online to the minimum needed for trading.
unchainedcrypto.com/south-korean-r…
unchainedcrypto.com/south-korean-r…
4
1
10
1,930
And if Lori takes him back I hope she makes Jensen do all the house chores by hand, and solve hard math problems with no AI, and drive her to all her appointments!
Tbh what really matters the most now is for Jensen to go back to Lori, apologise, and work on honouring her.
They’ve come a long way together and this resignation is probably the best opportunity for him to rebuild his home, and if she’ll have him again, rebuild with her.
0
0
0
109
Tbh what really matters the most now is for Jensen to go back to Lori, apologise, and work on honouring her.
They’ve come a long way together and this resignation is probably the best opportunity for him to rebuild his home, and if she’ll have him again, rebuild with her.
They’ve come a long way together and this resignation is probably the best opportunity for him to rebuild his home, and if she’ll have him again, rebuild with her.
NVIDIA announces CEO transition. Read the release: nvidianews.nvidia.com/news/nvidia-an…
1
0
0
231
Emmanuel 🇬🇭🦉(PropAMM dealer) retweeted
Plenty of lasting ai generated software came out of this year, it’s just wasn’t for software engineers.
AI pilled orgs now have tons of internal
tooling no one could afford to build before, vibe coded by ops, marketing, etc domain experts who needed it.
AI pilled orgs now have tons of internal
tooling no one could afford to build before, vibe coded by ops, marketing, etc domain experts who needed it.
remember that wave of ai psychosis from the beginning of the year?
what lasting software came out of that? the entire discussion was everyone marveling at the process
you gotta learn the lesson that techniques aren't worth discussing until you see impressive output
1
1
5
355
Emmanuel 🇬🇭🦉(PropAMM dealer) retweeted
"My partner Charlie says: there's only 3 ways that a smart person can go broke -- he says 'liquor, ladies and leverage'" - Warren Buffet
109
1,434
10,439
424,813
*gestures at $NVDA*
Nvidia Shares Plunge As Board Reportedly Prepares To Oust CEO Jensen Huang
go.forbes.com/iDxmBO
1
0
2
230
Emmanuel 🇬🇭🦉(PropAMM dealer) retweeted
“Jensen was caught cheating”
“Yeah with the Chinese spy that’s old news”
“Different woman”
“Yeah with the Chinese spy that’s old news”
“Different woman”
122
4,752
107,965
691,281
Never before has the world faced the 'separate the art from the artist' debate in real time. Incredible stuff.
88% OF 232 NVIDIA $NVDA EMPLOYEES SURVEYED WANT JENSEN HUANG TO STAY CEO
0
1
5
273
Emmanuel 🇬🇭🦉(PropAMM dealer) retweeted
it’s dangerous to go alone.. take this
75
4,390
25,930
327,395
Emmanuel 🇬🇭🦉(PropAMM dealer) retweeted
Arcus (the dYdX Labs x Robinhood DEX on Robinhood Chain) lost $2.23M on Nov 10.
- No oracle hack. No stolen key. Prices were fine.
- One transfer between a user's own subaccounts credited more than it debited.
I traced it on-chain :
- No oracle hack. No stolen key. Prices were fine.
- One transfer between a user's own subaccounts credited more than it debited.
I traced it on-chain :
5
2
78
11,192
Emmanuel 🇬🇭🦉(PropAMM dealer) retweeted
Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code underlying the Signal messaging protocol. This is the first time the actual production code of a widely deployed protocol has been formally verified – by hout AI – and at this depth.
More than a research breakthrough, it’s a prime example of how frontier AI can be a force multiplier to counter the speed and scale of modern cyber threats.
Formal verification offers a higher standard of security; however, it’s extremely complex and time consuming, which is why in many cases it’s considered to be impractical. Similar efforts could take teams decades of combined effort. We did it in a month’s time.
Using AlphaProof Code, Google DeepMind's new agentic framework for formal verification that runs on LLMs including Gemini Carbon, we verified the Signal protocol down to the actual code running on devices. This milestone lays the groundwork for a future in which vital systems, from medical device firmware to power grid software, ship with mathematical proof that their protections work.
Reaching that future will take continued research from our community. In that spirit, we're open-sourcing our formal specifications and verification artifacts so others can build on this work.
On a personal note, this moment is of deep significance to me. I started my own research journey more than two decades ago as an intern working on checking the consistency of complex software systems. Seeing this grand challenge made practical with modern AI is extraordinary.
I'm extremely proud of my team members: Swarat Chaudhuri, Andrew Ferraiuolo, Anton Kovsharov, Tej Chajed, Sam Schlesinger, Karn Seth, Jonathan Katz, and Charles Sutton for taking on this grand challenge and delivering, and grateful to the Signal team for their partnership.
deepmind.google/blog/formal-ve…
More than a research breakthrough, it’s a prime example of how frontier AI can be a force multiplier to counter the speed and scale of modern cyber threats.
Formal verification offers a higher standard of security; however, it’s extremely complex and time consuming, which is why in many cases it’s considered to be impractical. Similar efforts could take teams decades of combined effort. We did it in a month’s time.
Using AlphaProof Code, Google DeepMind's new agentic framework for formal verification that runs on LLMs including Gemini Carbon, we verified the Signal protocol down to the actual code running on devices. This milestone lays the groundwork for a future in which vital systems, from medical device firmware to power grid software, ship with mathematical proof that their protections work.
Reaching that future will take continued research from our community. In that spirit, we're open-sourcing our formal specifications and verification artifacts so others can build on this work.
On a personal note, this moment is of deep significance to me. I started my own research journey more than two decades ago as an intern working on checking the consistency of complex software systems. Seeing this grand challenge made practical with modern AI is extraordinary.
I'm extremely proud of my team members: Swarat Chaudhuri, Andrew Ferraiuolo, Anton Kovsharov, Tej Chajed, Sam Schlesinger, Karn Seth, Jonathan Katz, and Charles Sutton for taking on this grand challenge and delivering, and grateful to the Signal team for their partnership.
deepmind.google/blog/formal-ve…
225
695
5,757
585,917
Emmanuel 🇬🇭🦉(PropAMM dealer) retweeted
ON VETERANS DAY, THE EQUITY MARKET SHALL BE OPEN AND THE BOND MARKET SHALL BE CLOSED.
WHILST ON GOOD FRIDAY, THE EQUITY MARKET SHALL BE CLOSED AND THE BOND MARKET SHALL BE OPEN, BUT ONLY UNTIL NOON.
AND IN 2022, WE SHALL ADD JUNETEENTH CLOSING BOTH EQUITY AND BOND MARKETS.
WHILST ON GOOD FRIDAY, THE EQUITY MARKET SHALL BE CLOSED AND THE BOND MARKET SHALL BE OPEN, BUT ONLY UNTIL NOON.
AND IN 2022, WE SHALL ADD JUNETEENTH CLOSING BOTH EQUITY AND BOND MARKETS.
40
187
3,145
178,334
Emmanuel 🇬🇭🦉(PropAMM dealer) retweeted
Today, we launched Gemini for healthcare. Clinicians spend nearly 28 hours a week reconciling records and administrative work across disconnected systems, while their patients wait for answers. By connecting to EHR and payer systems, we help teams spend less time assembling paper work and more time delivering better patient outcomes. It's a meaningful step forward for patient care, and I hope a sign of much more to come.
Learn more on the Google Cloud blog: cloud.google.com/blog/products/…
#GoogleCloud #Gemini #HealthcareAI
Learn more on the Google Cloud blog: cloud.google.com/blog/products/…
#GoogleCloud #Gemini #HealthcareAI
33
72
457
46,659
This is the most cyberpunk thing to come from Apple.
In the future, you'll be able to share your private inference server as a hotspot and connect to others as well, just like we do with WiFi today.
gg @johnternus
In the future, you'll be able to share your private inference server as a hotspot and connect to others as well, just like we do with WiFi today.
gg @johnternus
Apple is working on a new app called Harbor
Harbor turns your Mac into a private AI inference server. Run open-weight models locally on Apple silicon—your data never leaves your hardware, and nothing reaches the cloud. Connect multiple Mac computers over Thunderbolt 5 to pool g large models and higher concurrency that a single computer can handle alone.
Set up in minutes, not hours Harbor automatically detects your devices over Thunderbolt 5 to form a cluster. Plug in, start, and you’re running—no manual configuration, no command line, no infrastructure expertise required.
Download and run models directly Browse, download, and load open-weight models from within the app. Harbor handles model management so you can focus on the work, not the setup.
Cluster for scale Connect two or more Thunderbolt 5-capable Mac computers and Harbor pools their unified memory into a single inference resource. Run models that exceed any single computer’s capacity, or serve more concurrent requests across your cluster.
Harbor is currently in a private preview under the Claris brand.
1
0
5
380
@johnternus if by chance you see this, please give us a new MacBook Pro with the Touch Bar 🙏
0
0
1
65