GoKawiil - Tech News

91.

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

2025-10-31 | related products | tags: different, like, set

92.

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

2025-10-31 | related products | tags: different, like, set

93.

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

2025-10-31 | related products | tags: australian, churchill, museum

94.

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

2025-10-31 | related products | tags: clone, clonefile, cp

95.

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

2025-10-31 | by Sarah Perez | related products | tags: activitypub, disrupt, ghost

96.

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

2025-10-31 | related products | tags: equation, mathpad, symbols

97.

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

2025-10-31 | related products | tags: equation, mathpad, symbols

98.

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

2025-10-31 | related products | tags: code, parse, parser

99.

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

2025-10-31 | related products | tags: data, domain, order

100.

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

2025-10-31 | by Mayhul Arora | related products | tags: payload, scheduled, task

101.

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

2025-10-31 | related products | tags: blocked, external, file

102.

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

2025-10-31 | by Katy Kookaburra | related products | tags: 07, 2025, keyof

103.

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

2025-10-31 | related products | tags: array, arrays, function

104.

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

2025-10-31 | related products | tags: anytype, google, note

105.

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

2025-10-31 | by Alasdair Armstrong | related products | tags: example, like, sail

106.

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

2025-10-31 | related products | tags: game, hacking, sarah

107.

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

2025-10-31 | related products | tags: int, type, vec

108.

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

2025-10-31 | related products | tags: app, import, script

109.

3-JSON (news.ycombinator.com)

2025-10-31 | related products | tags: 2024, 2025, file

110.

Show HN: tsbro – TypeScript for the Browser, No Build Step (news.ycombinator.com)

2025-10-31 | related products | tags: app, import, script

111.

Use Your Type System (news.ycombinator.com)

2025-10-31 | related products | tags: accountid, error, libwx

112.

SecurityPal combines AI and experts in Nepal to speed enterprise security questionnaires by 87X or more (venturebeat.com)

2025-10-31 | by Carl Franzen | related products | tags: ai, data, hamal

113.

Employee – CEO pay gap historically wide (news.ycombinator.com)

2025-10-31 | by Tami Luhby | related products | tags: million, pay, tax

114.

Go allocation probe (news.ycombinator.com)

2025-10-31 | related products | tags: nameoff, size, typ

115.

Go Allocation Probe (news.ycombinator.com)

2025-10-31 | related products | tags: nameoff, size, typ

116.

This keyboard case made my Pixel 9 actively painful to use — but I can’t stop typing on it anyway (androidauthority.com)

2025-10-31 | related products | tags: android, clicks, keyboard

117.

Losing language features: some stories about disjoint unions (news.ycombinator.com)

2025-10-31 | related products | tags: case, mesa, right

118.

Chinese hackers breached National Guard to steal network configurations (bleepingcomputer.com)

2025-10-31 | related products | tags: configuration, government, network

119.

Row Polymorphic Programming (news.ycombinator.com)

2025-10-31 | related products | tags: hs, row, schema

120.

Modular Interpreters and Visitors in Rust with Extensible Variants and CGP (news.ycombinator.com)

2025-10-31 | related products | tags: code, context, mathexpr