Kimi-K3 Releases on HuggingFace 7/27

64 nateb2022 2026-07-27 06:42:41 UTC huggingface.co Full Share 10

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

492 jonbaer 2026-07-27 00:42:41 UTC nikolays.github.io Full Share 51

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

267 aplavin 2026-07-27 00:42:41 UTC blackhole.plav.in Full Share 77

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

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

133 maxloh 2026-07-26 23:42:41 UTC github.com/vercel-labs Llama Share 64

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.

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

293 tosh 2026-07-26 18:42:41 UTC beyondloom.com Llama Share 72

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.

French firefighters face 'pyrocumulonimbus' for first time

324 saaaaaam 2026-07-26 18:42:41 UTC france24.com Full Share 201

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.

US citizen charged after GrapheneOS phone wipes during airport search

624 eecc 2026-07-26 22:42:41 UTC techspot.com Llama Share 425

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.

Why care about programming languages

25 b-man 2026-07-27 04:42:41 UTC ebellani.github.io Llama Share 21

A developer feels programming language knowledge is obsolete with AI-assisted coding, but understanding language concepts remains essential for problem-solving and evaluating AI-generated code. Mastering these concepts expands one's mental toolkit and separates true engineers from those who merely prompt AI.

We have proof automation now

155 zdw 2026-07-26 21:42:41 UTC imperialviolet.org Llama Share 35

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.

I wanted a clock that never needed setting. Things escalated

89 lee_ars 2026-07-26 23:42:41 UTC arstechnica.com Llama Share 83

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.

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

427 rcy 2026-07-26 12:42:41 UTC swag.htmx.org Full Share 141

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.

Introduction to Data-Oriented Design [pdf]

161 tosh 2026-07-26 18:42:41 UTC gamedevs.org Full Share 43

EU Fines Google $1.02B for Favoring Its Own Services

36 1vuio0pswjnm7 2026-07-27 05:42:41 UTC wsj.com Full Share 25

Please enable JS and disable any ad blocker

The Zen of Parallel Programming: The Posture of a Kernel

9 edgar_ortega 2026-07-27 04:42:41 UTC smolnero.com Prefix Share 0

As the journey through parallel programming continues, I shift my attention toward GPU kernels, and what better place to continue than the HipKittens: Fast and Furious AMD Kernels paper. A GPU kernel is a specialized function launched many times across the GPU. Each invocation follows the same general operation while receiving its own position and portion of the data. The kernel itself may ...

Simulate cassette tape audio profiles using FFmpeg

115 xterminal 2026-07-26 20:42:41 UTC github.com/aaromanov1985 Full Share 45

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

Fonts In Use – Find out where a font is used

51 open_ 2026-07-27 00:42:41 UTC fontsinuse.com Full Share 3

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

Design is compromise

238 ankitg12 2026-07-26 16:42:41 UTC stephango.com Llama Share 80

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

5 saikatsg 2026-07-27 06:42:41 UTC getdx.com Prefix Share 0

The DX Core 4™ is a unified framework for measuring developer productivity that encapsulates DORA, SPACE, and DevEx. Whether you’re a C-level leader or a frontline manager, there is no denying that measuring developer productivity—whether to understand performance or guide improvement—is a daunting challenge. As the authors of frameworks like DevEx and SPACE, we’re constantly being asked by ...

The Usefulness of Useless Knowledge (1939) [pdf]

62 jxmorris12 2026-07-26 22:42:41 UTC faculty.lsu.edu Full Share 3

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

126 zeldone 2026-07-26 16:42:41 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.

How to write English prose (2023)

112 geneticdrifts 2026-07-26 17:42:41 UTC thelampmagazine.com Llama Share 53

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.

Show HN: Reverse Minesweeper

204 pompomsheep 2026-07-26 13:42:41 UTC sunflowersgame.com Llama Share 68

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

200 AbuAssar 2026-07-26 12:42:41 UTC pkg.go.dev Llama Share 59

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

The New AI Superpowers: Focus and Followthrough

196 mooreds 2026-07-26 13:42:41 UTC rickmanelius.com Llama Share 62

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

79 rbanffy 2026-07-26 21:42:41 UTC gracefulliberty.com Llama Share 24

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.

The relay market powering token resellers and fraud

188 mlenhard 2026-07-26 15:42:41 UTC vectoral.com Llama Share 113

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

Kill The Cookie Banner

951 rapnie 2026-07-26 12:42:41 UTC killthecookiebanner.eu Llama Share 453

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

203 interfeco 2026-07-26 12:42:41 UTC pentaton.app Llama Share 41

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.

How to Block Some of the Bots

100 Bender 2026-07-26 18:42:41 UTC nochan.net Full Share 116

History of John Backus's functional programming project (draft)

25 cwbuilds 2026-07-26 23:42:41 UTC softwarepreservation.computerhistory.org Llama Share 1

John Backus explored functional programming languages from 1969 to 1991, aiming to simplify programming. He developed the Red language, which featured a family of expression-oriented languages with simple rewrite rules.