Kimi-K3 Releases on HuggingFace 7/27

389 nateb2022 2026-07-27 07:11:17 UTC huggingface.co Full Share 169

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.

PGSimCity - How PostgreSQL Works

658 jonbaer 2026-07-27 01:11:17 UTC nikolays.github.io Full Share 63

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

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

337 aplavin 2026-07-27 01:11:17 UTC blackhole.plav.in Full Share 100

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

The Birth of the American 12-string Guitar

3 bilegeek 2026-07-27 10:54:17 UTC harpguitars.net Prefix Share 0

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

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

49 speckx 2026-07-27 06:11:17 UTC mymodernmet.com Llama Share 17

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.

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

7 klaussilveira 2026-07-27 10:11:17 UTC github.com/libsm64 Prefix Share 2

The purpose of this project is to provide a clean interface to the movement and rendering code which was reversed from SM64 by the SM64 decompilation project, so that Mario can be dropped in to existing game engines or other systems with minimal effort. This project produces a shared library file containing mostly code from the decompilation project, and loads an official SM64 ROM at runtime ...

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

203 maxloh 2026-07-26 23:11:17 UTC github.com/vercel-labs Llama Share 103

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.

Chinese chipmaker shares surge 470%

49 pingou 2026-07-27 10:11:17 UTC bbc.com Llama Share 28

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.

French firefighters face 'pyrocumulonimbus' for first time

396 saaaaaam 2026-07-26 18:11:17 UTC france24.com Full Share 274

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.

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

321 tosh 2026-07-26 19:11:17 UTC beyondloom.com Llama Share 74

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.

US citizen charged after GrapheneOS phone wipes during airport search

830 eecc 2026-07-26 23:11:17 UTC techspot.com Llama Share 618

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.

How Unix spell ran in 64 kB of RAM

38 donw 2026-07-27 09:11:17 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.

We have proof automation now

178 zdw 2026-07-26 21:11:17 UTC imperialviolet.org Llama Share 69

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

464 rcy 2026-07-26 12:11:17 UTC swag.htmx.org Full Share 154

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.

Show HN: NameThatUI – A quiz game to test your UI design knowledge

4 tangjei 2026-07-27 10:11:17 UTC namethatui.org Prefix Share 1

Describe the UI element you see, how it looks or behaves, or what your coding agent got wrong. Compare likely web UI patterns and leave with a testable implementation brief. Surprise me: random pattern → 02A panel slides in from the right and blocks the page until it is closed. A component name is useful only when it leads to the correct interaction, focus, keyboard, dismissal, and mobile ...

I wanted a clock that never needed setting. Things escalated

120 lee_ars 2026-07-26 23:11:17 UTC arstechnica.com Llama Share 103

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.

Introduction to Data-Oriented Design [pdf]

185 tosh 2026-07-26 19:11:17 UTC gamedevs.org Full Share 50

Fonts In Use – Find out where a font is used

77 open_ 2026-07-27 00:11:17 UTC fontsinuse.com Full Share 9

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

Modern email can be built from borrowed parts

4 andros 2026-07-27 09:11:17 UTC en.andros.dev Prefix Share 1

Let's design the successor to email on top of HTTP, fixing the design flaws SMTP has been dragging along for 40 years. Piece by piece. The goal is not to replace the current mail system, heaven forbid!, but to learn, have fun and discover current technologies to swap out every element: sending, receiving, gateway, keys, and so on. The system will never talk to Gmail or any classic email ...

Measuring developer productivity with the DX Core 4

22 saikatsg 2026-07-27 06:11:17 UTC getdx.com Llama Share 15

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.

Boox Go 10.3 (gen II) Lumi: First impressions

11 rpgbr 2026-07-27 09:11:17 UTC manualdousuario.net Llama Share 2

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.

VLC for Unity now supported on Linux

8 martz 2026-07-27 09:11:17 UTC code.videolan.org Prefix Share 1

You are seeing this because the administrator of this website has set up Anubis to protect the server against the scourge of AI companies aggressively scraping websites. This can and does cause downtime for the websites, which makes their resources inaccessible for everyone. Anubis is a compromise. Anubis uses a Proof-of-Work scheme in the vein of Hashcash, a proposed proof-of-work scheme for ...

Simulate cassette tape audio profiles using FFmpeg

138 xterminal 2026-07-26 20:11:17 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

262 ankitg12 2026-07-26 16:11:17 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 old-school way of keeping the summer heat out of your home

22 andsoitis 2026-07-27 03:11:17 UTC monocle.com Llama Share 39

Traditional shutter designs from Mediterranean cities like Genoa, Marseille, and Malta have inspired modern climate control solutions. These designs, such as persiane alla genovese and muxrabija, use louvred panels, latticed patterns, and stone screens to filter sunlight, control airflow, and maintain privacy.

The Usefulness of Useless Knowledge (1939) [pdf]

83 jxmorris12 2026-07-26 23:11:17 UTC faculty.lsu.edu Full Share 4

Show HN: CheapSecurity – Lightweight, Self-Hosted CCTV for Linux SBCs

131 zeldone 2026-07-26 16:11:17 UTC github.com/gmrandazzo Llama Share 27

This project provides a lightweight, self-hosted CCTV solution for Linux-based devices and standard USB webcams, offering an affordable and privacy-focused alternative for home monitoring. It stores video data locally, eliminating the need for third-party cloud subscriptions and ensuring data remains under user control.

Show HN: Reverse Minesweeper

228 pompomsheep 2026-07-26 13:11:17 UTC sunflowersgame.com Llama Share 79

The game has five tiers: Basic, Easy, Medium, Hard, and Extreme, each with increasing difficulty and logic complexity. Grids are scored 0-100 based on their sub-metrics, with higher scores indicating harder puzzles and longer estimated solve times.

Elevated errors on Claude Opus 5

5 flyaway123 2026-07-27 09:11:17 UTC status.claude.com Full Share 1

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

8086 Emulator Inside Scratch

7 rickcarlino 2026-07-27 07:11:17 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.