Search: github.com/mikr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Checked C (github.com/microsoft)

264 points

3 years ago

152.

DeviceScript – TypeScript for Tiny IoT Devices (github.com/microsoft)

264 points

3 years ago

153.

Microsoft Amplifier (github.com/microsoft)

262 points

8 months ago

154.

MicroZig: Unified abstraction layer and HAL for Zig on several microcontrollers (github.com/ZigEmbeddedGroup)

249 points

2 years ago

155.

Original Windows File Manager with enhancements (github.com/Microsoft)

247 points

8 years ago

156.

Santa hat removed from VS Code after complaint (github.com/microsoft)

243 points

6 years ago

157.

DeepSpeed Chat: Easy, fast and affordable RLHF training of ChatGPT-like models (github.com/microsoft)

240 points

3 years ago

158.

Microsoft GW-Basic Interpreter Source Code (github.com/microsoft)

238 points

4 years ago

159.

Show HN: Visual Studio Code for ARM, submitted to core (github.com/Microsoft)

236 points

9 years ago

160.

Show HN: Micro-mitten – Research language with compile-time memory management (github.com/doctorn)

236 points

6 years ago

161.

ProcMon for Linux (github.com/microsoft)

232 points

6 years ago

162.

Microsoft Security-101: Open-Source curriculum (github.com/microsoft)

232 points

2 years ago

163.

Sample cloud-native application with microservices (github.com/GoogleCloudPlatform)

231 points

7 years ago

164.

Microsoft Kosmos-1: A Multimodal Large Language Model (github.com/microsoft)

228 points

3 years ago

165.

Coreutils for Windows (github.com/microsoft)

225 points

3 days ago

166.

Microsoft YARP (github.com/microsoft)

222 points

4 years ago

167.

TypeScripts Type System Is Turing Complete (github.com/Microsoft)

221 points

9 years ago

168.

Show HN: Microagents: Agents capable of self-editing their prompts / Python code (github.com/aymenfurter)

221 points

2 years ago

169.

Love for TypeScript (github.com/Microsoft)

220 points

10 years ago

170.

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

214 points

7 years ago

171.

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

213 points

4 months ago

172.

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

209 points

2 years ago

173.

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

207 points

3 years ago

174.

Windows AI Studio Preview (github.com/microsoft)

204 points

2 years ago

175.

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

204 points

3 years ago

176.

The Bosque Programming Language (github.com/microsoft)

199 points

6 years ago

177.

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

195 points

3 years ago

178.

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

195 points

a year ago

179.

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

195 points

2 years ago

180.

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

194 points

5 years ago