Kimi-K3 Releases on HuggingFace 7/27

568 nateb2022 2026-07-27 06:28:22 UTC huggingface.co Full Share 256

K3 is the next generation of open frontier models from Moonshot AI. It is the world's first open 3T-class model, designed for frontier intelligence across long-horizon coding, knowledge work, and reasoning. Hit Like and Notify on release and we will send you a single email the moment the weights are public. No spam, just the drop.

How is the Bun Rewrite in Rust going?

166 tomlockwood 2026-07-27 11:28:22 UTC lockwood.dev Llama Share 113

The author questions the value of Anthropic's acquisition of Bun and the company's large valuation, citing a lack of release tags and increasing open pull requests. The author suspects that the cost of the rewrite is higher than claimed, with potential off-the-books expenses and ongoing Anthropic employee involvement.

AI companies are shredding rare books

149 anon373839 2026-07-27 12:34:22 UTC xcancel.com Llama Share 67

AI companies are buying rare books, scanning them, and shredding the originals to train AI, with some companies offering non-disclosure agreements to keep this practice secret. A federal judge ruled this practice is fair use, allowing it to accelerate despite concerns over the irreversible destruction of rare books.

Elevated errors on Claude Opus 5

33 croemer 2026-07-27 12:28:22 UTC status.claude.com Full Share 27

This incident affected: claude.ai, Claude API (api.anthropic.com), Claude Code, and Claude Cowork.

Removing React.js from the codebase and adapting Htmx for UI interactivity

44 Ralfp 2026-07-27 10:28:22 UTC misago-project.org Llama Share 22

Misago's current implementation has issues with duplicated code and complexity. It can be simplified by using a JavaScript framework with server-side rendering like Next.js or Remix.run, and focusing on an API with React.js UI.

PGSimCity - How PostgreSQL Works

730 jonbaer 2026-07-27 00:28:22 UTC nikolays.github.io Full Share 69

An explorable 3D city that shows how PostgreSQL actually works — backends, shared buffers, WAL, checkpoints, autovacuum and replication, all running live in your browser.

Libsm64: Mario 64 as a library for use in external game engines

48 klaussilveira 2026-07-27 10:28:22 UTC github.com/libsm64 Llama Share 9

This project provides a shared library for SM64 movement and rendering code, allowing Mario to be easily integrated into existing game engines or systems. The library loads official SM64 ROMs at runtime for asset extraction and can be built and used with SDL2 and GLEW libraries.

Magnolias Are So Old That They're Pollinated by Beetles, Not Bees

128 speckx 2026-07-27 06:28:22 UTC mymodernmet.com Llama Share 52

Magnolia flowers have been around for over 100 million years and rely on beetles for pollination due to their ancient origins. The flowers' large, bowl-shaped petals and strong scent attract beetles, which transfer pollen as they search for food.

Building a Fast Lock-Free Queue in Modern C++ from Scratch

26 ibobev 2026-07-27 10:28:22 UTC blog.jaysmito.dev Llama Share 6

The user discusses the limitations of using a standard library queue in a multi-threaded environment and the need for a lock-free queue that can handle high-frequency trading systems, real-time game engines, and other demanding applications. They outline the design of a lock-free queue using a linked list and compare-and-swap (CAS) operations, but note that this approach has several ...

Towards a Theory of Bugs: The Ruliology of the Unexpected

15 nsoonhui 2026-07-27 11:28:22 UTC writings.stephenwolfram.com Llama Share 0

The author explores the concept of bugs in software and their ubiquity, discussing how even simple programs can exhibit computational irreducibility and unpredictability, making it difficult to guarantee bug-free behavior. The author uses examples from Turing machines and cellular automata to illustrate the challenges of predicting program behavior and the importance of computational ...

Show HN: Physically accurate black hole you can put in your room

385 aplavin 2026-07-27 00:28:22 UTC blackhole.plav.in Full Share 130

this is a simplified viz · for science-grade rendering → Synchray.jl

The Birth of the American 12-string Guitar

32 bilegeek 2026-07-27 11:28:22 UTC harpguitars.net Llama Share 15

Carl Brown invented a 10-string "harp-guitar" in 1896, which was later manufactured by the Gordon and Wurlitzer companies, and Rene Grunewald's firm also produced a similar instrument. The 10-string harp-guitar was marketed as a practical and useful instrument for beginners, with a tone resembling a mandolin and guitar, and was considered a radical improvement over the standard guitar.

Shay Locomotives

25 Rygian 2026-07-27 09:28:22 UTC shaylocomotives.com Full Share 5

VLC for Unity now supported on Linux

55 martz 2026-07-27 09:28:22 UTC code.videolan.org Llama Share 14

The website uses Anubis to protect against aggressive AI scraping, which adds a Proof-of-Work load to make scraping more expensive. Users with plugins like JShelter need to disable them for this domain to access resources.

Worse on Purpose

33 bookofjoe 2026-07-27 12:31:22 UTC ledger.worseonpurpose.com Full Share 7

We're verifying your browser Website owner? Click here to fix

Modern email can be built from borrowed parts

44 andros 2026-07-27 09:28:22 UTC en.andros.dev Llama Share 12

