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

1212 ropbear 2026-08-12 14:22:30 UTC tailscale.com Llama Share 236

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

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

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.

uBlock Origin is giving up the fight to keep ads off Facebook

721 Markoff 2026-08-12 11:28:27 UTC digitalescapetools.com Full Share 915

Qwen3.8-2.4T

711 Philpax 2026-08-12 15:01:17 UTC huggingface.co Llama Share 170

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

679 khy 2026-08-12 18:19:59 UTC zed.dev Llama Share 258

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

631 iLuddite 2026-08-12 15:32:50 UTC x.ai Llama Share 614

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.

Asus Bike Booster

620 wiradikusuma 2026-08-12 06:33:12 UTC asus.com Llama Share 445

Follow the user manual for safe and proper use of the ASUS Oxiis E250G1. Failure to comply with instructions may result in damage to the product or others, and voids warranty.

2026 Eclipse Webcams

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

🌑 Totality begins in 📹 Reaches first webcam in

LinkedIn CringeBot 3000

480 theanonymousone 2026-08-12 06:30:49 UTC cringebot3000.com Full Share 204

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

Controversial creators are benefiting from monetization programs run by Meta

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

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.

llama.cpp

364 kristianpaul 2026-08-12 04:51:59 UTC llama.app Llama Share 165

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

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

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

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

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

304 gavinhking 2026-08-12 14:02:46 UTC knownagents.com Llama Share 228

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

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

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.

Principia Mathematica is modern and insightful

279 matt_d 2026-08-12 23:26:21 UTC okmij.org Llama Share 155

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

What sort of maths are LLMs good at?

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

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, ...

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

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

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

246 fredley 2026-08-12 13:01:21 UTC shademap.app Full Share 61

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

225 michaefe 2026-08-12 00:17:59 UTC cftc.gov Llama Share 204

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.

Flutter 3.47

206 gumby271 2026-08-12 23:46:00 UTC flutter.dev Llama Share 215

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.

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

203 newsomix9xl 2026-08-12 01:42:46 UTC newbedfordlight.org Llama Share 93

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.

Olo (Color)

199 inigyou 2026-08-12 10:26:14 UTC en.wikipedia.org Llama Share 48

Researchers at UC Berkeley discovered an imaginary color called olo, which can only be seen using specialized tools that target M cone cells. Olo is described as a blue-green color with unprecedented saturation, but some scientists question its existence as a genuinely new color.

The Human Is the Loop

199 burnto 2026-08-12 02:15:01 UTC brentfitzgerald.com Llama Share 89

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.

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

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

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.

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

190 carabiner 2026-08-12 21:45:29 UTC corneroffifth.studio Llama Share 324

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.

Pixel Watch 5

172 ortusdux 2026-08-12 16:14:37 UTC blog.google Llama Share 395

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.

Lovable raises $400M Series C

165 thoughtpeddler 2026-08-12 16:20:34 UTC lovable.dev Llama Share 201

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.

Breaking the WAL

161 wwilson 2026-08-12 20:00:16 UTC antithesis.com Llama Share 51

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.

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

161 advaith08 2026-08-12 07:51:20 UTC discoveredmaterials.com Llama Share 35

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.

Does anyone run Postgres without PgBouncer?

160 abelanger 2026-08-12 20:13:06 UTC brandur.org Llama Share 105

The author discusses the lack of standardization in Postgres connection pooling, citing PgBouncer as a widely used but often overlooked solution. Many managed Postgres providers bundle PgBouncer out of the box, but users still need to learn about its limitations and configuration.

Why Target Common Lisp for Code Generation?

154 oumua_don17 2026-08-12 08:40:53 UTC funcall.blogspot.com Llama Share 151

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.

Unearthing a 31 year old Easter egg in Ecco the Dolphin

132 bbayles 2026-08-12 14:19:05 UTC 32bits.substack.com Full Share 33

In 1962, Egypt's Missile Program Lost Its Key Scientist Without a Trace

