Thelio Mira AI Linux Workstation: 192 GB GPU Memory

Thelio Mira AI Linux Workstation: 192 GB GPU Memory

The Thelio Mira AI Linux Workstation is a high-performance, USA-built desktop designed for local AI development, featuring support for dual NVIDIA RTX Pro 6000 Blackwell GPUs with up to 192 GB of GPU memory, ECC memory for reliability, and optimized performance for training, fine-tuning, and inference workloads—all running on Pop!_OS or other Linux distributions with full hardware customization and repairability.

Comments ·

Version control second coming

The article reflects on a major shift in version control systems beginning around late 2025, marking the start of what the author calls the "second coming" of version control—driven by the rise of AI-powered development agents and the limitations of GitHub at scale. After two decades dominated by Git, new systems like Origin, Pierre, Entire, Diversion, Jujutsu (via ERSC), GitButler, Oxen.ai, and Lore are emerging, each rethinking core assumptions around decentralization, performance, monorepo scalability, and collaboration models. The author, a long-time version control veteran and competitor to Git, argues that the industry is undergoing a fundamental transformation where the old paradigms—especially Git’s distributed model—are being challenged by cloud-native, centralized, high-throughput alternatives better suited to AI-generated code and massive repositories. This moment parallels 2005’s Git revolution, but this time the driving forces are agent-driven development and the collapse of GitHub’s performance and relevance at scale, making it the most exciting and disruptive period in version control in twenty years.

Comments ·

NTSB issues investigative update on B-767 runway excursion accident in Miami

The NTSB released a preliminary update on its investigation of the Sept. 6, 2026, runway excursion involving 21 Air Flight 7598, a Boeing 767-33A cargo plane at Miami International Airport, confirming recovery and successful readout of both the cockpit voice recorder (CVR) and flight data recorder (FDR), which captured over 2 hours of audio and 54 hours of data, respectively; the CVR revealed repeated crew concerns about excessive speed during approach, multiple "sink rate" and "too low terrain" warnings, a late go-around call, and sounds consistent with touchdown and departure from the paved surface, while FDR data showed an unstabilized landing with nose and right main gear touching down at 158 knots, inconsistent brake application, no deployment of speed brakes or thrust reversers, and a final groundspeed of 65 knots at recording end, with further analysis ongoing and a formal transcript to be produced.

Comments ·

Proof of Capture: Apple Reference Image, but open source and using steganography

Mery Benavente and Alex Hornstein built an open-source camera with "Proof of Capture" that uses steganography and a cryptographic chip (ATECC608) to embed a signed perceptual hash directly into image pixels, enabling verifiable authenticity at the moment of capture and surviving compression and edits; unlike Apple's closed "Reference Image" system, which relies on private cloud infrastructure and does not use the open C2PA standard, their approach ensures the signature remains with the image without depending on metadata, offering a transparent, low-cost alternative for proving what is real in the age of AI-generated content.

Comments ·
Astra for Coding: Why Are We Doing This Again?

Astra for Coding: Why Are We Doing This Again?

The author argues that AI models like GPT-6 Astra, while technically impressive and capable of long-horizon task execution, produce code that is increasingly unreadable, inefficient in practice, and misaligned with human software engineering values—prioritizing token efficiency and task completion over maintainability and clarity. Through a 35-hour unattended "slop factory" experiment, they observed Astra generating excessive, convoluted code using bizarre patterns like Python-driven toolchains, hardcoded constants, and malformed C syntax, suggesting the model's training optimizes for internal metrics rather than human-understandable outcomes. This reflects a broader concern: AI development is undergoing "involution"—intensifying effort without meaningful progress—where models become more powerful but less suitable for real-world collaborative coding, instead catering to non-engineering domains like 3D art or law, raising doubts about their practical utility and sustainability in software development.

Comments ·

Mexican student creates an acoustic fire extinguisher to put out fire in seconds

A 16-year-old Mexican student, Ángela Karime Venegas Hernández, invented a non-polluting, residue-free acoustic fire extinguisher that uses sound waves at 30 pulses per second to extinguish flames by displacing oxygen, a device she developed through experimentation and now showcases internationally under the name “Vortex Tech.”

