From Hacker News Front Page · 40 stories
Kani is an open-source model checker for Rust
Kani, an open-source model checker for Rust, enhances the verification process for Rust's unsafe operations and functional correctness. It compiles Rust's Mid-level Intermediate Representation into a verification engine, ensuring safety properties without user annotations, and has been successfully applied to real-world projects, uncovering previously unknown bugs.
CS2 Fog Of War Plugin Reduces Wallhack Efficacy in Counter-Strike 2
The CS2FOW plugin for Counter-Strike 2 reduces wallhack effectiveness by preventing hidden enemy data from being sent to clients. This server-side tool filters out live enemy positions when they are entirely obscured, while still allowing for normal gameplay interactions.
LangGraph for Swift Released with New Agent Framework and Features
LangGraph, an agent framework for Swift, has been released, providing developers with tools for building type-safe AI agents. It incorporates Swift concurrency features and supports various integrations while ensuring workflow resilience and crash recovery.
Emily Bender Addresses Misconceptions from 'Stochastic Parrots' Paper
Emily M. Bender clarified misconceptions about her 2021 paper on large language models, emphasizing the distinction between language technology and artificial intelligence. Her insights highlight the need for clearer discourse regarding the implications and uses of language models in society.
DOJ Shuts Down Criminal Case Against Abbott Laboratories Over Baby Formula
The DOJ has closed a criminal investigation into Abbott Laboratories regarding contaminated baby formula. This decision signals a shift towards less aggressive corporate prosecutions in health and safety cases, raising concerns about consumer protection enforcement.
MakerChecker Scans AI Agents for Dangerous Capabilities
MakerChecker introduces a tool that scans AI agents for risky actions and enforces strict role-based security controls. The solution helps organizations ensure their AI systems operate within defined limits and maintain an audit trail for governance.
CNN and CNBC Promote Kalshi Amid Financial Conflicts
CNN and CNBC have been promoting Kalshi, a prediction market, since striking deals in December 2025. However, both networks have inconsistently disclosed their financial ties to Kalshi, raising concerns about transparency in reporting.
Cloudflare Launches Workers Cache for Optimized Response Handling
Cloudflare introduced Workers Cache, a tiered caching solution for its Workers that minimizes CPU time and boosts response efficiency. By caching responses at the network layer, users can serve requests faster, improving application performance with straightforward configuration.
Cloudflare launches Monetization Gateway to facilitate blog revenues
Cloudflare has launched its Monetization Gateway, enabling users to control pricing and access adjustments for online content. Currently in closed beta, it aims to simplify monetization for blogs and APIs—potentially transforming the digital advertisement model.
Launch of Sneakerweb Enables Permissionless Web Publishing via Physical Media
The sneakerweb is a peer-to-peer web publishing protocol that operates without DNS or traditional web hosts. It allows users to create, store, and share websites using physical storage media, making website access possible offline and through .snk files.
Study Examines Impact of Code Cleanliness on Coding Agents
A recent study tested how code cleanliness affects autonomous coding agents' performance. Results indicate that while the agents' task completion rates remain unchanged, cleaner code significantly reduces operational complexity, leading to better efficiency in code navigation.
DNSGlobe: Rust TUI for Monitoring Global DNS Propagation
DNSGlobe is a Rust terminal user interface that checks DNS record propagation by querying 34 public resolvers globally. It allows users to visualize the propagation status in real-time and includes a world map for easy interpretation of results.
Understanding Zero-Copy Techniques and Their Costs in Go
A recent performance issue showed how middleware changes in Go can negate zero-copy optimizations, notably when using io.Copy with os.File. The article details how Go implements zero-copy with methods like sendfile, and the consequences of adding wrappers that disrupt this functionality.
Delta flight encounters firework upon landing at Midway Airport
A Delta flight was struck by a firework while landing at Chicago's Midway Airport on July 4. The incident raised safety concerns, but no damage was reported after inspection and the FAA is investigating.
Openprinter Launches Repairable Open Source Paper Printer
Openprinter has unveiled a new paper printer designed for easy maintenance and cost-effectiveness. Its open-source nature allows users to refill cartridges independently and customize the device, promoting sustainability by reducing electronic waste.
New OSINT Tool Monitors Exposed Files on Domains Using Certificate Transparency Logs
A new OSINT tool has been launched that monitors certificate transparency logs to identify exposed files on newly-seen domains. This tool allows penetration testers and bug bounty hunters to search for sensitive data like configuration files and database dumps easily.
Flipper Zero Development Plans Revised to Incorporate Community Input
The Flipper Zero team announced updated plans for firmware development, emphasizing community feedback. A new approach to feature requests and contributions will involve voting and clearer guidelines.
DMARC's new 'np' tag faces compatibility issues with DNSSEC
The new 'np' tag introduced in DMARC's RFC 9989 conflicts with DNSSEC standards, leading to potential policy failure. This incompatibility affects domains utilizing DNSSEC from major providers like Cloudflare and AWS, which could undermine email security efforts.
Successful solar railway trial in Switzerland may lead to European adoption
A solar railway trial in Switzerland has produced 16,000 kWh of energy in one year, leading to potential expansion across Europe. This system may transform railway lines into solar farms, capable of generating significant renewable energy.
New es40 fork enables Windows 2000 on DEC Alpha through JIT compiler
A new fork of the es40 DEC Alpha emulator allows Windows 2000 to run with speedups through a JIT compiler. This development enhances performance for both Windows NT and OpenVMS on DEC Alpha systems, broadening the OS compatibility for legacy architecture.
Organic Maps App Reaches 6M Installs for Offline Navigation
Organic Maps, a privacy-focused offline maps and GPS application, has reached 6 million installs as of December 2025. Developed by the community behind MapsWithMe/Maps.Me, the app offers comprehensive offline navigation features without ads or tracking, making it suitable for hikers, cyclists, and drivers.
Phosh 0.56.0 and related components released with new features
Phosh 0.56.0 introduces several new features, including a load meter plugin and the ability to hide applications on specific GNU/Linux distributions. Key improvements focus on performance, user interface updates, and bug fixes across core components and supporting applications.
KiCad PCB EDA Suite Successfully Runs in Browsers
Emergence Engineering has developed a browser-based version of KiCad, a PCB EDA suite. This project enhances accessibility for users without requiring local installation, facilitating easier experimentation and onboarding in PCB design.
Predio launches JSON wrapper for Spain's outdated cadastre SOAP API
Predio has developed a JSON wrapper for the Spanish cadastre API, which traditionally uses a legacy SOAP format. This new REST interface enables easier access to property data, allowing proptech companies and agents to avoid issues associated with the older system.
Claire Parfitt leads Mars exploration after career beginning at space toilet cleaning
Claire Parfitt, who began her career cleaning a space toilet, now leads teams for future Mars missions at the European Space Agency. Her journey reflects the importance of early exposure and mentorship in building careers in space exploration.
Claude Design System Prompt Open-Sourced for AI Design Collaboration
Anthropic has released an open-source Claude Design System Prompt that provides a structured framework for AI-driven design collaboration. This system aims to improve AI-generated designs by instilling a set of design principles that prioritize quality, accessibility, and effective content placement.
New language model DIMBA II claims efficient context handling and unique architecture
DIMBA II, a newly trained language model, combines Mamba-2 context efficiency with diffusion generation techniques. This model addresses limitations found in earlier architectures, particularly with text generation quality and processing efficiency.
sqlite-utils 4.0rc2 Release Marks Significant Fixes and Improvements
The release of sqlite-utils 4.0rc2 addresses critical issues, including a major bug in the delete_where() function. This update is crucial for ensuring stable transactions and preventing data loss, which matters for developers relying on sqlite-utils for database management.
Rust port of libbf released as Beeg Float library
A Rust port of Fabrice Bellard's arbitrary-precision floating-point library, named Beeg Float, has been released. It offers full IEEE 754 compliance, various transcendental functions, and is fully compatible with no_std in Rust, providing a pure Rust implementation with no dependencies.
HIC Mouse Introduces Advanced Editing Tools for AI Coding Agents
HIC Mouse has launched a new editing tool aimed at improving AI coding agents' file editing capabilities. This tool offers features like coordinate-based editing, staged changes, and contextual guidance, addressing limitations in current AI file editing approaches.
Shadcn/UI defaults to Base UI, retains support for Radix
Shadcn/UI has officially made Base UI the default component library, replacing Radix for new projects as of July 2026. Although Radix remains supported and in use, the change reflects community preferences, with Base UI being chosen twice as often for new projects.
New Model Introduced for Agent Frameworks with ActiveGraph
ActiveGraph introduces a restructured agent framework where an append-only event log serves as the source of truth. This model enables deterministic replay, cheap forking of runs, and complete lineage tracking, enhancing agent performance and observability.
Backon Launches as Zero-Dependency Python Library for Retry Logic
Backon is introduced as a zero-dependency Python library for retrying operations with exponential backoff. It supports both synchronous and asynchronous functions with a variety of advanced features, including decorators, context managers, and a circuit breaker mechanism.
Study finds inverse link between egg consumption and Alzheimer's disease
A study involving 39,498 participants from the Adventist Health Study-2 found that higher egg consumption is associated with a lower risk of Alzheimer's disease. Moderate intake of eggs showed a significant reduction in risk, suggesting potential neuroprotective benefits of egg nutrients.
Rise of Book Club Scams Target Authors with Fees and Impersonations
New scam targeting authors involves fake book clubs sending phishing emails to solicit fees for features. Reports include both fictional and impersonated local book clubs, with charges from $55 to $350 for purported appearances. This trend highlights ongoing tactics used in digital marketing scams, primarily originating from Nigeria.
RidgeText Introduces In-Memory Layering for Efficient Map Generation
RidgeText now allows users to generate layered fire perimeter maps via SMS, streamlining data processing. This innovation reduces LLM load by queuing data-fetching tasks independently, enhancing map rendering efficiency.
Method to recover garbled Bitcoin addresses for ZeroNet sites developed
A new method allows the recovery of original Bitcoin addresses from lower-cased versions, addressing issues in ZeroNet. Since Bitcoin addresses are case-sensitive, this development could help recover valuable information lost due to human error.
Scientists study jellyfish for rapid wound healing insights
Researchers are investigating Clytia hemisphaerica, a jellyfish species that can heal wounds in minutes without scar formation. This unique capability makes them valuable for understanding fundamental mechanisms of wound healing applicable to other organisms, including mammals.
GPT-5.5 shows clustering anomalies affecting Codex performance
An analysis reveals that GPT-5.5 Codex experiences clustering at specific reasoning-token counts (516, 1034, 1552), which may reduce its performance on complex tasks. This fixed-token behavior contradicts expected natural variations, potentially indicating issues with its reasoning capabilities.
AI-Written Rust Engine Phargo Passes 17% of PHP Tests and Supports WordPress
An AI-generated PHP interpreter named Phargo, written in Rust, successfully renders a WordPress front page and passes 17.4% of PHP's test suite. This marks a significant milestone for AI in creating functional programming tools, showcasing its potential in language interpretation.