Search: github.com/micho | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

ChatGPT vs. open source on harder tasks (github.com/microsoft)

165 points

andy_xor_andrew

3 years ago

182.

Dafny – A programming language with a program verifier (github.com/Microsoft)

165 points

9 years ago

183.

Show HN: Cascadia Code, a Font for Windows Terminal and VSCode (github.com/microsoft)

164 points

7 years ago

184.

Visual Studio Live Share Preview (github.com/MicrosoftDocs)

163 points

8 years ago

185.

Autogen: Enable next-gen large language model applications (github.com/microsoft)

163 points

3 years ago

186.

Micro v1.0 – a terminal-based text editor written in Go (github.com/zyedidia)

161 points

10 years ago

187.

Opticsim.jl: Optical Simulation Software (github.com/microsoft)

156 points

5 years ago

188.

Playwright for .NET is now stable (github.com/microsoft)

155 points

5 years ago

189.

Microsoft Build Accelerator – open-source build engine for large systems (github.com/Microsoft)

154 points

7 years ago

190.

MsQuic – QUIC Implementation from Microsoft (github.com/Microsoft)

153 points

6 years ago

191.

Microsoft Phi-3 Cookbook (github.com/microsoft)

152 points

2 years ago

192.

Pyright: Static Type Checker for Python (github.com/microsoft)

152 points

3 years ago

193.

Windows Terminal Source Code (github.com/microsoft)

151 points

4 years ago

194.

LLMLingua: Compressing Prompts for Faster Inferencing (github.com/microsoft)

149 points

2 years ago

195.

Natural Language Processing Best Practices and Examples (github.com/microsoft)

149 points

6 years ago

196.

Windows Implementation Libraries: type-safe C++ interfaces for Windows patterns (github.com/Microsoft)

148 points

7 years ago

197.

AutoML toolkit for neural architecture search and hyper-parameter tuning (github.com/Microsoft)

147 points

7 years ago

198.

Microsoft Project Reunion: an evolution of the Windows developer platform (github.com/microsoft)

146 points

6 years ago

199.

Micro – a command line text editor in Go (github.com/zyedidia)

146 points

10 years ago

200.

Microsoft Edge (github.com/MicrosoftEdge)

145 points

7 years ago

201.

TinyTroupe, a new LLM-powered multiagent persona simulation Python library (github.com/microsoft)

143 points

2 years ago

202.

Bf-Tree: modern read-write-optimized concurrent larger-than-memory range index (github.com/microsoft)

143 points

4 months ago

203.

Microsoft Project Verona: Research programming language for concurrent ownership (github.com/microsoft)

142 points

6 years ago

204.

Pixel Shaders in Windows Terminal (github.com/microsoft)

141 points

5 years ago

205.

Go Micro: a standard library for distributed systems development (github.com/go-micro)

141 points

4 years ago

206.

Microsoft / JARVIS: a system to connect LLMs with ML community (github.com/microsoft)

141 points

3 years ago

207.

Microwatt: A tiny Open POWER ISA softcore written in VHDL 2008 (github.com/antonblanchard)

141 points

3 years ago

208.

DTrace-on-Windows (github.com/microsoft)

135 points

4 years ago

209.

Diffusion training from scratch on a micro-budget (github.com/SonyResearch)

135 points

a year ago

210.

Micropython code to implement a GSM mobile phone (github.com/jeffmer)

135 points

9 years ago