Kimi-K3 Releases on HuggingFace 7/27

265 nateb2022 2026-07-27 06:36:57 UTC huggingface.co Full Share 98

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

577 jonbaer 2026-07-27 00:36:57 UTC nikolays.github.io Full Share 57

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

310 aplavin 2026-07-27 00:36:57 UTC blackhole.plav.in Full Share 92

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

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

173 maxloh 2026-07-26 23:36:57 UTC github.com/vercel-labs Llama Share 87

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

371 saaaaaam 2026-07-26 18:36:57 UTC france24.com Full Share 239

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

313 tosh 2026-07-26 18:36:57 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

745 eecc 2026-07-26 22:36:57 UTC techspot.com Llama Share 542

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

164 zdw 2026-07-26 21:36:57 UTC imperialviolet.org Llama Share 53

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

447 rcy 2026-07-26 12:36:57 UTC swag.htmx.org Full Share 147

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

101 lee_ars 2026-07-26 23:36:57 UTC arstechnica.com Llama Share 99

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]

171 tosh 2026-07-26 18:36:57 UTC gamedevs.org Full Share 45

Fonts In Use – Find out where a font is used

67 open_ 2026-07-27 00:36:57 UTC fontsinuse.com Full Share 4

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

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

9 speckx 2026-07-27 05:36:57 UTC mymodernmet.com Prefix Share 3

Many people begin to notice the arrival of spring with the large, beautiful blooms of the magnolia flower. Magnolia trees can be found in many parts of the world, and their beautiful forms have symbolic, medicinal, and visual meaning across cultures—and have for centuries. If you’re ever near a magnolia tree, though, look closely: you’ll notice that beetles, instead of bees, will be moving ...

How Unix spell ran in 64 kB of RAM

8 donw 2026-07-27 08:43:57 UTC blog.codingconfessions.com Prefix Share 0

How do you fit a 250kB dictionary in 64kB of RAM and still perform fast lookups? For reference, even with modern compression techniques like gzip -9, you can't compress this file below 85kB. In the 1970s, Douglas McIlroy faced this exact challenge while implementing the spell checker for Unix at AT&T. The constraints of the PDP-11 computer meant the entire dictionary needed to fit in ...

Simulate cassette tape audio profiles using FFmpeg

132 xterminal 2026-07-26 20:36:57 UTC github.com/aaromanov1985 Full Share 54

# 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

252 ankitg12 2026-07-26 16:36:57 UTC stephango.com Llama Share 85

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.

Measuring developer productivity with the DX Core 4

13 saikatsg 2026-07-27 06:36:57 UTC getdx.com Llama Share 8

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.

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

129 zeldone 2026-07-26 16:36:57 UTC github.com/gmrandazzo Llama Share 26

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.

The Usefulness of Useless Knowledge (1939) [pdf]

74 jxmorris12 2026-07-26 22:36:57 UTC faculty.lsu.edu Full Share 4

Show HN: Reverse Minesweeper

219 pompomsheep 2026-07-26 13:36:57 UTC sunflowersgame.com Llama Share 70

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

207 AbuAssar 2026-07-26 12:36:57 UTC pkg.go.dev Llama Share 65

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)

118 geneticdrifts 2026-07-26 17:36:57 UTC thelampmagazine.com Llama Share 58

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.

The old-school way of keeping the summer heat out of your home

12 andsoitis 2026-07-27 02:36:57 UTC monocle.com Llama Share 14

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 Zen of Parallel Programming: The Posture of a Kernel

15 edgar_ortega 2026-07-27 04:36:57 UTC smolnero.com Llama Share 1

The HipKittens paper highlights the importance of adapting algorithms to different hardware architectures, just as human beings must adapt to changing conditions. A posture learned under one set of conditions may not be the only one available when those conditions change.

Kill The Cookie Banner

1010 rapnie 2026-07-26 12:36:57 UTC killthecookiebanner.eu Llama Share 483

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.

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

211 interfeco 2026-07-26 12:36:57 UTC pentaton.app Llama Share 45

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 relay market powering token resellers and fraud

192 mlenhard 2026-07-26 15:36:57 UTC vectoral.com Llama Share 120

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

8086 Emulator Inside Scratch

4 rickcarlino 2026-07-27 06:36:57 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 New AI Superpowers: Focus and Followthrough

199 mooreds 2026-07-26 13:36:57 UTC rickmanelius.com Llama Share 64

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.

Teaching Kids Forth

88 rbanffy 2026-07-26 22:36:57 UTC gracefulliberty.com Llama Share 35

The author taught middle and high school students programming using the stack-oriented language Forth, despite its uncommon use, to give them a unique learning experience. The students created their own art in the Forth environment, demonstrating their understanding of the language.