alpr.watch

US municipalities are adopting surveillance technologies with over 80,000 cameras tracking residents' movements and collecting data. A website allows users to track and report on these technologies.

8M users' AI conversations sold for profit by "privacy" extensions

https://cdn.prod.website-files.com/689ad8c5d13f40cf59df0e0c/693ff195f1d7b63502effd1e_Screenshot%202025-12-15%20at%2013.31.18.png
A Chrome extension called Urban VPN Proxy with 6 million users secretly harvested AI conversations from platforms like ChatGPT and Claude. The extension's data collection was enabled by default and operated independently of its VPN functionality.

This is not the future

The author criticizes tech enthusiasts for accepting new technologies without critical thinking, leading to user abuse and loss of control. They argue that consent and consumer needs are manufactured through marketing campaigns and that users have agency to choose a desirable future.

No Graphics API

https://images.squarespace-cdn.com/content/v1/6741ac845a0db27835868e3c/7411bc9f-22bc-4ca8-b664-78c2edaa6684/voodoo2.jpg
Sebastian Aaltonen, a 30-year graphics code veteran, discusses the evolution of graphics APIs and the need for a simplified API design tailored for modern GPUs. He proposes a new memory management system, combining CUDA's GPU malloc design with CPU-mapped GPU memory, to improve performance and simplify graphics programming.

Pricing Changes for GitHub Actions

https://images.ctfassets.net/wfutmusr1t3h/6vVL1uYW6nWek87T49U7li/5ae2ad099a784217a01102797e1d45df/42130a3f56086cfea747b361ec3c1da261499827e1c3b10be75c4f0874169f9e-1920x1080.png
GitHub updated its pricing and product models for GitHub Actions, improving reliability and performance. The changes include reduced prices for GitHub-hosted runners and a new $0.002 per-minute Actions cloud platform charge.

AI will make formal verification go mainstream

https://martin.kleppmann.com/images/book-cover-small.png
AI will make formal verification cheaper and more accessible, allowing for widespread adoption in software development. This will be driven by AI-generated code needing formal verification to ensure its correctness and by AI's ability to assist in writing proof scripts.

Announcing the Beta release of ty

https://astral.sh/static/OpenGraph/Astral.jpg
Astral announces the Beta release of ty, a fast Python type checker and language server written in Rust. ty is designed for live updates and provides accurate feedback, balancing correctness with user experience.

Thin desires are eating life

https://images.unsplash.com/photo-1570381039627-fb3348f2a719?crop=entropy&cs=tinysrgb&fit=max&fm=jpg&ixid=M3wxMTc3M3wwfDF8c2VhcmNofDZ8fGRlc2lyZXxlbnwwfHx8fDE3NjU3Njc1NzZ8MA&ixlib=rb-4.1.0&q=80&w=960
We're chasing thin desires that can be easily fulfilled, but leave us empty, while neglecting thick desires that require effort and bring lasting satisfaction. Pursuing the thick life, like baking bread, can be a way to find meaning and fulfillment without trying to change the world.

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/wp-content/blogs.dir/278/files/2025/12/Distilled_Header_Anthony-1000x563.png
As Mozilla's new CEO, I will focus on building a trusted software company by giving users agency over their data and AI, and growing through transparent monetization. We will measure progress against a double bottom line, advancing our mission and succeeding in the market over the next three years.

Children with cancer scammed out of millions fundraised for their treatment

https://ichef.bbci.co.uk/news/480/cpsprodpb/d92e/live/e946f5f0-d4e0-11f0-a892-01d657345866.jpg.webp
Desperate parents of sick children are being exploited by online scam campaigns that claim to raise funds for life-saving treatment. A BBC investigation found 15 families who received little to nothing of the $4m raised in their names.

SHARP, an approach to photorealistic view synthesis from a single image

https://apple.github.io/ml-sharp/teaser.jpg
SHARP is a neural network that regresses a 3D Gaussian scene representation from a single image in under a second. It produces photorealistic images for nearby views with robust zero-shot generalization and state-of-the-art performance on multiple datasets.

40 percent of fMRI signals do not correspond to actual brain activity

