Kimi-K3 Releases on HuggingFace 7/27

353 nateb2022 2026-07-27 06:39:50 UTC huggingface.co Full Share 150

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

625 jonbaer 2026-07-27 00:39:50 UTC nikolays.github.io Full Share 61

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

326 aplavin 2026-07-27 00:39:50 UTC blackhole.plav.in Full Share 100

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

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

192 maxloh 2026-07-26 23:39:50 UTC github.com/vercel-labs Llama Share 99

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.

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

29 speckx 2026-07-27 05:39:50 UTC mymodernmet.com Llama Share 11

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.

French firefighters face 'pyrocumulonimbus' for first time

389 saaaaaam 2026-07-26 18:39:50 UTC france24.com Full Share 263

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

317 tosh 2026-07-26 18:39:50 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.

Chinese chipmaker shares surge 470%

25 pingou 2026-07-27 09:39:50 UTC bbc.com Llama Share 6

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.

US citizen charged after GrapheneOS phone wipes during airport search

801 eecc 2026-07-26 22:39:50 UTC techspot.com Llama Share 595

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

175 zdw 2026-07-26 21:39:50 UTC imperialviolet.org Llama Share 62

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

461 rcy 2026-07-26 12:39:50 UTC swag.htmx.org Full Share 152

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.

How Unix spell ran in 64 kB of RAM

27 donw 2026-07-27 09:39:50 UTC blog.codingconfessions.com Llama Share 2

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.

I wanted a clock that never needed setting. Things escalated

113 lee_ars 2026-07-26 23:39:50 UTC arstechnica.com Llama Share 102

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]

180 tosh 2026-07-26 18:39:50 UTC gamedevs.org Full Share 49

Fonts In Use – Find out where a font is used

74 open_ 2026-07-27 00:39:50 UTC fontsinuse.com Full Share 8

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

18 saikatsg 2026-07-27 06:39:50 UTC getdx.com Llama Share 11

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.

Simulate cassette tape audio profiles using FFmpeg

134 xterminal 2026-07-26 20:39:50 UTC github.com/aaromanov1985 Full Share 57

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

Boox Go 10.3 (gen II) Lumi: First impressions

9 rpgbr 2026-07-27 08:39:50 UTC manualdousuario.net Prefix Share 2

Remember when I mentioned I was using my Kindle as a personal newspaper? And that this solution was ideal because I didn’t need to buy another gadget? I still stand by that, but I bought another gadget to be my “personal newspaper”: a Boox Go 10.3 (Gen II) Lumi tablet. (Phew! From here on, I’ll just call it the Boox Go.) This brand, Boox, isn’t officially in Brazil. It specializes in Android ...

Design is compromise

258 ankitg12 2026-07-26 16:39:50 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

20 andsoitis 2026-07-27 02:39:50 UTC monocle.com Llama Share 27

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]

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

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

131 zeldone 2026-07-26 16:39:50 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

226 pompomsheep 2026-07-26 13:39:50 UTC sunflowersgame.com Llama Share 76

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.

Go Analysis Framework: modular static analysis by go team

212 AbuAssar 2026-07-26 12:39:50 UTC pkg.go.dev Llama Share 69

The Go analysis package provides a modular static analysis framework that allows developers to define and reuse analysis functions, known as checkers, which can be easily selected and incorporated into various driver programs. The framework includes a common interface, Analyzer, which describes an analysis function, and a Pass type that provides information to the analysis function and allows ...

How to write English prose (2023)

121 geneticdrifts 2026-07-26 17:39:50 UTC thelampmagazine.com Llama Share 60

The author discusses the beauty and complexity of English prose, particularly in the 17th century, and argues that the current trend of simplicity and minimalism has led to a decline in writing quality. He offers 12 rules for writers, emphasizing the importance of using precise and evocative language, avoiding clichés and over-simplification, and cultivating a sense of elegance and verbal cleverness.

Kill The Cookie Banner

1040 rapnie 2026-07-26 12:39:50 UTC killthecookiebanner.eu Llama Share 493

The EU Commission proposed a solution to cookie banners, allowing users to set privacy preferences in their browser once, but the tracking industry is pushing back. Users can help by contacting their representatives in the European Parliament or national government to express their frustration.

8086 Emulator Inside Scratch

6 rickcarlino 2026-07-27 06:39:50 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.

The relay market powering token resellers and fraud

196 mlenhard 2026-07-26 15:39:50 UTC vectoral.com Llama Share 122

The token economy has become a breeding ground for abuse, with a complex ecosystem of relays, account pools, and merchants that enable cheap tokens and model distillation, resulting in millions of dollars in losses for companies. To combat this, companies can raise the cost of entry, monitor for suspicious behavior, and throttle attackers quietly, but ultimately, fraud is a constant ...

I learned PCB design, 3D printing and C just to listen to music

218 interfeco 2026-07-26 12:39:50 UTC pentaton.app Llama Share 48

User built a streamer that resembles a vinyl sleeve, using a 17" industrial LCD and Radxa CM3 single-board computer. The device displays high-resolution artwork from AirPlay streams and can be powered via USB-C PD, consuming less than 2 watts when off.

The New AI Superpowers: Focus and Followthrough

203 mooreds 2026-07-26 13:39:50 UTC rickmanelius.com Llama Share 70

The author initially thought AI would make them underworked and burnout-free, but instead, they created more projects and experienced burnout. They learned to focus on a few key projects and deliver high-quality work by being ruthlessly focused and prioritizing what matters.