131 bookofjoe 2026-08-12 12:31:16 UTC popularmechanics.com Llama Share 98

Egypt's pursuit of Nazi rocket scientists led to the disappearance of Heinz Krug, a key player in their program. Krug vanished on September 11, 1962, after being targeted by Mossad agents and possibly assassinated.

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

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

Turbo Pascal on CP/M, MSX-DOS and MS-DOS

114 rbanffy 2026-08-12 09:34:38 UTC pascal.hansotten.com Llama Share 48

Blaise Pascal, a French mathematician, developed the first arithmetical machine in 1641 and later shifted to religious studies. Niklaus Wirth created the original Pascal programming language in 1970 based on Algol's block structured style.

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

106 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.

Build Wide, Ship Narrow

105 ashumz 2026-08-12 23:43:48 UTC adapt.com Llama Share 32

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.

How art invented humanity

101 prismatic 2026-08-12 22:47:40 UTC aeon.co Llama Share 53

The author discusses the nature of art, truth and beauty, arguing that ecstatic art reveals a deeper mystery of existence. It is through this kind of art that we connect with reality beyond our everyday perceptions.

I hate packaging my software for Linux

101 _sinelaw_ 2026-08-12 11:33:48 UTC getfresh.dev Llama Share 150

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.

A SAT Attack on Tarski's High School Algebra Problem

96 matt_d 2026-08-12 06:30:57 UTC arxiv.org Llama Share 36

A countermodel to Tarski's identity exists with 11 elements, but no smaller models satisfy it. The smallest possible countermodels are of size 12, and there are exactly 8,957,952 such models up to isomorphism.

The Indo-European Family Tree

90 benbreen 2026-08-12 22:47:12 UTC djbinder.com Full Share 97

From English and Hindi to Latin and Persian, the Indo-European languages all descend from Proto-Indo-European—an unrecorded language spoken around 4500 BCE. Click any language to learn more.

Show HN: Silent Shark – tactical map-based WWII submarine sim

79 epaga 2026-08-12 19:37:12 UTC silentshark.app Llama Share 38

Silent Shark is a tactical game released in 1.0, featuring the Pacific campaign and various gameplay mechanics, with updates adding new features like visual-bearing stations and recognition trainers. The game supports multiple platforms including Windows, macOS, Linux, and has a playable demo available on Steam.

Dutch Train Map Simulator

77 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.

Superconducting monolayer cuprate with a single CuO2 plane

74 sbulaev 2026-08-12 19:07:06 UTC nature.com Llama Share 15

Researchers have created a single layer of Bi2Sr2CuO6+δ, containing only one CuO2 plane, to study high-temperature superconductivity in its extreme 2D limit. This reduction leads to an approximately 10% decrease in the optimal superconducting transition temperature and unprecedented tunability.

My Ten Years in No Man's Sky

73 blakespot 2026-08-12 21:07:48 UTC nmsspot.com Llama Share 80

The author is celebrating the 10-year anniversary of No Man's Sky, a space exploration survival game they've been playing almost daily since its release in 2016. The game has received numerous free updates over the years, with Hello Games continuing to support it without introducing paid DLC or microtransactions.

A humble cabbage became one of the Forbidden City’s treasures (2025)

70 dude250711 2026-08-12 08:12:15 UTC cnn.com Llama Share 9

The National Palace Museum in Taiwan features a jadeite cabbage sculpture, considered one of its most popular and iconic items. The cabbage's enduring fame may be due to its perceived symbolism and craftsmanship, as well as its connection to the imperial court.

Numba in the Browser: Unlocking a New Scientific Python Stack in JupyterLite

68 xalfotis 2026-08-12 08:44:23 UTC notebook.link Llama Share 16

Scientists can now use Numba in JupyterLite, a browser-based environment, for interactive and efficient scientific computing. This allows for faster execution of Python functions with significant speedups compared to native Python execution.

Understanding WCAG 2.2 as ePub and PDF

61 doekenorg 2026-08-12 12:36:20 UTC doeken.org Llama Share 3

