Tracking down the 16-year-old WAL-reset SQLite bug

1048 ropbear 2026-08-12 14:22:30 UTC tailscale.com Llama Share 196

Tailscale experienced six months of database corruption issues due to a rare bug in SQLite, which was eventually fixed by the developers. The team worked with SQLite experts to identify and resolve the issue, implementing new logging and recovery processes.

DeepSeek V4 Pro 0813

931 explosion-s 2026-08-12 16:04:50 UTC openrouter.ai Llama Share 377

This model is hosted by one provider and forwards requests directly, with prices often lower due to caching and discounts. It offers metrics such as throughput, latency, TTFT, scores on evaluations and real-world traffic signals for its suitability.

Qwen3.8-2.4T

628 Philpax 2026-08-12 15:01:17 UTC huggingface.co Llama Share 147

This repository contains model weights and configuration files for the post-trained Qwen3.8-Max model, a generation model with features like vision input and non-thinking support. The official Qwen API service provides managed, scalable inference without infrastructure maintenance.

Delta

554 khy 2026-08-12 18:19:59 UTC zed.dev Llama Share 198

Delta is a multiplayer coding environment that connects code and conversations, allowing developers to work together with full context. It's the second half of our plan to build the best place for writing code and discussing it, built on principles from Zed.

Grok 4.6

553 iLuddite 2026-08-12 15:32:50 UTC x.ai Llama Share 495

Grok 4.6 is released with improved long-running agents and interactive/visual work capabilities, achieving frontier intelligence across several benchmarks. It's available now in Cursor and Grok Build with a free trial for the first week.

uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook

518 Markoff 2026-08-12 11:28:27 UTC digitalescapetools.com Full Share 613

2026 Eclipse Webcams

486 zoenolan 2026-08-12 11:53:01 UTC jonty.github.io Full Share 133

🌑 Totality begins in 📹 Reaches first webcam in

Controversial creators are benefiting from monetization programs run by Meta

471 robtherobber 2026-08-12 09:35:30 UTC abc.net.au Llama Share 326

Meta's parent company is paying a white nationalist to produce content, despite his racist abuse towards the Indian PM. Meta has been criticized for its monetization policies and lack of transparency in allowing controversial creators to earn money on its platform.

LinkedIn CringeBot 3000

469 theanonymousone 2026-08-12 06:30:49 UTC cringebot3000.com Full Share 202

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

llama.cpp

352 kristianpaul 2026-08-12 04:51:59 UTC llama.app Llama Share 159

Llama.cpp allows running frontier AI on local machines without API keys or telemetry, keeping models and conversation data private. It can run on various devices, including laptops and clusters, with the same binary and kernels for different GPUs and CPUs.

Why tiny JPEGs look different in Chrome

304 gutechh 2026-08-12 14:00:54 UTC guillaumetech.github.io Llama Share 66

A Chrome logo appeared thinner on a colleague's computer due to JPEG decoding optimization, which uses partial IDCT scaling for small-scale images. This technique skips high-frequency details and only decodes lower frequencies, resulting in a thicker appearance when scaled down.

Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation

294 adius 2026-08-12 10:06:29 UTC woxi.ad-si.com Llama Share 41

The Woxi playground is a versatile front-end interpreter that powers multiple tools, including a full-screen playground and Jupyter kernel. It offers features like side-by-side editing and faster startup compared to WolframScript.

Someone is running mass vulnerability scans, spoofing AI bots like ClaudeBot

278 gavinhking 2026-08-12 14:02:46 UTC knownagents.com Llama Share 204

AI bots scrape website content to train AI models, with some belonging to companies and others reselling data. Robots.txt can block unwanted scraping, but effectiveness varies among agents.

Tim King, AmigaDOS developer, has died

273 doener 2026-08-12 14:09:11 UTC amiga-news.de Llama Share 34

Dr. Tim King, a key figure in Amiga's software history, passed away at the end of July after developing AmigaDOS and other operating systems. He studied computer science at Cambridge University before co-founding Perihelion and UK Online.

What sort of maths are LLMs good at?

256 ColinWright 2026-08-12 10:04:25 UTC gowers.wordpress.com Llama Share 145

The author discusses how large language models (LLMs) have made significant progress in solving mathematical problems, but notes that their approach is often different from human mathematicians. LLMs tend to find examples or counterexamples rather than proving universal statements, and this may be due to their ability to explore many paths of the search tree and use brute force. However, ...

CFTC declares market emergency, orders Kalshi to continue to operate in New York

216 michaefe 2026-08-12 00:17:59 UTC cftc.gov Llama Share 180

The Commodity Futures Trading Commission has ordered KalshiEX, LLC to continue operating after a New York lawsuit sought to halt its activities and impose $36 billion in damages. The CFTC aims to safeguard market resilience and orderliness nationwide.

HTML over WebSockets: real-time SPAs with barely any JavaScript

203 redbell 2026-08-12 16:51:25 UTC en.andros.dev Llama Share 137

The author presents an alternative approach to building Single-Page Applications (SPAs) using HTML over WebSockets, which eliminates the need for a JavaScript framework and API. This method involves sending pre-assembled HTML from the server to the client through a persistent WebSocket connection.

Shade Map

202 fredley 2026-08-12 13:01:21 UTC shademap.app Full Share 52