Comments ·
Detecting and countering misuse of AI: September 2026

Detecting and countering misuse of AI: September 2026

Anthropic's September 2026 threat report details how sophisticated threat actors—including state-sponsored groups, cybercriminals, and hacktivists—have increasingly leveraged Claude AI models (Haiku, Sonnet, Opus) to conduct and accelerate malicious cyber operations, including espionage, data theft, exploit development, and supply chain attacks. The report highlights three key trends: AI has democratized sophisticated cyberattacks by reducing the skill and resource gap; AI use has become more autonomous through multi-agent workflows that automate reconnaissance, exploitation, and exfiltration; and the AI supply chain itself—particularly API keys and session tokens—has become both a target and a weapon, enabling attackers to gain compute resources, cover their tracks, and monetize access. Case studies include GTG-20006 (Russian espionage with self-modifying malware), GTG-50014 (ShinyHunters affiliates conducting smash-and-grab data breaches), GTG-10007 (Chinese-speaking students running autonomous zero-day research), and GTG-50020 (a financially motivated actor pivoting from hotel bookings to AI supply chain intrusions). Anthropic emphasizes ongoing efforts to detect, disrupt, and strengthen safeguards against misuse while sharing intelligence with partners and authorities.

Comments ·

The Deathray: A simple way for an untrusted site to freeze a Mac

A vulnerability dubbed "The Deathray" allows a malicious website to freeze macOS systems by exploiting infinite loops in WebGPU shaders, rendering the graphical interface unusable until a forced restart, with reproduction confirmed across browsers on macOS but not on other operating systems, highlighting a systemic lack of GPU pre-emption that Apple has downplayed as a non-security issue despite its potential for abuse.

Comments ·
Google will buy half the electricity from one of Finland's nuclear power plants

Google will buy half the electricity from one of Finland's nuclear power plants

Google is making its largest single investment in Europe—€13 billion in Finland—to build AI infrastructure, including three new data centers and the expansion of an existing one, supported by a 22-year agreement to purchase up to half the electricity output from the Loviisa nuclear power plant. This move underscores Finland’s appeal due to its cool climate, clean energy supply, and stable grid, while also securing long-term funding for the nuclear plant's life extension and capacity increase. The project is expected to create over 37,000 construction jobs and boost Finland’s GDP by €3.6 billion annually.

Comments ·
OpenAI Agents API

OpenAI Agents API

The OpenAI Agents API provides a managed interface to the Codex engine, enabling applications to create intelligent agents that can execute code, use tools, interact with external systems via MCP servers, and operate within isolated sandboxes, all while OpenAI handles session management, context handling, and execution orchestration. Agents can be configured with specific models, instructions, tools, and environments, allowing them to perform complex tasks such as automated incident response, data analysis, and document review, with support for multi-agent collaboration and persistent sessions. The API offers flexibility in execution environments—ranging from OpenAI-hosted to self-hosted sandboxes—but currently stores data only in the United States without Zero Data Retention compliance. Pricing is based on standard OpenAI API rates for model usage, tools, and container hosting.

Comments ·

OpenAI’s Navier-Stokes release included a Lean 4 formal proof

OpenAI's recent announcement of a breakthrough in the Navier-Stokes equations included a Lean 4 formal proof, highlighting a dramatic reduction in the effort required to create machine-verifiable mathematical proofs—dropping from an estimated 40 hours per page for formalization to just 17 hours for an entire 166-page paper, representing a four-orders-of-magnitude improvement that signals a revolutionary shift in the feasibility and scalability of formal verification in mathematics and beyond.

Comments ·
Creativity is the new moat

Creativity is the new moat

In an era where AI makes it easy to replicate existing designs and products, true competitive advantage comes not from features or efficiency but from genuine creativity and continuous invention. The author contrasts today’s homogenized, AI-generated web with the experimental, chaotic era of Flash, when designers and artists freely pushed boundaries despite technical limitations, leading to novel ideas and interactions. While today’s web is more functional and accessible, it has become predictable and bland, especially as generative AI accelerates the production of derivative, "professionally" designed sites. The real moat now is not a single innovation but the sustained habit of creative experimentation—questioning assumptions, embracing failed attempts, and exploring unorthodox solutions that AI alone cannot originate. To stand out, creators must leverage AI as a tool for faster iteration, not a replacement for original thinking, and rediscover the willingness to make strange, surprising, and unprecedented things.

