Kimi-K3 Releases on HuggingFace 7/27

746 nateb2022 2026-07-27 07:14:53 UTC huggingface.co Llama Share 343

Kimi K3 is a 2.8T-parameter model with native vision capabilities and a 1-million-token context window, designed for frontier intelligence across long-horizon coding, knowledge work, and reasoning. It is the world's first open 3T-class model, released under the Kimi K3 License for research, deployment, and further innovation.

AI companies are shredding rare books

455 anon373839 2026-07-27 13:14:53 UTC xcancel.com Llama Share 246

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.

How is the Bun Rewrite in Rust going?

271 tomlockwood 2026-07-27 11:14:53 UTC lockwood.dev Llama Share 181

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.

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

95 Ralfp 2026-07-27 10:14:53 UTC misago-project.org Llama Share 53

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.

Should you wash your solar panels?

92 surprisetalk 2026-07-27 13:14:53 UTC incoherency.co.uk Llama Share 71

The user cleaned their 16-panel solar farm and saw a 2-5% increase in power output, worth £60-150 per year. They plan to upgrade the solar farm but are hesitant due to a change in feed-in tariff rules that would reduce their benefits.

The Computer That Helped Win World War II

16 baruchel 2026-07-27 14:14:53 UTC spectrum.ieee.org Llama Share 3

In 1941, British codebreakers discovered a new German encryption system called Tunny, which was more advanced than Enigma, and they built a machine called Colossus to break the code. Colossus, the world's first large-scale programmable electronic digital computer, was built by engineer Tommy Flowers and helped the Allies decipher encrypted messages, saving countless lives and shortening World War II.

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

81 klaussilveira 2026-07-27 10:14:53 UTC github.com/libsm64 Llama Share 11

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.

PGSimCity - How PostgreSQL Works

782 jonbaer 2026-07-27 01:14:53 UTC nikolays.github.io Full Share 72

PGSimCity is an independent, non-commercial educational visualization of PostgreSQL internals. It is not affiliated with, sponsored, endorsed, or approved by Electronic Arts Inc. SimCity is a trademark of Electronic Arts Inc. Early, unreviewed prototype. It almost certainly contains inaccuracies in both the model and explanations. Found one? Open an issue or send a pull request.

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

50 ibobev 2026-07-27 10:14:53 UTC blog.jaysmito.dev Llama Share 16

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

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

170 speckx 2026-07-27 06:14:53 UTC mymodernmet.com Llama Share 67

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.

VLC for Unity now supported on Linux

79 martz 2026-07-27 09:14:53 UTC code.videolan.org Llama Share 20

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.

Towards a Theory of Bugs: The Ruliology of the Unexpected

32 nsoonhui 2026-07-27 11:14:53 UTC writings.stephenwolfram.com Llama Share 4

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

412 aplavin 2026-07-27 01:14:53 UTC blackhole.plav.in Full Share 151

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

First Robotic Satellite Servicer Launched

22 GlenTheMachine 2026-07-27 13:14:53 UTC nrl.navy.mil Full Share 7

You don't have permission to access "http://www.nrl.navy.mil/Media/News/Article/4551871/robotic-servicing-of-geosynchronous-satellites-launches-into-orbit/" on this server.

The Birth of the American 12-string Guitar

43 bilegeek 2026-07-27 11:14:53 UTC harpguitars.net Llama Share 24

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.

Modern email can be built from borrowed parts

74 andros 2026-07-27 09:14:53 UTC en.andros.dev Llama Share 33

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

Shay Locomotives

38 Rygian 2026-07-27 10:14:53 UTC shaylocomotives.com Full Share 8

We Tested Nonstick Cookware: Coatings Don't Need to Look Worn to Shed Particles

48 cdemer 2026-07-27 14:14:53 UTC rtings.com Full Share 28

We tested new and worn PTFE nonstick cookware to see whether the coatings shed particles into cooking oil during ordinary use.

AI companies spend record sums on Washington lobbying

18 1vuio0pswjnm7 2026-07-27 14:14:53 UTC ft.com Full Share 6

The following information can help our support team to resolve this issue.

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

232 maxloh 2026-07-26 23:14:53 UTC github.com/vercel-labs Llama Share 127

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.

The Proof Machine (2016)

15 BenoitP 2026-07-27 13:14:53 UTC incredible.pm Llama Share 1

The Incredible Proof Machine is a visual tool for creating proofs in various logics, allowing users to drag and drop blocks and connect them properly to achieve a complete proof. It is free software with plans to save progress on a server in a future version, allowing users to contribute to its development.

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

347 tosh 2026-07-26 19:14:53 UTC beyondloom.com Llama Share 81

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

61 croemer 2026-07-27 12:14:53 UTC status.claude.com Full Share 49

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

1056 eecc 2026-07-26 23:14:53 UTC techspot.com Llama Share 811

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.

Google Chrome Arrives on ARM64 Linux, Widevine DRM Included

40 twapi 2026-07-27 12:14:53 UTC omgubuntu.co.uk Llama Share 16

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.

We have proof automation now

209 zdw 2026-07-26 21:14:53 UTC imperialviolet.org Llama Share 89

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.

Introduction to Data-Oriented Design [pdf]

220 tosh 2026-07-26 18:14:53 UTC gamedevs.org Full Share 57

8086 Emulator Inside Scratch

26 rickcarlino 2026-07-27 07:14:53 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.

I wanted a clock that never needed setting. Things escalated

150 lee_ars 2026-07-26 23:14:53 UTC arstechnica.com Llama Share 131

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%

158 pingou 2026-07-27 09:14:53 UTC bbc.com Llama Share 144

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.