Excited to share the KDA: Kernel Design Agents that... powers HAN Lab Kernel Mafia top ranking #1~3 kernels at Kernel Contest🚀🚀🚀 Thanks to agents, everyone can be a "kernel bro" in 2026: By adapting the KDA, the team ranked #1 in MoE, #2 in DSA, and #3 in GDN in the Pure Agent track at MLSys FlashInfer Kernel Contest – especially given the fact that the main participant (dongyun zou) has only written ~400 LoC triton and 0 lines of CUDA in 2026. The core philosophy here is to leverage Humanize (the best harness framework) to let the agent run autonomously for as long as possible. By minimizing human involvement and input, and placing full trust in the agent, we can achieve kernel performance that nears SOTA levels. HAN Lab Mafia Solution to MLSys’26 Kernel Contest: KDA Github:show more

The Kernel community is leveling up. More involvement. More... impact. More rewards. 100,000 $KERNEL tokens up for grabs. Ready to earn by contributing? Jump in now 🍿show more

Gamers when they see the word "kernel" but they... don't understand that you can go deeper than kernel mode with blumber schlumpkie mode (enabled in the BIOS)show more

Kernel Kollective is back for round 2! 🍿 This... round brings: ✦ 40,000 $KERNEL in rewards for top contributors ✦ Fresh quests across Kelp & Gain ✦ A 1.5-month sprint to climb the leaderboard (ends Sep 30) Whether you’re here to earn, compete or grow with the community, now’s the time to jump in. 🌱 ⚓show more

An analysis of CVE-2026-21236 - A heap based buffer... overflow in the Microsoft Windows Kernel afd.sys - was just published by Emily L a recent secondment with my team EDG! Nice work for her first triage of a kernel memory corruption bug!show more

Kernel Kollective is back for Sprint #3! 🍿 This... round brings even more fire: ✦ 30,000 $KERNEL in rewards ✦ Brand-new quests across Kelp & Gain ✦ A month-long sprint to rise through the ranks (ends Oct 31) If you thought the last sprint was competitive, this one sets the bar higher.show more

Our agent autonomously found this kernel 0day and its... exploit works on the #KCTF target. We are building to find vulnerabilities systematically, not just shadow bugs. See the quoted post below—comment "depthfirst" and we'll send you a free agent to try out.show more

A kernel of wisdom from the myth and stories... vault… not every berd will be ready to leave the nest… times change, and people change too. be flexible, and put your trust in the ones you care aboutshow more

Just 1 day to go for $KERNEL

KernelDAO Airdrop Season 1 wrapped up with a bang!... 🌟 Highlights: ✧ 350K+ participants ✧ 2.1B+ Kernel Points earned ✧ 10% of total $KERNEL supply allocated Dive in! 🧵show more

🧃 Introducing stereOS: a Linux based operating system hardened... and purpose built for AI agents. It's clear that agents need an ACTUAL operating system (not what people are calling an "OS") to witness the full breadth and depth of their capabilities while mitigating the blast radius of autonomous, untrusted actors. But there are so many problems with AI sandboxes today: * Going out to the apple store and buying a mac mini will never scale and is way too expensive (obviously) * Running in Docker is too restrictive (agents can't stand up their own container infrastructure, no sub virtualization, docker-in-docker is very broken) * Firecracker strips all the hardware so GPU PCIe passthrough, secure boot, FIPs, etc. is out of the question. * Native VMs are too fat and the overhead of 1 agent per VM is too much. stereOS takes a different approach: it's a full NixOS system that you boot and then kick off agent sandboxes inside with gVisor + /nix/store namespace mounting. Each agent gets their own kernel and the /nix/store is read only by nature. Even if the agent was somehow able to escape the gVisor virtual kernel, they'd land on the NixOS system as the "agent" user! Not your actual hardware!! If you want to take a defense-in-depth approach, we support "native" agents that run at the system level kicked off by our `agentd` utility. These agents, on their own, can manage and kick off other sub agents using the internal sandboxing mechanisms. Today, we're open sourcing all of this: * stereOS: our purpose built Linux OS - * masterblaster: client utility to launch, manage, and orchestrate agents - * stereosd: the stereOS system control plane daemon - * agentd: the stereOS system agent management daemon - Give it a try, throw us a star, and let me know what you think 🧃⭐️show more