The WCAG 2.2 document provides guidelines for web accessibility, explaining intent and benefits of each success criterion. It serves as a remediation companion to help fix failed criteria in audit reports.

A particle made of force: physicists say they've found mysterious 'glueball'

54 Brajeshwar 2026-08-12 14:26:41 UTC nature.com Llama Share 2

Physicists in China have observed evidence of a mysterious particle called a glueball, made entirely of force-carrying particles. The discovery provides direct evidence that gluons can interact with themselves and improves understanding of mass origin.

Impulse Tracker

39 vsvagr 2026-08-12 10:35:20 UTC ovidem.com Full Share 11

On a quiet night in the year 1996, 20-year old Alan is in his small apartment, about to make an important life decision. His thoughts are torn between the electronic music he makes with his computer and starting a career path with a computer software company. Will he continue working on his music and keep his dead-end job or take the important job offer?

Show HN: OJCP – an open protocol for agent-consumable job data

38 fraywing 2026-08-12 15:27:14 UTC ojcp.dev Llama Share 10

OJCP tools are valid MCP tools, enabling standard application mechanisms and candidate data opt-in. The platform aims to shape the future of agent-ready hiring through ATS integration and secure resume embeddings.

Show HN: A website for exploring historical photographs of my city

35 uneekname 2026-08-12 14:53:02 UTC yesterdays.maprva.org Full Share 16

Place historical images of Richmond, Virginia on the map!

I built a browser-native SysEx librarian for 80s/90s synthesizers

34 halfradaition 2026-08-12 22:47:20 UTC bipluk.com Llama Share 20

Bipluk is a browser-based tool for backing up and organizing vintage synth patches, eliminating the need for drivers or desktop software. It provides secure cloud storage and real-time parsing of MIDI system exclusive (SysEx) patch banks from various synthesizers.

Archie G. Norcross' Maine Forest Fire Maps (1918–22)

29 samclemens 2026-08-12 22:46:58 UTC publicdomainreview.org Llama Share 4

Jack Kerouac worked as a fire lookout in the North Cascade Mountains from 1956 to 1957, seeking an ascetic experience. He kept panoramic maps of his surroundings, which were drawn by civil engineer Archie G. Norcross for the Maine Fire District between 1918 and 1923.

McDonald's built a 515-page dossier on one customer

18 BlueBerry2001 2026-08-12 14:13:23 UTC wired.com Llama Share 9

The author accessed their McDonald's data after signing up for the loyalty program years ago, revealing a 515-page report detailing past transactions and predicted future purchases. The report showed an alarming level of detail about the author's habits, raising concerns about commercial surveillance and data privacy.

A Planet Position Widget

17 speckx 2026-08-12 18:03:13 UTC leancrew.com Llama Share 1

The user created a Python script called "planets" to generate a widget that tracks the planets, including the Sun and Moon. The script uses Astropy to determine celestial object positions and displays their locations in a TerminalWidget.

The Government Is Monitoring Anti-Flock TikTok and Instagram Accounts

16 Cider9986 2026-08-12 17:12:07 UTC 404media.co Llama Share 1

Law enforcement agencies are monitoring anti-Flock activists and warning police to increase patrols around Automatic License Plate Readers (ALPR) cameras due to growing backlash against Flock surveillance. The movement, which aims to end contracts with Flock for mapping ALPR cameras, has led to vandalism and calls for destruction of the cameras.

Geometric Reasoning

14 6510 2026-08-12 04:19:54 UTC sophontic.ai Llama Share 15

A prototype is being evaluated using paired perturbations and calibrated anchors, with a stable measurement standard. The concept of reasoning is redefined as internal geometry rather than data size, measured by flip rate in paired-item tests.

Gen Z has rediscovered the joy of going to the movies

13 andsoitis 2026-08-12 01:39:56 UTC economist.com Full Share 14

The Programming Ape (Code Hale, 2012) [video]

11 dhorthy 2026-08-12 00:37:44 UTC youtube.com Embed Share 0