1. Tailscale Traces Database Corruption to 16y/o SQLite WAL-Reset Bug (tailscale.com)

Tailscale and SQLite developers traced maddening corruption incidents to find the WAL-Reset data race, then uncovered a second stale expression index bug.

Tailscale and SQLite developers have identified a long-standing bug in SQLite related to a data race in the WAL-Reset feature, which has been causing database corruption. Their investigation also revealed an additional issue with stale expression indexes, shedding light on critical vulnerabilities in database management.

2. DeepSeek V4 Pro 0813 (openrouter.ai)

DeepSeek V4 Pro 0813 is a large-scale mixture-of-experts model from DeepSeek. $0.435 per million input tokens, $0.87 per million output tokens. 1,048,576 token context window, maximum output of 384,000 tokens.

DeepSeek V4 Pro 0813 introduces a powerful mixture-of-experts model designed for handling extensive input and output token requirements, making it suitable for complex tasks. With a massive context window and high output capacity, it aims to enhance efficiency in processing large datasets.

3. AI is removing the middle class of software engineering (blog.florianherrengt.com)

AI makes projects with weak engineering culture fail much faster.

AI is accelerating the collapse of poorly managed software projects, highlighting the importance of strong engineering practices. As a result, the divide between skilled engineers and those in less supportive environments is widening.

4. Qwen/Qwen3.8-2.4T-A95B (huggingface.co)

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

The focus is on advancing artificial intelligence through open-source initiatives and scientific collaboration, aiming to make AI more accessible to everyone. Discover how these efforts are shaping the future of technology.

5. uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook (digitalescapetools.com)

uBlock Origin has announced it will no longer attempt to block ads on Facebook due to the platform’s evolving ad strategies that make filtering nearly impossible. This decision highlights the ongoing challenges of ad-blocking technologies in the face of sophisticated online marketing techniques.

6. Zed: Delta (zed.dev)

From the Zed Blog: A multiplayer environment for coding with agents, from the creators of Zed.

Zed is introducing a new multiplayer platform that allows users to code collaboratively with agents, enhancing the coding experience. It’s a fresh approach for those looking to engage in shared programming tasks.

8. Grok 4.6 (x.ai)

Grok 4.6 builds on Grok 4.5 with a particular focus on long-running agents and more ambitious interactive and visual work.

Grok 4.6 enhances its capabilities by improving support for long-running agents and expanding its features for interactive and visual tasks, making it a significant update for users looking to push the boundaries of their projects.

10. Facebook is paying controversial creators to produce rage-bait content (www.abc.net.au)

An ABC NEWS Verify investigation reveals Facebook is directly funding some controversial Australian content creators including a white nationalist and an anti-vaxxer influencer.

Facebook is financing controversial Australian creators, including a white nationalist and an anti-vaxxer, to produce inflammatory content. This investigation raises questions about the platform’s role in promoting divisive narratives.

11. LinkedIn CringeBot 3000 (www.cringebot3000.com)

Transform any topic into peak LinkedIn thought leadership guaranteed to make your followers shudder.

A new tool promises to turn any subject into awkward LinkedIn posts that are sure to elicit eye rolls. Perfect for those looking to generate some cringe-worthy content.

12. llama.cpp (llama.app)

Official website for the llama.cpp project

13. SpaceXAI's Grok 4.6 Scores 61 on the Artificial Analysis Intelligence Index (artificialanalysis.ai)

SpaceXAI returns to the intelligence frontier with strengths in agentic performance and cost efficiency

SpaceXAI’s Grok 4.6 demonstrates impressive agentic performance and cost efficiency, making it a noteworthy contender in the artificial intelligence landscape. Discover how it scored a 61 on the Artificial Analysis Intelligence Index and what this means for its potential applications.

15. The hardest working font in Manhattan (2025) (aresluna.org)

A story of a 150-year-old font you have never heard of – and one you probably saw earlier today.

Discover the intriguing history of a little-known 150-year-old font that has shaped the visual landscape of Manhattan. You might have encountered it without even realizing its significance.

16. Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation (woxi.ad-si.com)

Run Wolfram Language code in the browser playground,
on the CLI, in Jupyter, or in the Woxi Studio notebook editor.

Woxi is a fast, open-source alternative to Mathematica, offering an interpreter for the Wolfram Language that’s built in Rust. With a user-friendly GUI and multiple access methods, it’s ideal for quick scripting and lightweight tasks.

17. Someone is running mass vulnerability scans, spoofing AI bots like ClaudeBot (knownagents.com)