There’s almost too much to unpack in this corn... rap on the Macys Day Parade 🤦🏼‍♀️ but the little kernel in this life lesson is… in order to make it in the world and POP…you’re gonna have to do your “corn dance” at some point. #Shucked 🌽show more

Restaking changed the game on Ethereum $1.8B+ in TVL... didn’t just show interest, it proved the model works. But that was only chapter one. The real question: Can restaking break out of Ethereum and scale across ecosystems? That’s exactly what KernelDAO | $KERNEL is Live is answering. Introducing the first modular restaking layer built natively for BNB Chain — not a fork, not a copy-paste job, but designed from day one to run with BNB’s speed, structure, and ecosystem in mind. • Faster execution • Lightweight architecture • Built to move like BNB moves And here’s the kicker — the $KERNEL TGE is just around the corner: April 14th. 4 days. If you’ve been watching restaking evolve, you already know what kind of opportunity this is. Why it matters: • Airdrop potential • High-yield plays • Structured products that actually give upside And Kernel is just one piece of the puzzle: Kelp is already running LRTs Kernel brings shared security to BNB Gain unlocks vaults tailored for high-conviction rewards Each protocol is strong on its own. Together? They’re building something you might seriously regret sleeping on. The restaking wave is going multichain — and BNB just got its native layer. Kelpshow more

$KERNEL (KernelDAO) is now available on Nexo. ▪️ Buy... with card, Apple Pay, or Google Pay ▪️ Тop up to your Nexo account via Ethereum network ▪️ Borrow against your $KERNEL ▪️ Spend globally with the Nexo Card ▪️ Send to a friend in a flash Get started. ⤵️show more

1/ [BIG NEWS] Restaking #Bitcoin on BNB Chain is... now possible! 🎉 💪 Finally, BTC holders can unlock the benefits of restaking on BNB Chain. Supercharged by KernelDAO. Be one of the first to get a 6x Seeds boost + 1.25x Kernel Points Boost! 👉show more

dingcad dot com deployed what you're seeing: a model... defined in code, that gets its STLs generated using a boolean manifold kernel written in cpp, a cross platform rendering framework, all linked to zig with zig bindings this builds to web AND macos AND ios AND androidshow more

A popcorn kernel popping

Replit, Vercel, and OpenAI have built very cool agent-native... applications, but nobody else has passed the demo stage. Building agents that work is complex. Teams aren't shipping agents because we don't have good tooling yet (and most of us don't know how to do this well.) A couple of days ago, the CopilotKit🪁 team announced a collaboration with . You can now use LangGraph with CoAgents to build agent-native applications, and here is everything you need to know about that: CoAgents is fully open-source, and you can use it to do the following: • Human-in-the-loop to steer and correct the agent • Stream intermediate agent state • Real-time state sharing between the agent and the application • Agentic generative UI to build trust that the agent is on the right path Start this GitHub Repository: Thanks to the team for giving me early access and collaborating with me on this post.show more

It’s happening. It’s REALLY happening. 🎉 $KERNEL TGE -... The Greatest Event (literally), is finally here! Get ready to make history with us.show more

The cognitive dissonance- people at Auckland Zoo love the... orangutans. Meanwhile NZ Dairy industry imports millions of tonnes of palm kernel, product of the palm industry that is destroying orangutan habitat.show more

[PS5] Jak X: Combat Racing (EU) - UltraC0re test.... - Userland up to 13.40 (latest). - Kernel up to 12.70 (P2JB). Note : There is still no public kernel exploit beyond firmware 12.70.show more