The user proposes a new mail system called HMTP (Hypertext Mail Transfer Protocol) that uses HTTP and replaces SMTP's design flaws, focusing on discovery, verification, delivery, and encryption over HTTP. HMTP uses standardized technologies like WebFinger, ActivityPub, Webmention, Ed25519, and HPKE to provide a secure, decentralized, and scalable mail system with features like first-contact ...

The Proof Machine (2016)

5 BenoitP 2026-07-27 12:31:22 UTC incredible.pm Prefix Share 0

This is a tool to perform proofs in various logics (e.g. propositional, predicate logic) visually: You simply add blocks that represent the various proofs steps, connect them properly, and if the conclusion turns green, then you have created a complete proof! Simply drag and drop to connect two dots; for some examples of completed proofs, see this paper. For a quick introduction to the UI, ...

Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary

222 maxloh 2026-07-26 23:28:22 UTC github.com/vercel-labs Llama Share 111

scriptc compiles ordinary TypeScript into small, fast native executables without Node or JavaScript engine, allowing for type-checked and statically compiled code with native performance. The tool supports a wide range of TypeScript features, including generics, async/await, and classes, and provides differential testing and memory-safety checks to ensure correctness and security.

3D-printed F-14 Tomcat uses FPGA recreation of the first microprocessor

4 sbulaev 2026-07-27 12:28:22 UTC tomshardware.com Prefix Share 0

FPGA and embedded systems expert Adam Taylor has recreated the U.S. Navy’s F-14 Tomcat’s Central Air Data Computer (CADC) in an FPGA. The CADC is famous for being the brains behind the F14’s advanced fighter capabilities including the control of the aircraft’s signature articulated sweep-wing system. So, what better way to test the new FPGA than in a 3D printed scale model of the F-14 Tomcat? ...

Decker, a platform that builds on the legacy of Hypercard and classic macOS

338 tosh 2026-07-26 18:28:22 UTC beyondloom.com Llama Share 76

Decker is a multimedia platform for creating interactive documents with sound, images, and scripted behavior, available for web browsers and various operating systems. It features a simple and intuitive interface, a scripting language named Lil, and supports sharing and collaboration through web pages and source control tools.

Elevated errors on Claude Opus 5

32 flyaway123 2026-07-27 08:28:22 UTC status.claude.com Full Share 16

This incident affected: claude.ai, Claude API (api.anthropic.com), Claude Code, and Claude Cowork.

US citizen charged after GrapheneOS phone wipes during airport search

959 eecc 2026-07-26 22:28:22 UTC techspot.com Llama Share 737

A US federal case is raising questions about GrapheneOS, a privacy-focused mobile operating system, after prosecutors accused its user of destroying evidence. The case centers on whether the operating system's features, designed to protect user privacy, can be considered a crime.

We have proof automation now

197 zdw 2026-07-26 21:28:22 UTC imperialviolet.org Llama Share 80

The user discusses the benefits and challenges of dependently-typed languages like Lean, which can encode and enforce complex invariants, but require significant proof effort. They explore the potential of combining Lean with large language models (LLMs) to automate proof generation and make dependent types more practical for quotidian software engineering.

Google Chrome Arrives on ARM64 Linux, Widevine DRM Included

18 twapi 2026-07-27 11:28:22 UTC omgubuntu.co.uk Llama Share 6

Google Chrome is now available for Arm64 Linux devices, including Raspberry Pi, through a native Arm64 build that can be installed from the official Linux repos. The build includes Google account sync and Widevine DRM playback, but is limited to software-based DRM on Linux, capping video streams at 720p or 1080p.

I wanted a clock that never needed setting. Things escalated

141 lee_ars 2026-07-26 23:28:22 UTC arstechnica.com Llama Share 120

The user created a custom bedside clock using a Raspberry Pi, 3D printing, and a seven-segment display, with the help of a Large Language Model (LLM) for coding and CAD work. The project involved soldering, iterating through design revisions, and incorporating a neutral density filter and smoked acrylic to achieve the desired dimness and aesthetic.

Chinese chipmaker shares surge 470%

122 pingou 2026-07-27 09:28:22 UTC bbc.com Llama Share 107

Shares in China's ChangXin Memory Technologies surged 470% on its debut on the Shanghai Stock Exchange, making it the most valuable listed company in mainland China. The company plans to use IPO proceeds to boost memory chip production and research.

Measuring developer productivity with the DX Core 4

33 saikatsg 2026-07-27 06:28:22 UTC getdx.com Llama Share 26

The DX Core 4 is a unified framework for measuring developer productivity that encapsulates DORA, SPACE, and DevEx, providing a focused set of metrics for any organization size. It includes four dimensions: speed, effectiveness, quality, and business impact, and can be implemented in weeks, not months.

Introduction to Data-Oriented Design [pdf]

199 tosh 2026-07-26 18:28:22 UTC gamedevs.org Full Share 53

Simulate cassette tape audio profiles using FFmpeg

153 xterminal 2026-07-26 20:28:22 UTC github.com/aaromanov1985 Full Share 65

# Convert local audio files (mp3, ogg, m4a, aac) ./convert_cassette_*.sh # Record a live web stream into segment files ./record_stream_cassette_*.sh [STREAM_URL]

8086 Emulator Inside Scratch

16 rickcarlino 2026-07-27 07:28:22 UTC turbowarp.org Full Share 1

TurboWarp is a Scratch mod with a compiler to run projects faster, dark mode for your eyes, a bunch of addons to improve the editor, and more.