Letheo - Cognitive Runtime: agent memory engine (Rust + Python) - Abick91/letheo Read more ›
Project Code： What is euv? euv is a modern frontend UI framework built on Rust and WebAssembly (WASM). It brings the performance and type safety of Rust to the browser, enabling developers to build fast, reliable web applications. At its core, euv uses a virtual DOM for efficient UI updates and a reactive signals system for state management — similar in spirit to frameworks like React and Solid, but with the unique advantages of the Rust ecosystem. Key Features Rust + WASM: Write your fronten... Read more ›
Like every developer, I have a graveyard of bookmarked "online tools." One site to format JSON, another to generate a password, a third to count words, a fourth to convert a timestamp. Each one slow, ad-heavy, and — the part that always bugged me — quietly posting whatever I paste to some server I know nothing about. That last bit is the thing most people never think about. You paste an API response into a "free JSON formatter," and you have no idea whether that payload (tokens and all) just ... Read more ›
A batteries-included AI coding agent for your terminal — MCP, LSP, plugins, code intelligence, and memory, all built in. ~8MB RAM idle, ~36MB binary. Native Rust. Read more ›
I built a tool called "kaggle-dingdong" that automatically fetches Kaggle competition information and sends notifications to Email, Slack, and Discord. It runs daily on a schedule via GitHub Actions, and you get notified whenever a new competition is published. Why I Built This Checking the Kaggle competitions page every day is tedious. Featured competitions in particular have entry deadlines, so missing them means losing the opportunity. While RSS feeds and official notification features exi... Read more ›
Developing a profitable automated Polymarket trading bot is harder than most developers expect. Retail-dominated order flow creates inefficiencies, but turning them into consistent alpha requires rigorous testing, realistic execution simulation, and mathematical discipline. This post summarizes a real-world development journey that tested four distinct strategies — from naive directional bets to a current mathematically-rigorous arbitrage engine. Strategy Evolution & Hard Lessons 1. Crypto 15... Read more ›
This change is to replace the kernel console fbcon with the userspace console kmscon in Fedora, to provide an enhanced and more secure console for Fedora users. Read more ›
AI Provenance Risks, Honda Key Fob Vuln, & Rust Miri FFI Safety Today's Highlights This week, we examine critical security insights across diverse domains, including the integrity of "homegrown" AI models, a practical key fob vulnerability impacting Honda vehicles, and advanced defensive techniques for ensuring memory safety in Rust applications via Miri. These stories highlight the ongoing need for vigilance in supply chain trust, physical system hardening, and robust software development pr... Read more ›
Your team just shipped "offline mode" for your field-service app. Technicians work in basements, tunnels, plant floors — connectivity is unreliable. The demo looked great. Navigator.onLine said false, the app kept working, the sync button pulsed green. You shipped to 400 users. Then the incident reports started. Technician in Munich finishes a repair job offline, syncs when she gets signal. Her updates are gone — overwritten by a colleague who edited the same record online 12 minutes earlier.... Read more ›
Single-binary Rust microVM for AI-agent code execution. ~12 ms cold start, ~0.5 MiB Pss per fork. - ip888/rust-nano-vm Read more ›
Open up the source code of any agent framework, harness, etc. Hermes, Copilot, Pi, Opencode or whatever. You will find tools, tools everywhere. Examples: These are bash hooks, file viewers, file editors, greps, questions, tasks, web search. Your harness is a loop, and on each loop, all these tools and their individual instructions are injected in the context. That is why initial request using opencode is 10k tokens for no reason. Do we have problems with tools? Yes, and a lot. Some tools just... Read more ›
We love Rust for how much the compiler helps enforce safety. But sometimes it's up to us to uphold the complex--and often unclear--expectations of what constitutes safety on our own. Oxide colleagu... Read more ›
You'd think that given the same bytes of input you'd get the same bytes of output. lol. lmao. No, you don't. It's complicated. Read more ›
Wrong‑thread crashes are the first crash pattern where the code is correct, the memory is valid, the stack is clean, and yet the program still crashes. The failure is contextual, not spatial: the right code runs on the wrong thread. This article shows how to recognize S4 crashes, diagnose them efficiently, and fix the underlying scheduling and ownership defects — in the same symptom‑first style as the rest of the Crash Pattern series. 1. What Is a Wrong‑Thread Crash? A wrong‑thread crash occu... Read more ›
A coding agent can edit one function beautifully. But ask it a global question — "what breaks if I change this?", "can this write run without the tenant check?", "is this migration destructive?" — and it often starts guessing. For a while, I thought the answer was better token efficiency. Now I think the deeper question is: what facts do you hand the agent in the first place? I recently wrote on Medium that token spend only becomes an asset when you redesign the work around it — verification,... Read more ›
Open-source web crawler in Rust. Contribute to AICrox2025/SuperCrawl development by creating an account on GitHub. Read more ›
So far we have seen the planner build candidate paths and rank them by cost, choose join methods and join orders, and estimate those costs from statistics. But before any of that cost comparison begins, the planner does something else first. It takes the incoming Query tree and rewrites it once into a shape that is easier to optimize. That rewriting is preprocessing. In processing order, preprocessing is the planner's very first step. Yet why it pays off only becomes clear once you understand... Read more ›
Ever found yourself breaking your flow just to Google a word? As a developer, I spend most of my day in the terminal. Jumping to a browser just to look up a definition always felt like an unnecessary context switch. I wanted a dictionary that lived where I already work — fast, clean, and optionally powered by AI. That's why I built Lexicon. What is Lexicon? Lexicon is a Python CLI dictionary that provides instant word definitions, examples, synonyms, and AI-powered explanations directly from ... Read more ›
pnpm workspaces in a monorepo: the setup that survived CI on Railway and the problems the docs don't warn you about The correct fix for speeding up installs in a TypeScript monorepo is adding more constraints to package resolution. I know that sounds backwards — intuition says "if something's broken, loosen the config." But with pnpm workspaces, loosening hoisting is exactly what turns a stable CI into one that fails in a different way every single time. My thesis: pnpm workspaces is the best... Read more ›