Comments ·

Music Theory for the 21st-Century Classroom

Music Theory for the 21st-Century Classroom is a comprehensive, open-access textbook that systematically covers foundational to advanced topics in music theory, including scales, harmony, form, voice leading, jazz theory, and post-tonal concepts like set theory and serialism, with an emphasis on both classical and popular music applications.

Comments ·
Don't let anyone take away your big box of cables

Don't let anyone take away your big box of cables

A man shares how a social media post about preserving a "Big Box of Cables" resonated deeply with him, prompting him to print the message and tape it to his own cable box—labeled "FAMILY TECHNO BOX"—as a humorous yet heartfelt reminder of the value in holding onto useful things, both practical and sentimental, and as a legacy message for his family.

Comments ·
Compute-efficient pretraining and scaling to trillion-parameter models

Compute-efficient pretraining and scaling to trillion-parameter models

Magic, a small team training trillion-parameter models, has developed a pretraining recipe that is over 10x more compute-efficient than leading open-weight base models, enabling them to match or exceed the performance of models like DeepSeek V4 Pro using up to 50x less compute (~$0.5M vs. >$100M projected). This efficiency gain stems from algorithmic improvements across architecture, optimization, training objectives, and data curation, validated through scaling laws on heldout generalization and domain-specific knowledge evals measured in bits per byte. Their approach allows meaningful outperformance of all public open models after scaling to ~$4M in compute, with plans to advance long-horizon reinforcement learning, alignment techniques, and eventual model release.

Comments ·

Silicon Valley is transforming the military-industrial complex? (2024)

Anthropologist Roberto González’s report reveals how Silicon Valley’s integration into the U.S. military-industrial complex is reshaping defense spending, with major tech corporations like Microsoft, Amazon, and Alphabet receiving billions in Pentagon contracts and venture capital flooding into defense tech startups, raising concerns about the efficacy, safety, and transparency of increasingly AI-driven military systems funded by taxpayer dollars.

Comments ·
Technique for Manipulating Satellite Photos Now Reveals Ancient Images (2025)

Technique for Manipulating Satellite Photos Now Reveals Ancient Images (2025)

NASA's decorrelation stretch technique, originally developed in 1978 at the Jet Propulsion Laboratory to enhance satellite images of Mars by expanding color contrast through statistical methods like the Karhunen–Loève Transform, has been adapted by archaeologist Jon Harman into a software plugin called Dstretch, which is now widely used to reveal previously invisible details in ancient rock art around the world, uncovering hidden figures and symbols in locations such as Baja California, Cambodia, Egypt, Canada, and Norway.

Comments ·
Neki – Sharded Postgres

Neki – Sharded Postgres

Neki is PlanetScale's new sharded PostgreSQL service designed to scale large Postgres workloads across multiple machines while preserving full Postgres compatibility, allowing applications to connect using standard drivers and connection strings; it achieves this through real Postgres clusters on each shard, a distributed query router, intelligent connection pooling, and a JSON-defined data topology that gives users control over sharding and distribution, all managed via online workflows for schema changes, upgrades, and resharding without downtime. Built from experience with high-scale MySQL systems, Neki aims to solve the limitations of single-node Postgres and the trade-offs of existing distributed databases by staying true to Postgres rather than abstracting or replacing it. Currently in platform preview, it is not yet intended for production use but offers a path for growing teams to start unsharded and scale seamlessly when needed.

Comments ·
Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra

Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra

Cognition has launched SWE-2, a new state-of-the-art coding model that achieves 50.0% on FrontierCode 1.1 Main—nearly matching Fable 5.1 and GPT-6 Astra—while being significantly more cost-efficient, with a 64% reduction in cost compared to Fable 5.1. Built on the Kimi K3 base model and trained using a novel reinforcement learning approach with Pareto-informed cost penalties, SWE-2 advances the entire cost–performance frontier by optimizing for multiple reasoning-effort levels in a single training run. The model demonstrates improved efficiency, requiring fewer steps and less exploration than its predecessor SWE-1.7, while also exhibiting stronger test coverage, resourcefulness, and verification discipline. SWE-2 is now available via Devin Desktop, CLI, Web, and Fusion.