https://www.tum.de/fileadmin/user_upload_87/_processed_/7/c/csm_Foto_Riedl_Epp_Gabriel_Castrillon_-_quer_89b836aefe.jpg
Researchers led by Valentin Riedl found that brain regions use oxygen more efficiently without increased blood flow during tasks. This challenges the interpretation of fMRI studies on brain disorders and suggests using quantitative measurements for more accurate results.

GPT Image 1.5

https://images.ctfassets.net/kftzwdyauwt9/5cwVlwaPmq2DToD9aownyp/e96fe76cb42c7494970aa2228e0601e8/chatgpt-images-example-1-input-2.png?w=640&q=90&fm=webp
OpenAI introduces GPT-5.2 for professional knowledge work, improving economic value and state-of-the-art performance in tasks like spreadsheets, presentations, and code writing.

Quill OS: An open-source OS for Kobo's eReaders

https://quill-os.org/assets/screenshots/home-2.png
KoBox X11 features ePUB, PDF, and text display, with Wi-Fi, web browser, and encrypted storage. It offers a user-friendly experience with search, auto-suspend, and customizable options.

Coming soon: Simpler pricing and a better experience for GitHub Actions

https://github.blog/wp-content/themes/github-2021-child/dist/img/social-v3-new-releases.jpg
GitHub will lower GitHub-hosted runner prices by up to 39% on January 1, 2026, and introduce a $0.002 per minute charge for self-hosted runner usage on March 1, 2026. GitHub-hosted runner usage in public repositories remains free, and Enterprise Server customers will see no price changes.

No AI* Here – A Response to Mozilla's Next Chapter

https://www.waterfox.com/open-graph/blog/no-ai-here-response-to-mozilla.png
Mozilla's new CEO plans to position the company as a trusted software company with AI at its center, but the author is skeptical about this approach. The author believes that large language models are untrustworthy and should not be integrated into browsers.

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

https://gamehistory.org/wp-content/uploads/2025/12/segachannel_menu-1024x768.png
A team has recovered over 100 new Sega Channel ROMs, including system data, exclusive games, and prototypes, and digitized internal paperwork and correspondence that reveals how Sega Channel operated. The recovered data includes nearly 100 unique system ROMs, dozens of previously undumped game variants, and Sega Channel exclusives, and accounts for almost all outstanding Sega Channel games.

Bonsai: A Voxel Engine, from scratch

https://raw.githubusercontent.com/scallyw4g/bonsai/master/screenshots/logo_256.png
Bonsai is a voxel engine that supports massive worlds and procedural terrain generation. It's a learning project that emphasizes simplicity and is currently in a large rewrite phase.

MIT professor shot at his Massachusetts home dies

https://ichef.bbci.co.uk/news/480/cpsprodpb/0bea/live/1563b920-dab8-11f0-b2d6-8b03c56348b7.jpg.webp
Professor Nuno F Gomes Loureiro, a 47-year-old nuclear science and engineering professor, was shot and killed at his Massachusetts home. Police are investigating the incident as an active and ongoing homicide.

The GitHub Actions control plane is no longer free

https://cdn.prod.website-files.com/68232df8de1a79da2c32a09e/6940645783dd546d6a5cde56_Control_Plane.jpg
GitHub introduced a $0.002 per-minute platform fee for all GitHub Actions usage. This change makes self-hosting no longer free and aligns third-party runners like Blacksmith as ecosystem partners.

VS Code deactivates IntelliCode in favor of the paid Copilot

https://heise.cloudimg.io/width/610/q85.png-lossy-85.webp-lossy-85.foil1/_www-heise-de_/imgs/18/4/9/9/6/7/5/1/shutterstock_223628806-827d39706b14cabb.jpeg
Microsoft deactivated IntelliCode extension in VS Code 1.107, replacing it with Copilot which offers 2000 free suggestions before requiring a paid license. VS Code 1.107 also adds experimental support for TypeScript 7 and new chat-based agent control.

Japan to revise romanization rules for first time in 70 years

