abdel

@AbdelStark • 31,513 subscribers

building mission critical software for 15+ years, head of freedom tech @StarkWareLtd, creator of ecosystems, believe in AI safety by design, open source warrior

Shorts

Can LLMs be PROVABLE computers? Percepta showed that a transformer can BE a computer. Compiled weights, deterministic execution, 30k tokens/sec. But nobody asked the obvious follow-up: how do you know it computed correctly? So I built the verification layer. A STARK that proves it 👇

Can LLMs be PROVABLE computers? Percepta showed that a transformer can BE a computer. Compiled weights, deterministic execution, 30k tokens/sec. But nobody asked the obvious follow-up: how do you know it computed correctly? So I built the verification layer. A STARK that proves it 👇

178,662 次观看

bUT WhAt CaN YoU Do WiTh ThoSE PRoOfs ? Here you go: TrustMeBro is a showcase of a mini ZK-ready Bitcoin explorer where anyone can verify transaction and block validity right in their browser, instant, trustless, no middlemen. Think about it like TLS. 99.99% of people browsing the web have no clue how a secure session actually works, but they've all internalised that green lock meaning "you're safe." ZK can be the same. Run a local verification under the hood, flash a simple badge, verified or not, and boom! Starknet tech looking good from here. As I said many times, Bitcoin x STARKs is a math match made in heaven. Won't stop till the whole damn world is proven. One STARK at a time.

bUT WhAt CaN YoU Do WiTh ThoSE PRoOfs ? Here you go: TrustMeBro is a showcase of a mini ZK-ready Bitcoin explorer where anyone can verify transaction and block validity right in their browser, instant, trustless, no middlemen. Think about it like TLS. 99.99% of people browsing the web have no clue how a secure session actually works, but they've all internalised that green lock meaning "you're safe." ZK can be the same. Run a local verification under the hood, flash a simple badge, verified or not, and boom! Starknet tech looking good from here. As I said many times, Bitcoin x STARKs is a math match made in heaven. Won't stop till the whole damn world is proven. One STARK at a time.

32,101 次观看

Videos

Anya Rossi

sweetdream.ai

SweetDream.ai•Sponsored•Livecam

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

Exclusive private shows

1.2k viewers online

Private Show

Join now for exclusive access

Free preview available • Premium content

Congrats to the Kimi.ai team! This is awesome. Great to see this level of research coming from open-source frontier model labs. I liked the paper so much I built a Rust implementation of it ;) Full AttnRes + Block AttnRes with two-phase inference, built using Burn (tensor library and Deep Learning Framework, in Rust, by Tracel AI). Runs on CPU, CUDA, Metal, wgpu. Includes an interactive TUI that trains a model live and visualizes depth attention evolving from uniform to selective in real time. Repo link and more on what is implemented in the comments.

Congrats to the Kimi.ai team! This is awesome. Great to see this level of research coming from open-source frontier model labs. I liked the paper so much I built a Rust implementation of it ;) Full AttnRes + Block AttnRes with two-phase inference, built using Burn (tensor library and Deep Learning Framework, in Rust, by Tracel AI). Runs on CPU, CUDA, Metal, wgpu. Includes an interactive TUI that trains a model live and visualizes depth attention evolving from uniform to selective in real time. Repo link and more on what is implemented in the comments.

94,633 次观看 • 2 个月前

Introducing WorldForge: testable world-model workflows for physical AI systems. You can think of it, loosely, as “LangChain for world models”. The problem is that “world model” has become an overloaded label. Depending on context, it can mean a video generator, a cost model, a robot policy, a JEPA-style latent predictor, etc. They share almost nothing, different inputs, runtimes, failure modes. I built WorldForge to stop pretending they're interchangeable. Front-door demo: a real Hugging Face LeRobot (LeRobot) diffusion_pusht policy combined with LeWorldModel by Lucas Maes checkpoint for scoring. Both run locally on my MacBook in the demo video. LeWM is extremely efficient (~15M params), can plan up to 48× faster, and runs on commodity hardware. WorldForge wires the loop: policy → candidates → score → select Replay happens in a local TUI today, but the same loop could drive a real robot in the world. Would love feedback from people working on world models, physical AI, robotics, ML infra, and adjacent tooling. Fully open source. Contributions very welcome. Plan in the dream, replay in real world.