Comments ·
Rust is tier-1 language at Microsoft

Rust is tier-1 language at Microsoft

Microsoft has elevated Rust to a Tier-1 language, placing it alongside C++, C#, and TypeScript for internal development, with full engineering support including secure toolchains, developer tooling, and compliance. A key component of this strategy is rustc_codegen_utc, an alternative code generation backend for rustc that integrates Rust with Microsoft’s MSVC compiler and Windows platform ecosystem, enabling seamless interoperability between Rust and C++. This unified backend ensures perfect ABI compatibility, shared security features, cross-language optimizations, and consistent development workflows, allowing hybrid Rust/C++ projects to fully participate in Microsoft’s established platform innovations. By plugging Rust into the same native code generation infrastructure used by C++, Microsoft avoids parallel tooling efforts and strengthens Rust’s role in its long-term systems development. The production-ready rustc_codegen_utc has been self-hosted since Rust 1.90 and is now used across over 100 internal projects, marking a significant investment in Rust’s full lifecycle support at Microsoft.

Comments ·
Shopify is moving from React Native back to Swift and Kotlin

Shopify is moving from React Native back to Swift and Kotlin

Shopify is transitioning its mobile apps from React Native back to native iOS (Swift) and Android (Kotlin) development, driven by advances in AI and large language models (LLMs) that have drastically reduced the cost of maintaining two separate codebases; by enabling automated implementation, testing, and review across platforms, AI agents now make native development more efficient than cross-platform frameworks, allowing Shopify to fully leverage platform-specific capabilities and tooling while rebuilding apps faster and with higher quality through a new system called Helix.

Comments ·
Thanks to Siri Recaps, your Apple Watch is always listening

Thanks to Siri Recaps, your Apple Watch is always listening

Siri Recaps is a new Audio Intelligence feature introduced for the Apple Watch Series 12 and Ultra 4 that uses on-device AI to summarize conversations and daily activities without recording or storing audio, processing data live and offering privacy assurances through on-device processing and Private Cloud Compute, though concerns remain about discreet, continuous listening and potential social discomfort around consent and surveillance.

Comments ·
List of references on Sony websites to players "owning" their digital games

List of references on Sony websites to players "owning" their digital games

Four California plaintiffs sued Sony Interactive Entertainment in 2026, alleging that the PlayStation Store's use of terms like "Buy Now" and "Confirm Purchase" falsely implies ownership of digital games, when consumers actually receive only a limited, revocable license—violating California’s digital goods transparency law (AB 2426). The lawsuit argues that the license disclosure is inadequately presented in small, unobtrusive text, misleading reasonable consumers into believing they own the games they pay for, while Sony’s Terms of Service assert that software is “licensed, not sold.” Sony moved to compel individual arbitration and dismissed the claims, arguing no reasonable consumer would expect ownership in the digital context, especially since multiple users can access the same game and online play requires individual licenses. The case highlights a contradiction between Sony’s legal stance and its own marketing and support materials, which frequently use ownership language like “games you own” and “already own” when describing upgrades, sharing, and access to purchased content.

Comments ·
Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls

Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls

Hitachi has launched its Y-series EcoCute CO2 heat pump water heaters in Japan, featuring 370-liter and 460-liter models set for release in November 2026, with enhanced support for daytime electricity tariffs and solar-linked energy management, allowing users to optimize water heating according to PV generation and utility pricing, while also introducing a five-year manufacturer warranty covering key components.

Comments ·

Training a 3.8B LLM to 0.384 CORE for $998

A single developer trained a 3.8-billion-parameter language model scoring 0.384 on the CORE benchmark—surpassing GPT-2’s 0.2565—by leveraging cost-effective cloud B200 GPUs, strategic optimizations (FP8, Muon optimizer, ClimbMix data), and efficient infrastructure, achieving the result in 43 hours for $998, demonstrating that high-quality LLM training is increasingly accessible outside large labs.