https://cdnx.premiumread.com/?url=https://www.japantimes.co.jp/japantimes/uploads/images/2025/08/21/488935.jpg&w=1000&q=100&f=webp&t=1.53
The Japanese government is planning to replace its 70-year-old romanization system with the more widely used Hepburn-style spellings. The changes are expected to be approved and rolled out in textbooks and materials within the current fiscal year.

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

https://static.simonwillison.net/static/2025/justjshtml-playground.jpg
The user ported JustHTML, a Python HTML5 parser, to JavaScript using Codex CLI and GPT-5.2 in 4 hours. The new library, simonw/justjshtml, passes 9,200 tests from the html5lib-tests suite and has a similar API to the original library.

Rust GCC backend: Why and how

https://blog.guillaume-gomez.fr/blog/images/cat-in-tree.jpg
The Rust compiler uses different backends like LLVM and GCC to generate binary code for the target processor, with each backend receiving the Abstract Syntax Tree (AST) from the front-end and generating assembly code. The GCC backend is a bridge between the Rust compiler's AST and the codegen API, and can be used to generate binary code for older platforms that are not supported by LLVM.

Vibe coding creates fatigue?

https://substackcdn.com/image/fetch/$s_!9BCU!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F6754724e-cd49-4ce5-91bd-35cce738c763_1024x1024.png
The author experiences fatigue from "vibe coding" with AI tools like Claude Code and Cursor, which generates code at a speed that their brain can't process. This leads to cognitive overload, stress, and the need for new rhythms and boundaries in coding.

Erdős Problem #1026

https://terrytao.wordpress.com/wp-content/uploads/2025/12/game.jpg
Erdős problem 1026 was solved through collaboration and AI tools, with multiple mathematicians contributing to the solution. The problem was eventually solved using a combination of existing literature, game theory, and AI-generated images.

I'm a Tech Lead, and nobody listens to me. What should I do?

https://world.hey.com/joaoqalves/e16e454d/representations/eyJfcmFpbHMiOnsiZGF0YSI6MjM4MDE2NTAyNiwicHVyIjoiYmxvYl9pZCJ9fQ--faeb376287e9805a250b9f66538ddbad3f2a57406a2c5e8bd67ac6e9263ff351/eyJfcmFpbHMiOnsiZGF0YSI6eyJmb3JtYXQiOiJwbmciLCJyZXNpemVfdG9fbGltaXQiOlszODQwLDI1NjBdLCJxdWFsaXR5Ijo2MCwibG9hZGVyIjp7InBhZ2UiOm51bGx9LCJjb2FsZXNjZSI6dHJ1ZX0sInB1ciI6InZhcmlhdGlvbiJ9fQ--7edc7b21f6fad97fa22412618822c4d19725431f296c7ce47dc174b61535d27c/Screenshot%202025-12-10%20at%2020.10.55.png
The author, a Tech Lead, shares his experience of struggling to gain influence at mytaxi due to lack of trust, which he later learned was built through concrete actions solving real problems and being present when needed. He advises Tech Leads to focus on reducing toil, risk, or uncertainty and to change the conversation by starting with their own behavior.

ArkhamMirror: Airgapped investigation platform with CIA-style hypothesis testing

https://raw.githubusercontent.com/mantisfury/ArkhamMirror/main/docs/assets/banner.png
ArkhamMirror is a local AI-powered investigation platform for journalists and researchers. It runs 100% locally, providing powerful forensics without cloud costs or risks.

A2UI: A Protocol for Agent-Driven Interfaces

https://a2ui.org/assets/end-to-end-data-flow.png
A2UI is a Google-created project allowing AI agents to safely send rich UIs across trust boundaries using declarative component descriptions. It enables incremental UI generation and rendering on various platforms like Angular, Flutter, and React.

The World Happiness Report is beset with methodological problems

https://substackcdn.com/image/fetch/$s_!Kbgp!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F94ff85f6-7fa3-4123-a6cc-4a6e1f56f2ae_1024x683.jpeg
The World Happiness Report is based on a flawed methodology using a single question about life satisfaction, which doesn't accurately measure happiness.

AI is wiping out entry-level tech jobs, leaving graduates stranded

