Software Tech News

Following the shutdown of 12ft.io, a developer has launched WallHop as a direct replacement. This free web-based tool allows users to paste any article link and read the content without paywalls, ads, or clutter. It requires no account registration or browser extensions to function.

This tech retrospective explores the history of a 2D vehicle physics prototype originally developed in 1996. The article details the project's evolution over the years, culminating in its modern remaster released as Motion Lab.

Developer Oliver Sin has created a satirical city-building game that tasks players with navigating the frustrating bureaucracy of constructing housing in San Francisco. Instead of traditional gameplay obstacles, players must overcome the city's own red tape and administrative hurdles to succeed.

The PSPi Version 6 project enables makers to build a custom handheld gaming console by housing a Raspberry Pi inside a modified PlayStation Portable shell. Enthusiasts and developers can now contribute to the open-source hardware design and its ongoing improvements via the project's official GitHub repository.

Developers have launched Veda, billed as the first agentic-native hobby operating system designed to integrate AI agents directly into the core computing experience. The open-source project is now live on GitHub, inviting the community to contribute to its ongoing development.

A developer details their experience using Rewind VM, a deterministic virtual machine that treats Nix builds as pure functions to effortlessly isolate and resolve race conditions. The tool has practically built its own advanced debugger features, rapidly expanding to include thread lanes, stack frames, and enhanced GDB support. Despite its powerful capabilities, the author questions why this deterministic approach to debugging complex build environments remains largely underutilized.

DuckDB 2.0 alpha introduces significant performance upgrades over version 1.5.5, achieving up to a 90x speedup for recursive CTEs, 6x faster VARIANT processing, and improved S3 async I/O. The update explores the specific architectural changes responsible for these gains and provides practical advice on data modeling to help developers fully leverage the enhanced speed.

Cockroach Labs developed MOLT Sinai, an AI coding teaching hospital that treats software bugs like patients and manages coding agents as a medical team. After five months of refining this clinical framework, the company successfully shipped IBM Db2 migration support in under two days.

Talorys is a self-hosted personal AI agent that runs entirely on Cloudflare's free tier without collecting any telemetry. The single-user platform provides chat, memory, task management, and scheduled reminders, and can be easily deployed with a single command.

Microsoft has released version 1.0.0 of its Execution Containers to address the security risks posed by AI agents requiring broad system access. Previously, organizations faced a difficult choice between maximizing agent productivity and maintaining strict security controls. This new tool resolves the dilemma by providing a secure, isolated environment for autonomous tasks.

Former MirageOS developer Justin Cormack explains that unikernels are experiencing a resurgence because the historical friction that made them difficult to use has disappeared. With traditional operating systems now viewed as design debt, unikernels offer a compelling and highly secure alternative for modern software deployment.

OpenSCAD is highly regarded for allowing programmers to create parametric 3D models using plain, version-controllable text, but its code-based workflow makes iterative design and complex operations like filleting frustrating. While it remains an excellent niche tool for highly parametric tasks and AI code generation, users caution against using it for general-purpose modeling and instead recommend interactive, kernel-based alternatives like FreeCAD for broader CAD workflows.

Diffle is a new keyboard-first diff viewer designed to help developers navigate code changes efficiently without relying on a mouse. The tool features Language Server Protocol support for enhanced code intelligence and includes direct GitHub integration for seamless version control workflows.

A tech enthusiast has shared a guide detailing how to run classic Macromedia Director games on modern computer hardware. By successfully bypassing outdated copy-protection mechanisms, the author managed to revive numerous nostalgic childhood titles for contemporary systems.

Rampart is a new open-source project that enables browser-native, on-device redaction of personally identifiable information. It operates entirely locally and is recognized as one of the smallest and most effective personal information filters capable of running in a web browser.

A critical vulnerability in Telegram Desktop allowed attackers to steal arbitrary files from a user's computer by simply clicking a malicious link. The flaw exploited an unescaped separator within the application's single-instance IPC mechanism to read and exfiltrate sensitive data, including active session files.

REA is a new tool that allows users to reverse engineer applications, binaries, and browser behavior using a coding agent. The platform simplifies complex software analysis by offering clear guides and interactive examples.

Cloudflare has acquired Deno, the secure runtime for JavaScript and TypeScript, to strengthen its developer platform and edge computing offerings. This strategic move positions the company to integrate Deno's modern capabilities with its global network to build the future of the web.

A new Hacker News project called Carrier-Explode decodes and compares hidden carrier settings across iPhone, Pixel, and Galaxy firmware. The tool breaks down configurations for APNs, VoLTE, 5G, and Wi-Fi Calling to reveal exactly what each carrier and software build changes.

Eurydice is a new tool that compiles Rust code into readable C, providing an alternative to the traditional rustc and LLVM pipeline. This approach allows developers to translate their Rust projects into clean, human-readable C code.

An analysis of 23 core open source projects reveals that 11 of them, including critical tools like sudo and bash, are maintained by only one or two individuals. The study highlights the heavy concentration of development efforts in the ecosystem by detailing the identities and funding sources of these key contributors.

A new FUSE virtual filesystem allows Linux users to mount Proton Drive directly to their local file system. This tool provides seamless access to encrypted cloud storage through standard file managers without the need for a dedicated desktop application.

The newly released Prime Agent has been completely rewritten from the ground up in Rust to improve overall system performance. This major architectural update delivers a faster, cleaner, and significantly more reliable experience for users.

A new productivity tool helps remote workers defend their focus time by generating realistic fake meeting audio on demand. Users can simply press play to create the illusion of being in an active call, effectively deterring colleagues from interrupting their workflow.

A new online archive provides free access to a curated collection of 45 rare tech documents and books, featuring iconic texts like Steve Jobs' Top 100 email and Netflix's culture deck. This project offers tech professionals and enthusiasts a unique opportunity to read the foundational memos and forgotten writings that helped shape the modern technology industry.

Discussions surrounding the Lean Theorem Prover highlight growing concerns over the reliability of AI-generated mathematical proofs and the potential for underlying soundness bugs in the system's kernel. While automated proof checkers are necessary to mitigate AI hallucinations, experts emphasize that human oversight remains the ultimate backstop against theoretical flaws. Furthermore, current autoformalization tools struggle to accurately translate complex papers, often producing formally verified proofs that fail to capture the original mathematical intent.

A recent mathematical paper regarding the irrationality exponent of logarithms of rational numbers has sparked online discussion after a confusing footnote referencing the author of The Da Vinci Code led some readers to question its authenticity. Despite the missing article, the community clarified that the work is a legitimate variation of a previous OpenAI proof concerning pi that has been formally verified in Lean.

A new MIT-licensed command-line tool enables AI agents like Claude Code and Codex to draw temporary visual overlays, such as arrows and text, directly onto a Mac screen. The application features click-through functionality to prevent interrupting user workflows and automatically dismisses the annotations after a brief period.

Whistle is a lightweight, open speech recognition model that supports seven languages and achieves an 11-millisecond time to first token within a compact 16.9 MB footprint. By running on standard CPUs and integrating directly with the Needle engine in a single binary, it allows developers to seamlessly convert audio clips straight into executable tool calls.

A new interactive website called Theranos.world allows users to explore a digital simulation of Elizabeth Holmes' desk. Visitors can open her MacBook, scroll through her iPhone, and run the Edison machine. The simulation features real text messages and emails from her fraud trial, which were parsed and integrated by the data company Extend.