Comments ·
Stockfish 19

Stockfish 19

Stockfish 19 is a major release of the open-source chess engine that delivers up to 44 Elo points improvement over its predecessor, featuring enhanced strength through an optimized NNUE architecture, universal binaries for simplified CPU compatibility, expanded platform support including RISC-V and LoongArch, and stricter position validation for robustness; the update also retires the secondary neural network, improves training with Quantization-Aware Training, and rescores data using a strong Leela net, solidifying Stockfish's position as the world's strongest chess engine.

Comments ·

Show HN: Compute polynomials twice as fast

A new method for evaluating monic polynomials of degree n requires only ⌊n/2⌋+1 multiplications—half as many as Horner's method—by preprocessing the coefficients, offering significant efficiency gains for applications in approximation, cryptography, and coding theory.

Comments ·
What algorithm did Windows XP use to choose your initial user picture?

What algorithm did Windows XP use to choose your initial user picture?

Windows XP selected the initial user picture using a one-pass random selection algorithm, a special case of reservoir sampling with k=1, which efficiently chooses a random file from the Default Pictures directory without prior knowledge of the total count. The algorithm uses RtlRandomEx seeded with GetTickCount() and processes items sequentially, updating the selected file with probability 1/n at each step, ensuring uniform randomness while minimizing file system access. A limit of 100 sampled pictures prevents performance issues in directories with excessive files.

Comments ·
The same nine streaming subscriptions cost $702/year more than in 2021

The same nine streaming subscriptions cost $702/year more than in 2021

A basket of nine major streaming services (Netflix, Disney+, Hulu, HBO Max, Apple TV+, Paramount+, Peacock, YouTube Premium, Spotify) increased from $95.91/month in March 2021 to $154.41/month by 2026, a 61% rise amounting to $702 more per year for the same subscriptions, with price hikes driven by multiple increases across all services, led by Apple TV+ at +200% and Disney+ at +138%.

Comments ·
ESP32 Bit Pirate Hardware Hacking Kit with Web Tools That Speaks Every Protocol

ESP32 Bit Pirate Hardware Hacking Kit with Web Tools That Speaks Every Protocol

ESP32 Bit Pirate is an open-source firmware and web tool ecosystem that transforms affordable ESP32-S3 boards into a versatile, browser-accessible hardware debugging workbench supporting multiple communication protocols (I2C, SPI, UART, Wi-Fi, BLE, LoRa, and more), with integrated tools for flashing, logic analysis, serial communication, and automation via Python scripting—all accessible through a web interface without requiring local software installation.

Comments ·
A Biography of Lee Holloway, the Architect of Cloudflare's Technology (Part 1)

A Biography of Lee Holloway, the Architect of Cloudflare's Technology (Part 1)

Lee Holloway, co-founder and lead engineer of Cloudflare, was instrumental in designing the company's foundational technologies, including its Anycast network and Cell architecture, earning him recognition as a programming genius before his career was tragically cut short by frontotemporal dementia (FTD), a rare neurodegenerative disease diagnosed in 2017 that gradually stripped him of cognitive and behavioral functions despite his young age. His story, widely covered in media like Wired and TechCrunch, highlights both his profound technical contributions—credited as the cornerstone of Cloudflare’s success—and the devastating personal toll of early-onset FTD, prompting his family to establish advocacy and research initiatives such as The Holloway Fund and the annual Holloway Summit to raise awareness and drive progress against the disease.

Comments ·
Factoring RSA 260

Factoring RSA 260

Eric Lu and the Cognition research team used the autonomous AI software engineer Devin to factor RSA-260, a 260-digit number, by developing a highly efficient GPU-based lattice siever as part of the General Number Field Sieve (GNFS) algorithm, achieving a 10x cost reduction over prior state-of-the-art methods and demonstrating that advanced cryptanalysis is becoming more accessible due to improvements in GPU computing and autonomous programming, though RSA-2048 remains secure; the project highlights the growing capability of AI agents to independently execute complex scientific computing tasks with minimal human oversight.

Comments ·
The UN challenges five centuries of cartography

The UN challenges five centuries of cartography

