GoKawiil - Tech News

331.

Left to Right Programming: Programs Should Be Valid as They Are Typed (news.ycombinator.com)

2025-10-31 | get Microsoft Surface Pro → | tags: editor, function, line

332.

Typechecker Zoo (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: calculus, code, going

333.

MCP tools with dependent types (news.ycombinator.com)

2025-10-31 | get Google Nest → | tags: json, mcp, properties

334.

MCP Tools and Dependent Types (news.ycombinator.com)

2025-10-31 | get Google Nest → | tags: json, mcp, properties

335.

Comparison of different C libraries providing generic containers capabilities (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: array, basic, container

336.

Alleged Kindle Petit Color prototype surfaces amid leaker’s claims of Amazon fallout (androidauthority.com)

2025-10-31 | get Microsoft Surface Pro → | tags: color, images, kindle

337.

What I look for in typeface licenses (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: clients, foundry, licensing

338.

Is Amazon testing a cheaper color Kindle? (theverge.com)

2025-10-31 | by Andrew Liszewski | get Kindle → | tags: author, color, colors

339.

OCaml as my primary language (news.ycombinator.com)

2025-10-31 | by Xvw | get Google Nest Hub → | tags: language, languages, module

340.

I chose OCaml as my primary language (news.ycombinator.com)

2025-10-31 | by Xvw | get Google Nest Hub → | tags: language, languages, module

341.

What's Your Curl Type? (2025) (wired.com)

2025-10-31 | by Kat Merck | get educational planning book → | tags: curly, hair, says

342.

PHP compile time generics: yay or nay? (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: class, function, generics

343.

Why is it worth spending time on type theory? (2013) (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: different, like, set

344.

Why is it worth spending time on type theory? (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: different, like, set

345.

The mystery of Winston Churchill's dead platypus was finally solved (news.ycombinator.com)

2025-10-31 | get Microsoft Surface Laptop → | tags: australian, churchill, museum

346.

Create space-saving clones on macOS with Python (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: clone, clonefile, cp

347.

Substack rival Ghost connects to the open social web with its latest public release (techcrunch.com)

2025-10-31 | by Sarah Perez | get smartphone → | tags: activitypub, disrupt, ghost

348.

Show HN: Mathpad – Physical keypad for typing math symbols (news.ycombinator.com)

2025-10-31 | get Microsoft Surface Laptop → | tags: equation, mathpad, symbols

349.

Show HN: Mathpad – Physical keypad for typing 100+ math symbols anywhere (news.ycombinator.com)

2025-10-31 | get Microsoft Surface Laptop → | tags: equation, mathpad, symbols

350.

A parser for TypeScript types, written in TypeScript types (news.ycombinator.com)

2025-10-31 | get sustainability guide book → | tags: code, parse, parser

351.

The Big Oops in type systems: This problem extends to FP as well (news.ycombinator.com)

2025-10-31 | get Chromecast → | tags: data, domain, order

352.

Replacing cron jobs with a centralized task scheduler (news.ycombinator.com)

2025-10-31 | by Mayhul Arora | get Amazon Echo Dot → | tags: payload, scheduled, task

353.

Microsoft to disable Excel workbook links to blocked file types (bleepingcomputer.com)

2025-10-31 | get Microsoft Surface Laptop → | tags: blocked, external, file

354.

Show HN: Astro dev blog template with 60 interactive colorschemes (news.ycombinator.com)

2025-10-31 | by Katy Kookaburra | get Emotional Intelligence book → | tags: 07, 2025, keyof

355.

Words about Arrays and Tables (news.ycombinator.com)

2025-10-31 | get Google Pixel → | tags: array, arrays, function

356.

5 apps you should use instead of Obsidian (androidauthority.com)

2025-10-31 | get laptop → | tags: anytype, google, note

357.

The Sail instruction-set semantics specification language (news.ycombinator.com)

2025-10-31 | by Alasdair Armstrong | get Emotional Intelligence book → | tags: example, like, sail

358.

If you have 90 minutes to spare, play the cyberpunk horror game s.p.l.i.t (engadget.com)

2025-10-31 | get computer monitor → | tags: game, hacking, sarah

359.

Generic Containers in C: Vec (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: int, type, vec

360.

Show HN: Tsbro – TypeScript for the browser, no build step (news.ycombinator.com)

2025-10-31 | get sustainability guide book → | tags: app, import, script