https://fastly.restofworld.org/uploads/2025/11/AI-take-over_Green-300ppi.jpg?width=800&dpr=2&crop=16:9
Artificial intelligence has led to a decline in entry-level tech jobs, with fewer than 25% of students at Indian Institute of Information Technology securing job offers. Students are now expected to possess higher-level skills and adapt to industry demands, making traditional engineering degrees less relevant.

Ideas aren't getting harder to find

https://asteriskmag.com/media/pages/issues/12-books/ideas-arent-getting-harder-to-find/6b4f03c1bc-1760993274/anagh-banerjee_tadepalli.png
Productivity growth slowdown may not be due to lack of new ideas, but rather market inefficiencies preventing innovative firms from gaining market share. Focusing on improving market competitiveness and allocative efficiency could be key to restoring economic growth.

FVWM-95 (2001)

Fvwm95 is a Unix window manager emulating Windows-95 features for a familiar look and feel. It's useful for users switching between Unix and MS-World or wanting a simple, efficient alternative.

Writing a blatant Telegram clone using Qt, QML and Rust. And C++

https://kemble.net/provoke/littlethingy.png
The user is working on a Qt-based application using Rust and QML, aiming to create a native-like experience. They're experimenting with different approaches to integrate Rust and Qt, including using qmetaobject-rs and cxx-qt.

The biggest heat pumps

https://ichef.bbci.co.uk/news/480/cpsprodpb/905e/live/cf953790-c525-11f0-b288-51552c83ad58.jpg.webp
A German energy company, MVV Energie, is building the world's most powerful heat pump modules in Mannheim, Germany, with a capacity of 162MW. The heat pumps will draw water from the River Rhine and supply around 40,000 homes via a district heating system.

A linear-time alternative for Dimensionality Reduction and fast visualisation

https://miro.medium.com/v2/resize:fit:407/1*waPa-9E4u0Ze_875Chb4Yg.png
SLR is a deterministic, linear-time dimensionality reduction method for browsers, using trilateration against a fixed topological skeleton. It achieves real-time performance by comparing every point to a small set of landmarks, rather than every point to every other point.

A brief history of Times New Roman

https://typographyforlawyers.com/images/tally-of-types.jpg
Times New Roman was created in 1929 for the Times of London newspaper and became popular due to its use in daily newspapers. It's now widely used but often seen as a default font lacking personality.

Overconsumption is a spiritual problem

https://substackcdn.com/image/fetch/$s_!awsn!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F54aeee46-b9fe-45c7-9aaa-6870f8a21883_1200x630.jpeg
The author reflects on materialism and its effects on life, comparing it to being "spirited away" like in the movie Spirited Away, where desires and greed consume one's identity.

Devs say Apple still flouting EU's Digital Markets Act six months on

https://regmedia.co.uk/2024/04/17/shutterstock_logo.jpg
Apple is accused of non-compliance with the EU's Digital Markets Act, imposing fees on transactions outside its App Store despite a ruling against it. Developers warn that weak enforcement risks turning the regulation into an expensive paper exercise.

The Bob Dylan concert for just one person

https://substackcdn.com/image/fetch/$s_!U8s_!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F87847b9d-1154-49de-85d0-329d13a09f62_2880x1623.png
Bob Dylan performed a private concert for one person, Fredrik Wikingsson, in a Philadelphia theater. Wikingsson, a huge Dylan fan, was chosen for the unusual performance, which featured 1950s covers, including Buddy Holly's "Heartbeat."

SoundCloud confirms breach after member data stolen, VPN access disrupted

https://www.bleepstatic.com/content/hl-images/2025/12/15/soundcloud.jpg
SoundCloud experienced a security breach where threat actors stole a database containing user information, but no sensitive data was accessed. The breach affects 28 million accounts, with users unable to access the site via VPN due to a configuration change.

Thomas Piketty: 'The reality is the US is losing control of the world'

