Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
151.
Pyright: Static type checker for Python (github.com/Microsoft)
214 points
JacobHenner
7 years ago
87 comments
152.
Billing can be bypassed using a combo of subagents with an agent definition (github.com/microsoft)
213 points
napolux
4 months ago
122 comments
153.
Show HN: Prompts as WASM Programs (github.com/microsoft)
209 points
mmoskal
2 years ago
35 comments
154.
MS-DOS v1.25 and v2.0 is now open-source (2014) (github.com/microsoft)
207 points
theycallhermax
3 years ago
102 comments
155.
Windows AI Studio Preview (github.com/microsoft)
204 points
Jayakumark
2 years ago
68 comments
156.
Show HN: MicroTCP, a minimal TCP/IP stack (github.com/cozis)
204 points
cozis
3 years ago
41 comments
157.
The Bosque Programming Language (github.com/microsoft)
199 points
kermatt
6 years ago
174 comments
158.
The Windows Subsystem for Android now runs Android 13 in beta (github.com/microsoft)
195 points
redbell
3 years ago
120 comments
159.
Copilot Chat in VS Code is now open source (github.com/microsoft)
195 points
ulugbekna
a year ago
69 comments
160.
Promptbase: All things prompt engineering (github.com/microsoft)
195 points
CharlesW
2 years ago
42 comments
161.
Microsoft Refuses to Open Source VSCode Python Language Server (github.com/microsoft)
194 points
cjv
5 years ago
145 comments
162.
Fix Boyer-Moore searcher with the Rytter correction (github.com/microsoft)
193 points
HenryR
6 years ago
53 comments
163.
Lib0xc: A set of C standard library-adjacent APIs for safer systems programming (github.com/microsoft)
192 points
wooster
a month ago
97 comments
164.
Fara-7B: An efficient agentic model for computer use (github.com/microsoft)
191 points
maxloh
6 months ago
85 comments
165.
Llama 2 on ONNX runs locally (github.com/microsoft)
190 points
tmoneyy
3 years ago
76 comments
166.
ML for Beginners GitHub (github.com/microsoft)
188 points
dunwaldo
3 years ago
30 comments
167.
Non-nullable types for TypeScript (github.com/Microsoft)
185 points
muraiki
10 years ago
32 comments
168.
Edge AI for Beginners (github.com/microsoft)
184 points
bakigul
8 months ago
65 comments
169.
Windows Subsystem For Linux a.k.a. WSL 1.0.0 released (github.com/microsoft)
182 points
CoolCold
4 years ago
253 comments
170.
Microsoft Fluent UI System Icons (github.com/microsoft)
182 points
tosh
6 years ago
99 comments
171.
Windows Terminal Quake Mode (github.com/microsoft)
182 points
ingve
5 years ago
88 comments
172.
Playwright Tools for MCP (github.com/microsoft)
181 points
alex_hirner
a year ago
34 comments
173.
ONNX Runtime merges WebGPU backend (github.com/microsoft)
178 points
b_mc2
3 years ago
35 comments
174.
Micrograd-CUDA: adapting Karpathy's tiny autodiff engine for GPU acceleration (github.com/mlecauchois)
178 points
cataPhil
2 years ago
13 comments
175.
Checked C (github.com/microsoft)
175 points
tosh
5 years ago
133 comments
176.
Microsoft BitNet: inference framework for 1-bit LLMs (github.com/microsoft)
173 points
galeos
2 years ago
33 comments
177.
OpenVMM – A New VMM for Windows and Linux, Written in Rust (github.com/microsoft)
171 points
g0xA52A2A
2 years ago
118 comments
178.
Temporary fork enables Node.js to optionally use the Chakra JavaScript engine (github.com/Microsoft)
170 points
chcokr
11 years ago
97 comments
179.
A Linux version of the Procmon Sysinternals tool (github.com/microsoft)
166 points
LelouBil
9 months ago
47 comments
180.
Retina – eBPF distributed networking observability tool for Kubernetes (github.com/microsoft)
166 points
boratanrikulu
2 years ago
29 comments
More