Tailscale VM identities, an unattended AI patch agent, and Asahi Linux's Apple Silicon power work lead the week
Tailvisor, an open-source sandbox built on Apple's Virtualization.framework, gives macOS and Linux guest VMs their own Tailscale identity by routing all guest networking through a tsnet node on the host; no Tailscale client runs inside the guest. Aeon, an MIT-licensed agent framework, runs entirely as a GitHub repository plus Actions cron jobs and has been used to audit open-source repos, write patches, open PRs or private security advisories, and track fixes; its public disclosure board lists 70 hardened repositories with 2.1 million combined GitHub stars.
On the OS and systems side, Asahi Linux detailed its workaround for missing PSCI on Apple Silicon: without an EL3 firmware layer, the kernel uses a custom cpuidle driver that cannot be upstreamed, and developer Sven is now implementing a UEFI Runtime Services-based PSCI conduit with m1n1 as a firmware layer. Separately, SwiftOS, a hobby kernel written entirely in Embedded Swift for 64-bit ARM, runs on a Hetzner Cloud ARM VM and serves its own site over HTTPS with no Linux inside the guest; its stack includes a custom TCP/IP implementation, a capability-based security model, and a three-tier filesystem.
For AI and optimization, FLARE introduces a Lean-formalized definition of MILP reformulation and uses an LLM-based agent to check proposed formulations against reference formulations, moving beyond numerical sample testing. FLINT targets LLM inference memory limits by using High Bandwidth Flash and a hardware burst-buffer controller to coalesce and pipeline reads.
Developer tooling also advanced. Building Tyr in Rust, Part 3 focuses on GPU memory allocation and binding memory to virtual addresses for a functional GPU kernel driver. Agent-hop is a Rust TUI that wraps Claude Code, Codex, OpenCode, Pi, and Grok so developers can move between live coding sessions without leaving the terminal. A study of 58 homepages found only 9 respond to the OS dark-mode preference; five major sites (NYTimes, Stack Overflow, Microsoft, Amazon, Airbnb) ship a first-party dark-mode media query that never fires, likely overridden or gated behind an in-app toggle.
In crypto markets, a funding-rate arbitrage analysis warns that the highest funding rate on Binance is often a delisting in disguise: rule changes and delisted assets can create extreme funding rates that matter to engineers running delta-neutral strategies.
» Statistics
- Posts
- 20
- Reads
- 0
- Avg. score
- 7.7
» Most read
- Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving
- Durable Objects Without Cloudflare: On Your Own Database
- Unattended AI Agent Framework Patches Flaws Across 2.1M-Star Repos
- The Highest Funding Rate on Binance Is Usually a Delisting in Disguise
- Study of 58 Homepages Finds Dark Mode CSS Rules That Never Activate
- Flint: Efficiently Leveraging High Bandwidth Flash for LLM Inference
- How to Verify if a Benchmark Truly Has a Source
- SwiftOS: A Custom Kernel in Embedded Swift Now Serves Its Own Website
- Linking 15 Kompromat Sites to a Single Google Publisher ID
- Write the Failing Test First and Ban Deletions
» Top scored
- Tailvisor gives macOS/Linux VMs their own Tailscale identity
- Unattended AI Agent Framework Patches Flaws Across 2.1M-Star Repos
- Asahi Linux Works Around Missing PSCI on Apple Silicon
- SwiftOS: A Custom Kernel in Embedded Swift Now Serves Its Own Website
- Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving
- Study of 58 Homepages Finds Dark Mode CSS Rules That Never Activate
- Flint: Efficiently Leveraging High Bandwidth Flash for LLM Inference
- Building Tyr in Rust, Part 3: Managing GPU Memory
- The Highest Funding Rate on Binance Is Usually a Delisting in Disguise
- Agent-hop: A Rust TUI for Hopping Live Claude Code Chats into Codex