https://img.lemde.fr/2025/04/11/0/0/8256/5504/1440/960/60/0/886c6e9_ftp-import-images-1-ryyncviorw3k-5587956-01-06.jpg
The US is losing control of the world due to its economic decline and rising debt. The country's unstable leadership and desperate policies, such as taxing foreign interest payments, are a result of its economic struggles.

Chat-tails: Throwback terminal chat, built on Tailscale

https://cdn.sanity.io/images/w77i7m8x/production/31674a9600880adf926cece139c2f0f631a350a6-1090x1202.png?w=3840&q=75&fit=clip&auto=format
Brian Scott created chat-tails, a private, terminal-based chat app for his kid and friends to play Minecraft safely. It uses Tailscale and tsnet for secure connections and is accessible through a terminal with features like /who and /quit commands.

U.S. unemployment rose in November despite job gains

Please enable JS and disable any ad blocker

Dafny: Verification-Aware Programming Language

https://dafny.org/images/dafny-logo.jpg
Dafny is a verification-aware language that empowers developers to write correct code with native support for specifications and a static verifier. It integrates with existing workflows and reduces costly late-stage bugs through rigorous verification.

Put a ring on it: a lock-free MPMC ring buffer

https://h4x0r.org/img/default-seo-image.png
A ring buffer is a fixed-size queue that drops old data when it fills up, making it suitable for busy Linux environments where performance is crucial. A scalable ring buffer can be implemented without locking, allowing multiple readers and writers to access it simultaneously, and can be designed to drop old data or new data depending on the situation.

Letta Code

https://cdn.prod.website-files.com/66bb3d1f468f0f3848a20a84/69419caea50a5208e60e88d9_letta-code-blog-thumb.png
Letta Code is a memory-first coding agent that persists across sessions and improves with use. It learns from experience through context engineering, long-term memory, and skill learning, achieving comparable performance to provider-specific harnesses.

Creating custom yellow handshake emojis with zero-width joiners

https://blog.alexbeals.com/images/custom-yellow-handshake-emojis-with-zero-width-joiners/2.png
Apple added multi-skin tone handshake emojis in 2022, using Unicode codepoints. The emojis are composed of one or multiple codepoints, allowing for different skin tones and colors.

More than 100 rally against data centers at Michigan Capitol

Over 100 people protested at the Michigan state Capitol against proposed data centers citing concerns over electricity rate hikes, water usage, and lack of transparency. Michigan Attorney General Dana Nessel criticized a massive proposed project involving OpenAI and Oracle in Saline Township.

CEOs to Keep Spending on AI, Despite Spotty Returns

Please enable JS and disable any ad blocker

Four Million U.S. Children Had No Health Insurance in 2024

https://static.scientificamerican.com/dam/m/214bd7e15d40a965/original/uninsured-children_graphic_leadImage.png?m=1765562915.493&w=600
More than 4 million US children under 19 lack health insurance, a 20% increase since 2022, due to a fragmented healthcare system and bureaucratic issues. This gap in insurance coverage can lead to delayed medical care, worse cancer prognosis, and increased risk of death for children.

The new ChatGPT Images is here

https://images.ctfassets.net/kftzwdyauwt9/5cwVlwaPmq2DToD9aownyp/e96fe76cb42c7494970aa2228e0601e8/chatgpt-images-example-1-input-2.png?w=640&q=90&fm=webp
OpenAI introduces GPT-5.2 for professional knowledge work, improving economic value and state-of-the-art performance in tasks like spreadsheets, presentations, and code writing.

Mozilla's new CEO is doubling down on an AI future for Firefox

https://platform.theverge.com/wp-content/uploads/sites/2/chorus/author_profile_images/195807/DAVID_PIERCE.0.jpg?quality=90&strip=all&crop=0%2C0%2C100%2C100&w=2400
Mozilla's new CEO Anthony Enzor-DeMeo aims to make Firefox a trusted AI browser. He plans to integrate multiple AI models into Firefox, prioritizing user choice and trust.

AIsbom – open-source CLI to detect "Pickle Bombs" in PyTorch models

https://raw.githubusercontent.com/Lab700xOrg/aisbom/main/assets/aisbom_demo.gif
AIsbom performs Deep Binary Introspection on model files to detect malware risks and license violations. It generates a compliant sbom.json with SHA256 hashes and license data.

