Kimi-K3 Releases on HuggingFace 7/27

422 nateb2022 2026-07-27 06:32:39 UTC huggingface.co Full Share 186

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.

The Birth of the American 12-string Guitar

9 bilegeek 2026-07-27 10:53:39 UTC harpguitars.net Prefix Share 2

For those wishing to skip to the heart of the matter, just jump to the end of this article. However, as it took me quite a while to get there, you may find the provenance, and my eventual analysis worth reading first. What started out as just an interesting little blog - from something I unearthed in my harp guitar “To Do” folders - ended up as an extensive and pretty exhaustive research ...

PGSimCity - How PostgreSQL Works

669 jonbaer 2026-07-27 00:32:39 UTC nikolays.github.io Full Share 66

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

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

66 speckx 2026-07-27 05:32:39 UTC mymodernmet.com Llama Share 19

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.

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

354 aplavin 2026-07-27 00:32:39 UTC blackhole.plav.in Full Share 105

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

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

19 klaussilveira 2026-07-27 10:32:39 UTC github.com/libsm64 Llama Share 4

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.

VLC for Unity now supported on Linux

23 martz 2026-07-27 09:32:39 UTC code.videolan.org Llama Share 3

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.

Chinese chipmaker shares surge 470%

64 pingou 2026-07-27 09:32:39 UTC bbc.com Llama Share 44

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.

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

206 maxloh 2026-07-26 23:32:39 UTC github.com/vercel-labs Llama Share 105

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.

French firefighters face 'pyrocumulonimbus' for first time

401 saaaaaam 2026-07-26 18:32:39 UTC france24.com Full Share 276

You don't have permission to access the page you requested. The website you are visiting is protected.For security reasons this page cannot be displayed.

If digital computers are conscious, they are conscious at the hardware level

3 eatitraw 2026-07-27 10:34:39 UTC smoothbrains.net Prefix Share 0

Contemporary debate over the moral patienthood of digital minds misses the forest for the trees. Mainstream opinion is divided into physicalist and computationalist camps, who believe that consciousness is substrate dependent and substrate independent, respectively. For this reason, those on the physicalist side frequently make the claim that digital computers will never be conscious. ...

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

324 tosh 2026-07-26 18:32:39 UTC beyondloom.com Llama Share 75

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.

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

4 ibobev 2026-07-27 10:32:39 UTC blog.jaysmito.dev Prefix Share 0

For those just interested in the code you can find it here and if you want to see it action in an actual project you can check this out! Now to set the context for those who might be new to this, typically a Queue is one of the most fundamental data structures in computer science, and it is used everywhere in software development. A queue is a simple first-in-first-out (FIFO) structure where ...

US citizen charged after GrapheneOS phone wipes during airport search

851 eecc 2026-07-26 22:32:39 UTC techspot.com Llama Share 636

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.

Modern email can be built from borrowed parts

12 andros 2026-07-27 08:32:39 UTC en.andros.dev Llama Share 2

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

7 Rygian 2026-07-27 09:32:39 UTC shaylocomotives.com Full Share 0

Elevated errors on Claude Opus 5

10 flyaway123 2026-07-27 08:32:39 UTC status.claude.com Full Share 4

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

We have proof automation now

184 zdw 2026-07-26 21:32:39 UTC imperialviolet.org Llama Share 70

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.

Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy

465 rcy 2026-07-26 12:32:39 UTC swag.htmx.org Full Share 156

Four levels of pickle-collecting excitement. Squish client-side JS down to size, avoid slop and, if you have the skills, defeat Warren to unlock the htmx 4.0 source code! Quality is guaranteed. If there is a print error or visible quality issue, we'll replace or refund it. Because the products are made to order, we do not accept general returns or sizing-related returns.

I wanted a clock that never needed setting. Things escalated

123 lee_ars 2026-07-26 23:32:39 UTC arstechnica.com Llama Share 108

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.

How Unix spell ran in 64 kB of RAM

41 donw 2026-07-27 09:32:39 UTC blog.codingconfessions.com Llama Share 3

Douglas McIlroy developed a compression algorithm to fit a 250kB dictionary in 64kB of RAM for the Unix spell checker, achieving a compression rate of 13.60 bits per word, close to the theoretical minimum of 13.57 bits. He used a combination of techniques, including a Bloom filter, hash compression, and Golomb's code for geometrically distributed integers, to achieve fast lookups and efficient storage.

Boox Go 10.3 (gen II) Lumi: First impressions

13 rpgbr 2026-07-27 08:32:39 UTC manualdousuario.net Llama Share 4

The user bought a Boox Go 10.3 tablet with an E-ink screen to read on, ideal for low power consumption and minimal distractions. They customized the device by installing alternative apps and removing unwanted ones, but faced some challenges with freezing and app removal.

Introduction to Data-Oriented Design [pdf]

186 tosh 2026-07-26 18:32:39 UTC gamedevs.org Full Share 51

Fonts In Use – Find out where a font is used

80 open_ 2026-07-27 00:32:39 UTC fontsinuse.com Full Share 9

These are the most common typefaces in the database, but there are many more. Try a search!

Measuring developer productivity with the DX Core 4

24 saikatsg 2026-07-27 06:32:39 UTC getdx.com Llama Share 18

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.

Why I Left Google DeepMind

17 eatitraw 2026-07-27 10:32:39 UTC lesswrong.com GoogleT5 Share 1

A former google employee says he was trying to get anthropic to remove red lines. the company notified the government it wouldn't participate further in the program - edward mccaffery, daniel saunders. google's decision to withdraw from the project was based on frankness, not transparency, the author says. if google had given signs of independence earlier, it could have transformed the

Simulate cassette tape audio profiles using FFmpeg

140 xterminal 2026-07-26 20:32:39 UTC github.com/aaromanov1985 Full Share 58

# 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]

Design is compromise

264 ankitg12 2026-07-26 16:32:39 UTC stephango.com Llama Share 88

Compromise is a necessary part of decision making and design, where you prioritize one thing over another to achieve a balance between competing desires. Making difficult choices and being opinionated about tradeoffs is what defines good design and makes products exceptional.

The Usefulness of Useless Knowledge (1939) [pdf]

87 jxmorris12 2026-07-26 22:32:39 UTC faculty.lsu.edu Full Share 4

8086 Emulator Inside Scratch

10 rickcarlino 2026-07-27 07:32:39 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.