Introducing WorldForge: testable world-model workflows for physical AI systems. You can think of it, loosely, as “LangChain for world models”. The problem is that “world model” has become an overloaded label. Depending on context, it can mean a video generator, a cost model, a robot policy, a JEPA-style latent predictor, etc. They share almost nothing, different inputs, runtimes, failure modes. I built WorldForge to stop pretending they're interchangeable. Front-door demo: a real Hugging Face LeRobot (LeRobot) diffusion_pusht policy combined with LeWorldModel by Lucas Maes checkpoint for scoring. Both run locally on my MacBook in the demo video. LeWM is extremely efficient (~15M params), can plan up to 48× faster, and runs on commodity hardware. WorldForge wires the loop: policy → candidates → score → select Replay happens in a local TUI today, but the same loop could drive a real robot in the world. Would love feedback from people working on world models, physical AI, robotics, ML infra, and adjacent tooling. Fully open source. Contributions very welcome. Plan in the dream, replay in real world.

16,617 次观看 • 1 个月前

Provable SHRIMPS: Post-quantum hash-based signatures verified in Cairo with STARK proofs. As usual Blockstream Research is killing it on the post quantum bitcoin research. SHRIMPS 🦐 is so cool that I made provable shrimps, it could be useful to for batch shrimps signature verification. Don't panic, as Adam Back said: "SHRIMPS & bitcoin quantum readiness > quantum FUD."

Provable SHRIMPS: Post-quantum hash-based signatures verified in Cairo with STARK proofs. As usual Blockstream Research is killing it on the post quantum bitcoin research. SHRIMPS 🦐 is so cool that I made provable shrimps, it could be useful to for batch shrimps signature verification. Don't panic, as Adam Back said: "SHRIMPS & bitcoin quantum readiness > quantum FUD."

25,272 次观看 • 2 个月前

Here is a full demo of an onchain verification of a STARK proof of a Fibonnacci computation, on Catnet (custom Bitcoin signet with OP_CAT enabled). Based on the amazing work of Weikeng Chen | BIP-420 🐱!

Here is a full demo of an onchain verification of a STARK proof of a Fibonnacci computation, on Catnet (custom Bitcoin signet with OP_CAT enabled). Based on the amazing work of Weikeng Chen | BIP-420 🐱!

76,623 次观看 • 1 年前

Breaking news coming from El Salvador today, let me introduce you the first Starknet powered Bitcoin ATM in the world! Edgar Borja did the first ever Bitcoin purchase from a K1 Technology ATM where the funding is coming from a Starknet wallet via an atomic swap to Lightning!

Breaking news coming from El Salvador today, let me introduce you the first Starknet powered Bitcoin ATM in the world! Edgar Borja did the first ever Bitcoin purchase from a K1 Technology ATM where the funding is coming from a Starknet wallet via an atomic swap to Lightning!

28,949 次观看 • 10 个月前

L402 is HTTP for payments, literally, and it's cool! Built a Rust implementation for an API paywalled with the L402 protocol, as well as a demo frontend. Try it yourself: Pay with Lightning and query the latest Bitcoin block.

L402 is HTTP for payments, literally, and it's cool! Built a Rust implementation for an API paywalled with the L402 protocol, as well as a demo frontend. Try it yourself: Pay with Lightning and query the latest Bitcoin block.

18,073 次观看 • 1 年前

Wanna start dev Starknet projects ? Made a quick tool using kickstart, a Rust CLI to easily get a new project up and running by using pre-made templates. It will create a ready to use project using the great Starknet Foundry toolchain.

Wanna start dev Starknet projects ? Made a quick tool using kickstart, a Rust CLI to easily get a new project up and running by using pre-made templates. It will create a ready to use project using the great Starknet Foundry toolchain.

13,905 次观看 • 2 年前

没有更多内容可加载