Search: github.com/micho | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Pyright: Static type checker for Python (github.com/Microsoft)

214 points

7 years ago

152.

Billing can be bypassed using a combo of subagents with an agent definition (github.com/microsoft)

213 points

4 months ago

153.

Show HN: Prompts as WASM Programs (github.com/microsoft)

209 points

2 years ago

154.

MS-DOS v1.25 and v2.0 is now open-source (2014) (github.com/microsoft)

207 points

3 years ago

155.

Windows AI Studio Preview (github.com/microsoft)

204 points

2 years ago

156.

Show HN: MicroTCP, a minimal TCP/IP stack (github.com/cozis)

204 points

3 years ago

157.

The Bosque Programming Language (github.com/microsoft)

199 points

6 years ago

158.

The Windows Subsystem for Android now runs Android 13 in beta (github.com/microsoft)

195 points

3 years ago

159.

Copilot Chat in VS Code is now open source (github.com/microsoft)

195 points

a year ago

160.

Promptbase: All things prompt engineering (github.com/microsoft)

195 points

2 years ago

161.

Microsoft Refuses to Open Source VSCode Python Language Server (github.com/microsoft)

194 points

5 years ago

162.

Fix Boyer-Moore searcher with the Rytter correction (github.com/microsoft)

193 points

6 years ago

163.

Lib0xc: A set of C standard library-adjacent APIs for safer systems programming (github.com/microsoft)

192 points

a month ago

164.

Fara-7B: An efficient agentic model for computer use (github.com/microsoft)

191 points

6 months ago

165.

Llama 2 on ONNX runs locally (github.com/microsoft)

190 points

3 years ago

166.

ML for Beginners GitHub (github.com/microsoft)

188 points

3 years ago

167.

Non-nullable types for TypeScript (github.com/Microsoft)

185 points

10 years ago

168.

Edge AI for Beginners (github.com/microsoft)

184 points

8 months ago

169.

Windows Subsystem For Linux a.k.a. WSL 1.0.0 released (github.com/microsoft)

182 points

4 years ago

170.

Microsoft Fluent UI System Icons (github.com/microsoft)

182 points

6 years ago

171.

Windows Terminal Quake Mode (github.com/microsoft)

182 points

5 years ago

172.

Playwright Tools for MCP (github.com/microsoft)

181 points

a year ago

173.

ONNX Runtime merges WebGPU backend (github.com/microsoft)

178 points

3 years ago

174.

Micrograd-CUDA: adapting Karpathy's tiny autodiff engine for GPU acceleration (github.com/mlecauchois)

178 points

2 years ago

175.

Checked C (github.com/microsoft)

175 points

5 years ago

176.

Microsoft BitNet: inference framework for 1-bit LLMs (github.com/microsoft)

173 points

2 years ago

177.

OpenVMM – A New VMM for Windows and Linux, Written in Rust (github.com/microsoft)

171 points

2 years ago

178.

Temporary fork enables Node.js to optionally use the Chakra JavaScript engine (github.com/Microsoft)

170 points

11 years ago

179.

A Linux version of the Procmon Sysinternals tool (github.com/microsoft)

166 points

9 months ago

180.

Retina – eBPF distributed networking observability tool for Kubernetes (github.com/microsoft)

166 points

2 years ago