Tech News

Intro to TLA+ for the LLM Era: Prompt Your Way to Victory

LLMs can now generate TLA+ specifications easily, making this formal verification language more accessible to engineers…

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep

Hey HN! We (Stephan and Thomas) recently open-sourced Semble.

For Eclipse, the $2.5B Cerebras win is just the start of realizing its physical-world thesis

Investing in the real world was lonely for Lior Susan 10 years ago.

XS: A programming language. Anywhere, anytime, by anyone

XS is a lightweight, all-in-one programming language that bundles a compiler, debugger, formatter, linter, and package…

Security researcher says Microsoft built a Bitlocker backdoor, releases exploit

A security researcher known as "Nightmare-Eclipse" disclosed YellowKey, a vulnerability that allows complete bypass of…

I turned a $80 RK3562 Android tablet into a Debian Linux workstation

A developer successfully converted an $80 Doogee U10 Android tablet powered by the Rockchip RK3562 chip into a full…

AI is a technology not a product

John Gruber argues that Apple's approach—focusing on shipping products and experiences rather than technologies—is…

CUDA Books

This resource is a curated list of CUDA programming books spanning beginner to advanced levels, covering topics like GPU…

Agentic Trading with Safe Guardrails

Shuriken is a new infrastructure platform that enables AI agents to execute trades across major asset classes…

I don't think AI will make your processes go faster

The author argues that organizations pursuing process optimization often misunderstand where bottlenecks actually…

Apple Silicon costs more than OpenRouter

A cost analysis comparing Apple Silicon inference to OpenRouter cloud services finds that local inference on an M5…

Native all the way, until you need text

A experienced native macOS/iOS developer describes struggling to build a simple chat app with Markdown support using…

Every AI Subscription Is a Ticking Time Bomb for Enterprise

Major AI providers including OpenAI, Anthropic, and Google are deliberately pricing subscriptions far below their actual…

Photo GIMP – A Patch for GIMP 3 for Photoshop Users

PhotoGIMP is a free community patch that reconfigures GIMP 3 to resemble Adobe Photoshop's interface, layout, and…

Klaxon a livr earthquake map with no back end

Malta offers all its citizens free access to ChatGPT Plus for one year

The adoption of artificial intelligence is progressing rapidly in several countries, especially in education and public…

When can the C++ compiler devirtualize a call?

Modern C++ compilers can devirtualize virtual function calls in two main scenarios: when they can prove the exact…

Writing Z80 assembly, 4 decades later:-)

A developer successfully ported 3D graphics rendering software from an ATmega328P microcontroller to a ZX Spectrum…

Playing Atari ST Music on the Amiga with Zero CPU

A developer created a method to play Atari ST music on an Amiga computer using zero CPU by leveraging the Amiga's PAULA…

kharp – k version 3 Language Interpreter in C#

Ksharp is a C# implementation of the K programming language (version 3), a vector programming language from the APL…

The $40 Billion Opportunity: Why Nubank and Revolut Are Betting Big on Mexico

Revolut and Nubank, two large neobanks, are now reaping the benefits of investing in Mexico, reaching milestones…

Mozilla to UK regulators: VPNs are essential privacy and security tools

Mozilla has urged UK regulators against age-gating virtual private networks (VPNs), arguing that restricting access to…

Show HN: Codiff, a local diff review tool

Nowadays I review a lot of code locally that was written by llms. I used to review my own code using git + delta.

Tesla Solar Roof is on life support as it pivot to panels

Tesla's Solar Roof, which was supposed to revolutionize residential solar when unveiled in 2016 with a target of 1,000…

Grafana Labs internal source code accessed

Hosting a website on an 8-bit microcontroller

A developer successfully hosted a functional website on an AVR64DD32 microcontroller (costing $1-2) by using SLIP…

Self-Distillation Enables Continual Learning [PDF]

Researchers introduce Self-Distillation Fine-Tuning (SDFT), a method that enables models to learn new skills from expert…

Fisker went bankrupt and owners built an open source car company from the ashes

After Fisker Inc.

A Nicer Voltmeter Clock

# Summary A designer built an improved voltmeter clock that displays time using three analog panel meters with custom…