driven
32 stories and discussions about driven, aggregated from every source we track.
Picture this: you’re sitting there, writing a compiler, when all of a sudden you have to generate assembly. You have some intermediate representation (IR) but now you have to turn virtual registers into machine…
<p>smoltcp is a standalone, event-driven TCP/IP stack that is designed for bare-metal, real-time systems.</p>
UnoDOS — active development (the forward, contract-driven line; master carries the pc64 x86-64/UEFI world). Frozen legacy (archived): hmofet/unodos-3-legacy. - hmofet/unodos
Event-driven, harness-neutral API and CLI for live coding-agent sessions - markwylde/all-your-agents
<p>From the Abstract:</p> <blockquote> <p>Localizing type errors is challenging in languages with global type inference, as the type checker must make assumptions about what the programmer intended to do. We introduce Nate, a data-driven approach to error localization based on supervised learning. Nate analyzes a large corpus of training data — pairs of ill-typed programs and their “fixed” versions — to automatically learn a model of where the error is most likely to be found. Given a new ill-typed program, Nate executes the model to generate a list of potential blame assignments ranked by likelihood. We evaluate Nate by comparing its precision to the state of the art on a set of over 5,000 ill-typed OCaml programs drawn from two instances of an introductory programming course. We show that when the top-ranked blame assignment is considered, Nate’s data-driven model is able to correctly predict the exact sub-expression that should be changed 72% of the time, 28 points higher than OCaml and 16 points higher than the state-of-the-art SHErrLoc tool. Furthermore, Nate’s accuracy surpasses 85% when we consider the top two locations and reaches 91% if we consider the top three.</p> </blockquote>
Rails gives AI coding agents a convention-driven, expressive framework for building production-quality software quickly.
Color has become one of the most important tools in my daily development workflow. When I am moving across dozens of solutions, projects, and file types, a ...
A new IEA report finds the Hormuz-driven energy crisis has put 35% global electrification by 2035 within reach, framing a key COP31 pledge.
A cybersecurity harness for full-stack LLM-driven penetration testing. Find and fix vulnerabilities autonomously, 24/7. [RESEARCH PREVIEW] - 0sec-labs/0
Learn how Datadog verifies AI-generated systems at scale using deterministic testing, formal methods, and observability-driven feedback loops.
SEED is a persistent, player-driven life and MMO simulation. Join Early Access and be one of the first to shape this ever-evolving new world.
A collection of high‑quality, reflection‑driven components that make it EZ4 developers to build modern applications. - sbalmt/ez4
MahaBodi: memory-driven System-1 decisions for AI agents over large option sets (choices, yes/no, routing), in Rust, built on fastmemory and Laya.
You don't vibe your way to enterprise software. You spec it.
A Basel Action Network report sought to include the entire universe of electronics used in AI applications, including servers and power supplies. Data sovereignty laws and upgrades could also increase tons generated.
How I built a dual-path synchronization architecture for 7 VS Code extensions using VS...
Why LLMs changed what we expect from monitoring, and why centralized, queryable context makes every alert investigable.
All four AI workflows shipped the same feature. One took 4 minutes, another took 2 hours.
Secure, reproducible KVM lab for agent-driven ML research: per-user VMs with driver / trusted / hostile zone isolation, plus five standalone scientific-state MCP servers - cloudcell/labloop
Evidence-driven longevity intelligence. New research, clinical trials, and what the evidence now supports.
Most corporate reporting is a productivity placebo. Here's why we skip the MBRs and QBRs at PostHog, and what we do instead.
Tutorial for getting started with gpui a rust-driven UI framework with performance as a top priority, from the makers of zed - hedge-ops/gpui-tutorial
Software development is moving fast, but AI coding tools often get stuck in a vibe coding loop. you give an agent a prompt, it gives you code that looks almost right, but is broken somewhere, and you spend hours fixing…
NOTE: This blog post assumes knowledge of GPU programming, GPU-driven rendering, D3D12 and systems programming.
Watch the latest forecast and weather videos from our forecast centre plus uploads from around the globe!
React useActionState in 2026: Replacing useReducer for Server-Driven Form Logic This...