F* file system – file search that reads SSD directly bypassing OS kernel(github.com)

90 points by neogoose 4 months ago | 44 comments

Advanced Nintendo Entertainment System (ANES) – NES Modded to Use 2 PPUs(github.com)

101 points by zdw 4 months ago | 34 comments

I turned a $80 RK3562 Android tablet into a Debian Linux workstation(github.com)

416 points by tech4bot 5 months ago | 211 comments

GitHub repository with packages, Mali drivers, overlays, and tools for running Debian Linux on an inexpensive Rockchip RK3562 Android tablet.

Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell)(github.com)

183 points by wazHFsRy 7 months ago | 78 comments

Libsm64: Mario 64 as a library for use in external game engines(github.com)

186 points by klaussilveira 3 months ago | 21 comments

DeepSeek V4 Flash on a Single AMD MI300X(github.com)

366 points by zhoutong 2 months ago | 88 comments

GitHub repository with patches, tuning files, and config for running DeepSeek V4 Flash on a single AMD MI300X GPU.

DeepSeek V4 Flash on a Single AMD MI300X(github.com)

366 points by zhoutong 2 months ago | 88 comments

GitHub repository with patches, tuning files, and config for running DeepSeek V4 Flash on a single AMD MI300X GPU.

The path to open-sourcing the DeepSeek inference engine(github.com)

531 points by Palmik 1 year ago | 58 comments

GitHub directory in DeepSeek's open-infra-index repo with a README describing their plan for open-sourcing the DeepSeek inference engine.

DeepSeek-V4-Flash Update(api-docs.deepseek.com)

657 points by dnhkng 2 months ago | 313 comments

DeepSeek API docs changelog entry announcing the DeepSeek-V4-Flash API public beta with improved agent benchmark results.

DeepSeek-Prover-V2(github.com)

359 points by meetpateltech 1 year ago | 74 comments

GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.

Getting AI to work in complex codebases(github.com)

442 points by dhorthy 1 year ago | 368 comments

A GitHub markdown document from HumanLayer describing advanced context engineering techniques for getting AI coding agents to work in complex codebases.

Blitz: A lightweight, modular, extensible web renderer(github.com)

391 points by whatever3 2 years ago | 102 comments

GitHub repository for Blitz, a high-performance HTML and CSS renderer from DioxusLabs powered by WGPU.