A continuously updating analysis of bot vs. human traffic, AI scraping, fetching, search indexing, browsing, robots.txt compliance, and AI chat referrals across 5,000+ websites.

A new analysis reveals the ongoing issue of mass vulnerability scans that mimic AI bots, impacting over 5,000 websites. It highlights the complexities of distinguishing between human and bot traffic while addressing the implications for security and compliance.

19. Tim Gowers: What sort of maths are LLMs good at? (gowers.wordpress.com)

For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten majo…

Tim Gowers discusses the capabilities of large language models in mathematics, particularly in light of OpenAI’s recent claims about solving significant problems. This analysis offers insights into the strengths and limitations of LLMs in mathematical contexts.

21. Shade Map (shademap.app)

Every mountain, building and tree shadow in the world simulated for any date and time

A new tool offers a detailed simulation of shadows cast by mountains, buildings, and trees worldwide, allowing users to visualize these changes for any specific date and time. This could be particularly useful for architects, urban planners, and outdoor enthusiasts.

22. CFTC declares market emergency, orders Kalshi to continue to operate in New York (www.cftc.gov)

The CFTC exercised its emergency authority in response to KalshiEX, LLC’s notification of a market emergency and ordered the exchange to continue to operate in accordance with the Commodity Exchange Act’s Core Principles.

The CFTC has stepped in to address a market emergency at KalshiEX, LLC, mandating that the exchange keeps functioning under regulatory guidelines. This decision highlights the agency’s role in maintaining market stability amid unforeseen circumstances.

23. New Bedford police officer accused of using Flock cameras to track ex-partner (newbedfordlight.org)

Officer Emily Pacheco faces an internal affairs investigation. She was served an abuse prevention order Monday after a judge’s ruling.

Officer Emily Pacheco is under investigation for allegedly misusing surveillance technology to monitor her ex-partner, following a judge’s issuance of an abuse prevention order against her. The case raises serious concerns about privacy and the ethical use of police resources.

24. US hires over 2k video gamers as air traffic controllers (www.cbsnews.com)

Transportation Secretary Sean Duffy is touting the success of a campaign targeting video gamers to train as air traffic controllers.

The U.S. government is successfully recruiting over 2,000 video gamers to become air traffic controllers, as highlighted by Transportation Secretary Sean Duffy. This initiative leverages the skills of gamers to address staffing shortages in air traffic control.

25. Company Offering '100% Human-Written, Never AI' Medical Research Is 100% AI (www.404media.co)

Research Gold's team of human methodologists are either AI generated or using the identity of real people without their permission

A company claiming to provide entirely human-written medical research is actually relying on AI-generated content and potentially misusing identities. This raises serious ethical questions about transparency and authenticity in medical publishing.

26. The Human Is the Loop (brentfitzgerald.com)

After a few weeks away from AI, I see my usage wasn't always productive or healthy.

A recent reflection reveals that stepping back from AI usage can highlight unproductive and unhealthy habits. The insights gained from this break may resonate with anyone reconsidering their relationship with technology.

27. Why Can't You Find Canned Sardines? (corneroffifth.studio)

A viral TikTok sardine diet and warming oceans have collided to create a real canned-sardine shortage — and it's not ending soon.

A surge in popularity for canned sardines, fueled by a trending diet on TikTok, is contributing to a significant shortage exacerbated by climate change. The situation highlights the intersection of social media trends and environmental issues affecting food availability.

28. Delphi 13 Community Edition Is Now Available (blogs.embarcadero.com)

Embarcadero is pleased to announce the availability of Delphi 13 Community Edition, the latest free edition of our professional Delphi development environment. Delphi 13 Community Edition is based …

Delphi 13 Community Edition is now available for free, offering developers access to the latest features of the professional Delphi environment. This release aims to enhance the development experience with improvements tailored for both new and experienced users.

29. Pixel Watch 5 (blog.google)

Google Pixel Watch 5 offers proactive alerts, low-latency Gemini AI features, and health tracking to keep you connected.

The Pixel Watch 5 introduces proactive alerts and advanced health tracking while incorporating low-latency Gemini AI features for improved connectivity. It’s designed to enhance your daily routine with smart notifications and health insights.

30. Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials (discoveredmaterials.com)

Measuring frontier model ability to discover new materials for the semiconductor industry — candidates verified by DFT and attempted in a real lab.

Advaith and Akash are developing AI agents aimed at discovering new materials specifically for the semiconductor industry, addressing the pressing heat issues faced by modern GPUs. With the Thermal Design Power of chips steadily increasing, their work could lead to significant advancements in cooling technologies and performance.

Article Details

Browse by Date

Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open