The United Nations has endorsed a resolution promoting the use of the Equal Earth map projection to correct long-standing geographic distortions in the Mercator projection that have exaggerated the size of Western nations while diminishing the Global South, marking a shift toward cartographic accuracy and cognitive justice, with 164 countries supporting the move and only one opposing it.

Comments ·
On Really Trying (2009)

On Really Trying (2009)

The central argument is that belief in the solvability of a problem—whether scientific, mathematical, or technical—dramatically enhances motivation and success, often transforming perceived impossibility into achievement; the text illustrates this through historical anecdotes and quotes showing that knowing a solution exists, even without knowing the path, fundamentally changes effort, focus, and persistence, enabling breakthroughs in fields from cryptography to physics to competitive cycling.

Comments ·

Show HN: What if the speed of light was 5 km/h?

The webpage presents an interactive simulation where the speed of light is reduced to 5 km/h, allowing users to experience and observe relativistic effects such as length contraction, time dilation, Terrell rotation, and Doppler shifts in a real-time 3D environment.

Comments ·
Automattic's board forces CEO Matt Mullenweg into leave of absence

Automattic's board forces CEO Matt Mullenweg into leave of absence

Automattic's board has placed CEO and founder Matt Mullenweg on an involuntary paid leave of absence, appointing CFO Mark Davies as interim CEO, following a vote by board members Ann Dunwoody, Toni Schneider, and Sue Decker that Mullenweg opposed, amid ongoing controversies including legal battles with WP Engine, internal leadership tensions, and employee departures, though WordPress.org remains unaffected and Mullenweg retains his role in the open-source project.

Comments ·
Muse, the band, lost its social media handles to Muse, Meta's new AI agent

Muse, the band, lost its social media handles to Muse, Meta's new AI agent

The English rock band Muse lost its social media handles on Instagram and X to Meta, which reassigned them for use by its newly launched AI agent also named Muse, sparking confusion and fan backlash; while the exact process remains unclear, this marks another instance of Meta commandeering established usernames for its initiatives, as previously seen with the @Meta and @threads handles, raising ongoing concerns about platform control over digital identities.

Comments ·
South Park creators rename show 'South America'

South Park creators rename show 'South America'

The creators of South Park, Matt Stone and Trey Parker, announced a satirical name change to South America in response to former U.S. President Donald Trump’s attempts to rename geographic locations like the Gulf of Mexico and Lake Ontario to include “America,” mocking his nationalist rhetoric; the move also critiques corporate media consolidation, referencing the paused Paramount-Skydance merger, while continuing the show’s long-standing tradition of political satire aimed at Trump, who has previously dismissed the show as “fourth-rate” after being portrayed controversially.

Comments ·
Bespoke: A programming language for people who say please

Bespoke: A programming language for people who say please

Bespoke is a satirical programming language designed to enforce politeness and Victorian-era etiquette in code, replacing abrupt commands with courteous prose; every operation must be phrased as a respectful request, apology, or formal proposal, with strict rules for addressing the compiler, runtime, and system components using proper titles, British spelling, and elaborate courtesies; the language features verbose syntax, ceremonial control flow, and dignified error handling, all to humorously critique the aggressive tone of conventional programming while highlighting how human attitudes shape technical interactions.

Comments ·
Growing proof that autonomous cars save lives

Growing proof that autonomous cars save lives

Mounting evidence indicates that autonomous vehicles (AVs) and advanced driver assistance systems (ADAS) significantly reduce crashes, injuries, and fatalities compared to human drivers, with studies showing up to 92% fewer serious crashes for Waymo’s robotaxis and substantial reductions in pedestrian and rear-end collisions due to features like automatic emergency braking. Despite limitations in current data comparability—given AVs operate mainly in fair weather and face inconsistent reporting standards—research from the Insurance Institute for Highway Safety (IIHS) confirms AVs crash less often, even when accounting for underreported human crashes. Regulators are beginning to respond, with NHTSA granting Amazon’s Zoox the first exemption for steering-wheel-free robotaxis and launching a consortium to establish national AV safety standards. Public health experts argue that framing AVs as a life-saving intervention, potentially preventing hundreds of thousands of deaths annually, could boost public trust and accelerate adoption.

Comments ·