New Bedford police officer accused of using Flock cameras to track ex-partner

200 newsomix9xl 2026-08-12 01:42:46 UTC newbedfordlight.org Llama Share 95

A New Bedford police officer is under investigation for allegedly using Flock license plate readers to stalk an ex-girlfriend, and the department has temporarily suspended its use of the system. The officer faces possible termination and a civil lawsuit if found guilty of violating department policy on Flock use.

Company Offering '100% Human-Written, Never AI' Medical Research Is 100% AI

195 Anon84 2026-08-12 02:05:42 UTC 404media.co Llama Share 48

Research Gold claims to offer human-written research services, but it's actually using AI-generated content and fake PhD reviewers. The company has been caught misrepresenting its staff and methodology in an attempt to sell its services to medical researchers.

The Human Is the Loop

188 burnto 2026-08-12 02:15:01 UTC brentfitzgerald.com Llama Share 90

The author reflects on their return to AI after a break, realizing how much of their use was unnecessary and habit-forming. They plan to be more intentional with AI usage and consider the benefits and drawbacks of relying on it.

Principia Mathematica is modern and insightful

157 matt_d 2026-08-12 23:26:21 UTC okmij.org Llama Share 68

Principia Mathematica by Whitehead and Russell introduced concepts like referential transparency, type, domain, alpha renaming, and free/bound variables in 1910.

Lovable raises $400M Series C

144 thoughtpeddler 2026-08-12 16:20:34 UTC lovable.dev Llama Share 154

Lovable has raised $400 million in Series C funding at a $13.3 billion valuation, expanding its global ambition with investors like Menlo Ventures and EQT. The company aims to empower billions of people worldwide by providing a software creation platform that enables them to solve problems and build new businesses.

Pixel Watch 5

143 ortusdux 2026-08-12 16:14:37 UTC blog.google Llama Share 285

Pixel Watch 5 builds upon its predecessor with proactive Gemini Intelligence, advanced fitness features and breakthrough Health Guardian capabilities. It offers improved GPS tracking, strength training workouts and enhanced sleep monitoring for a more comprehensive health experience.

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

137 advaith08 2026-08-12 07:51:20 UTC discoveredmaterials.com Llama Share 29

Researchers created a benchmark to measure AI models' ability to discover new materials for the semiconductor industry, testing 7 models and discovering over 500 previously unknown materials. The models were able to find novel, stable candidates that meet multiple properties but struggled with synthesizing them in a lab.

Thanks to social media, canned sardines are a scarcity on the supermarket shelf

127 carabiner 2026-08-12 21:45:29 UTC corneroffifth.studio Llama Share 161

US supermarkets face a shortage of canned sardines due to high demand and environmental issues. Ocean conditions have disrupted fish populations, forcing suppliers to struggle with limited catches and strict fishing limits.

Breaking the WAL

112 wwilson 2026-08-12 20:00:16 UTC antithesis.com Llama Share 44

Carl, a database nerd, used Antithesis to track down the WAL-Reset bug in SQLite 3.51.3 after it was fixed for a longstanding issue that had been present since 2010. He successfully identified and verified the bug within an hour using his skills with Claude.

Flutter 3.47

111 gumby271 2026-08-12 23:46:00 UTC flutter.dev Llama Share 108

Flutter 3.47 is released with new updates, including standalone material_ui and cupertino_ui packages, improved performance, and tooling enhancements. The release also prepares for iOS 27, macOS 27, and Xcode 27 updates.

Why Target Common Lisp for Code Generation?

103 oumua_don17 2026-08-12 08:40:53 UTC funcall.blogspot.com Llama Share 88

The author prefers targeting Common Lisp for code generation due to its high expressiveness and abstraction over implementation, allowing them to supervise the AI's output more effectively. This niche language provides a better fit for their expertise and workflow, enabling elite-level performance from the AI.

The lifesaving secret hidden inside a horseshoe crab's blue blood

103 andsoitis 2026-08-12 01:45:51 UTC whdh.com Llama Share 31

Horseshoe crabs, crucial for testing medicine safety, are declining due to over-harvesting and habitat loss. Conservation efforts in Massachusetts have shown promise with a 90% protection of the spawning season.

I hate packaging my software for Linux

94 _sinelaw_ 2026-08-12 11:33:48 UTC getfresh.dev Llama Share 142

The author wants to make Fresh easy to install on various Linux distributions, but faces challenges due to the complexity of different package managers and distros. They are considering a self-contained static binary as a solution.

Happy 45th Birthday to the IBM PC and Model F/XT

92 tart-lemonade 2026-08-12 23:50:33 UTC sharktastica.co.uk Full Share 25

Build Wide, Ship Narrow

86 ashumz 2026-08-12 23:43:48 UTC adapt.com Llama Share 24

Engineers now plan before building, using AI to speed up design and decomposition into small PRs for review. This approach optimizes code reviews and product validation by allowing feedback on working software early on.

Dutch Train Map Simulator

76 zazaalaza 2026-08-12 09:09:21 UTC spoorkaart.zaza.dev Llama Share 51

The user provided a long list of train stations and cities in the Netherlands, likely for route planning or travel purposes. The list includes various locations across the country, including major cities like Amsterdam, Rotterdam, and Utrecht.