GoKawiil - Tech News

241.

Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (news.ycombinator.com)

2026-03-25 | tags: posix, lean 4, socket api

242.

Type Construction and Cycle Detection (news.ycombinator.com)

2026-03-24 | by Mark Freeman | get Graph Cycle Detection Kit → | tags: type checking, abstract syntax tree, type checker

243.

Too Many Typos? Update Your iPhone to iOS 26.4 ASAP to Fix Its Broken Keyboard (gizmodo.com)

2026-03-24 | get Apple Magic Keyboard → | tags: iphone, ios 26.4, keyboard

244.

Local Bernstein theory, and lower bounds for Lebesgue constants (news.ycombinator.com)

2026-03-24 | by Terence Tao | tags: bernstein, lebesgue constants, lagrange interpolation

245.

A case against currying (news.ycombinator.com)

2026-03-22 | get Currying Function Puzzle Game → | tags: rust, functional programming, currying

246.

We rewrote our Rust WASM parser in TypeScript and it got faster (news.ycombinator.com)

2026-03-20 | get TypeScript WebAssembly Toolkit → | tags: rust, wasm, typescript

247.

We rewrote our Rust WASM Parser in TypeScript – and it got 3x Faster (news.ycombinator.com)

2026-03-20 | get TypeScript Programming Book → | tags: rust, wasm, openui-lang

248.

Discontinuation and reinitiation of dual-labeled GLP-1 receptor agonists (news.ycombinator.com)

2026-03-20 | by Jake Currie | get GLP-1 Receptor Agonist Guide → | tags: glp-1 receptor agonists, bmj medicine, washington university

249.

Heart Attack and Stroke Risk Jumps When People Stop Taking GLP-1s (news.ycombinator.com)

2026-03-20 | by Jake Currie | get GLP-1 Medication Tracker → | tags: glp-1, bmj medicine, washington university

250.

The day I discovered type design (news.ycombinator.com)

2026-03-19 | get Typography Design Book → | tags: type design, speedball pens, desktop publishing

251.

Monuses and Heaps (news.ycombinator.com)

2026-03-18 | get Heap Data Structure Book → | tags: monus, heap property, blöndal

252.

Popular Chrome extension "Save Image as Type" was hijacked, impacting over 1 million users (techspot.com)

2026-03-18 | get Image Format Converter Extension → | tags: chrome extension, save image as type, google

253.

Review of Microsoft's ClearType Font Collection (2005) (news.ycombinator.com)

2026-03-18 | by Written Raph Levien On April | get Microsoft ClearType Font Pack → | tags: microsoft, cleartype, longhorn

254.

YouTuber’s Hoverboard Prototype Takes Us One Step Closer to ‘Back to the Future’ (gizmodo.com)

2026-03-17 | get Hoverboard Replica Kit → | tags: youtube, hoverboard, back to the future

255.

Show HN: Crust – A CLI framework for TypeScript and Bun (news.ycombinator.com)

2026-03-17 | get TypeScript CLI Framework → | tags: crust, typescript, bun

256.

Comparing Python Type Checkers: Typing Spec Conformance (news.ycombinator.com)

2026-03-16 | by Danny Yang | get Python Type Checker Book → | tags: python, mypy, pyright

257.

Font Smuggler – Copy hidden brand fonts into Google Docs (news.ycombinator.com)

2026-03-13 | get Font Management Software → | tags: google workspace, google docs, brand fonts

258.

Font Smuggler – copy hidden brand fonts into Google Docs (news.ycombinator.com)

2026-03-13 | get Font Management Keyboard → | tags: google workspace, google docs, brand fonts

259.

Show HN: Algorithms and Data Structures in TypeScript – Free Book (~400 Pages) (news.ycombinator.com)

2026-03-13 | get TypeScript Programming Book → | tags: typescript, algorithm, zenflow

260.

Emacs internals: Tagged pointers vs. C++ std:variant and LLVM (Part 3) (news.ycombinator.com)

2026-03-12 | by Yi-Ping Pan | get Tagged Pointers → | tags: emacs, pointer, struct

261.

Zig – Type Resolution Redesign and Language Changes (news.ycombinator.com)

2026-03-11 | get Zig Text Editor → | tags: zig compiler, type resolution, rust

262.

Throwing away 18 months of code and starting over (news.ycombinator.com)

2026-03-10 | by Tom Piaggio | get Open Source → | tags: typescript monorepo, rust, autonoma

263.

Salt Typhoon is hacking the world’s phone and internet giants — here’s everywhere that’s been hit (techcrunch.com)

2026-03-09 | by Zack Whittaker | get Smartphone → | tags: salt typhoon, cisco routers, taiwan invasion

264.

Salt Typhoon is hacking the world’s phone and internet giants. Here’s everywhere that’s been hit. (techcrunch.com)

2026-03-09 | by Zack Whittaker | get Smartphone → | tags: cisco routers, salt typhoon, taiwan invasion

265.

Removing recursion via explicit callstack simulation (news.ycombinator.com)

2026-03-09 | get Stack Data Structure Kit → | tags: node.js, typescript, callstack

266.

Notes on writing Rust-based Wasm (news.ycombinator.com)

2026-03-08 | get WebAssembly → | tags: clone, error, rust

267.

TypeScript 6.0 RC (news.ycombinator.com)

2026-03-06 | by Daniel Rosenwasser | get TypeScript 6.0 → | tags: typescript, npm, typescript 6.0

268.

It took four years until 2011’s iOS 5 gave everyone an emoji keyboard (news.ycombinator.com)

2026-03-06 | by Marcin Wichary | get Emoji → | tags: iphone 16, ios 5, keyboardemojieverywhere

269.

"I'm obviously taking a risk here by advertising emoji directly." (news.ycombinator.com)

2026-03-06 | by Marcin Wichary | get Smileys → | tags: iphone 16, ios 5, keyboardemojieverywhere

270.

Stardex (YC S21) is hiring customer success engineers (news.ycombinator.com)

2026-03-06 | get Stardex → | tags: ats, ycombinator, typescript