O'saasy License Agreement

https://osaasy.dev/assets/images/opengraph.png
This software is open-source and can be used freely with certain restrictions. It comes with no warranty and the authors are not liable for any damages.

Should we fear Microsoft's monopoly?

https://www.cursor.tue.nl/fileadmin/_processed_/3/3/csm_iStock-496476627-Tomhoryn_e19ffd2178.jpg
TU/e is exploring alternatives to Microsoft due to US sanctions concerns, with some departments testing Nextcloud and SURF solutions. A comprehensive replacement is unlikely, but the university is collaborating with others to develop European alternatives.

Reverse-engineering the RK3588 NPU: Hacking limits to run vision transformers

The author, an MS CS student, optimized the Rockchip RK3588 NPU to run a Vision Transformer model by manually tiling the graph and bypassing driver timeouts. They achieved a drastic improvement in performance by re-architecting the software to match the silicon's physical reality.

I don't think Lindley's paradox supports p-circling

https://vilgot-huhn.github.io/mywebsite/posts/20251206_p_circle_lindley/index_files/figure-html/unnamed-chunk-2-1.png
The author discusses the concept of p-value circling, where researchers are skeptical of results with p-values close to 0.05. They explore the idea that p-values are only valid if they're valid and can't handle questionable research practices. The author suggests that p-value circling might be justified if researchers assume that p-values are distorted by p-hacking, but this is not a strong ...

Show HN: Solving the ~95% legislative coverage gap using LLM's

https://lustra.news/splash/img/light-1x.png
Lustra provides transparent access to global legislation. Our bill summaries and voting records are presented in a concise, clear, and impartial way.

Americans overestimate how many social media users post harmful content

Show HN: My Tizen multiplayer drawing game flopped, but then hit 100M drawings

https://www.drawize.com/Content/Images/academy_demo.gif
Drawize is a free online drawing game for friends or groups, offering practice and guessing modes. It also includes CopyCatAI for AI feedback on drawing skills.

Show HN: Zenflow – orchestrate coding agents without "you're right" loops

https://zencoder.ai/hs-fs/hubfs/Zenflow%20Steps%20-%201-2%20(1).webp?width=2800&height=1866&name=Zenflow%20Steps%20-%201-2%20(1).webp
Zenflow should build a workflow using the Auto feature, utilizing built-in templates and custom patterns for efficient code production. This workflow will enable automated verification, cross-agent review, and simultaneous task execution with isolated environments.

Show HN: TheAuditor v2.0 – A “Flight Computer” for AI Coding Agents

https://camo.githubusercontent.com/d00ab174a506ee83645de7e103a03068a2ef6b25d5f658bcb782dff48f520197/68747470733a2f2f696d672e796f75747562652e636f6d2f76692f35313275714d615a6c54672f302e6a7067
TheAuditor is a database-first code intelligence platform that indexes codebases for fast security analysis. It uses incremental indexing and database queries for sub-second results.

Show HN: PasteClean – Desktop app to strip tracking parameters from clipboard

Remove analytics parameters, referrals, and trackers from your URLs instantly. Protect your privacy before you click. Runs quietly in the background. Copies clean links automatically as soon as you clean them. Reveal the true destination of bit.ly and tinyurl links before you click. No more surprises.

Show HN: Deterministic PCIe Diagnostics for GPUs on Linux

https://opengraph.githubassets.com/bac7e0a1d5fd2dbc3375f5fffde8a95d9539684589825695d257d079c44cfc82/parallelArchitect/gpu-pcie-diagnostic
This tool checks GPU PCIe link health and bandwidth, and can prove it's working as expected. It requires elevated privileges on some Linux systems and provides read-only AER counter inspection.

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5hrs

https://static.simonwillison.net/static/2025/justjshtml-playground.jpg
The user ported JustHTML, a Python HTML5 parser, to JavaScript using Codex CLI and GPT-5.2 in 4 hours. The new library, simonw/justjshtml, passes 9,200 tests from the html5lib-tests suite and has a similar API to the original library.