GoKawiil - Tech News

301.

Higher: Favourite Haskell type classes for Rust (2023) (news.ycombinator.com)

2025-10-31 | get Microsoft Surface Pro → | tags: f1, f2, fn

302.

Excalidraw+ Is Now SoC 2 Certified (news.ycombinator.com)

2025-10-31 | get Chromebook → | tags: access, security, soc

303.

Canadian telecom hacked by suspected China state group (arstechnica.com)

2025-10-31 | get wifi router → | tags: behalf, officials, salt

304.

Canada says telcos were breached in China-linked espionage hacks (techcrunch.com)

2025-10-31 | by Zack Whittaker | get smartphone → | tags: canadian, china, salt

305.

Canada says Salt Typhoon hacked telecom firm via Cisco flaw (bleepingcomputer.com)

2025-10-31 | get wifi router → | tags: attacks, canadian, devices

306.

Scientists Just Found a New, Incredibly Rare Blood Type (gizmodo.com)

2025-10-31 | by Ed Cara | get science reference book → | tags: blood, efs, french

307.

Meet Google Martha, the company’s Android XR smart glasses prototype (androidauthority.com)

2025-10-31 | get computer monitor → | tags: android, glasses, google

308.

I wrote my PhD Thesis in Typst (news.ycombinator.com)

2025-10-31 | get Amazon Echo Show → | tags: language, latex, template

309.

Asus ROG Azoth X Review: A Space-Age Gaming Keyboard (wired.com)

2025-10-31 | by Henri Robbins | get gaming keyboard → | tags: case, keyboard, mount

310.

What happens when AI comes for our fonts? (theverge.com)

2025-10-31 | by Geoffrey Bunting | get Amazon Echo Dot → | tags: ai, creative, design

311.

Verified dynamic programming with Σ-types in Lean (news.ycombinator.com)

2025-10-31 | by Tanner Duve | get computer monitor → | tags: let, maxdollars_spec, memo

312.

Verified Dynamic Programming with Σ-types in Lean (news.ycombinator.com)

2025-10-31 | by Tanner Duve | get computer monitor → | tags: let, maxdollars_spec, memo

313.

A real fixed-point decimal crate in Rust (news.ycombinator.com)

2025-10-31 | get productivity planner → | tags: balance, decimal, fpdec

314.

Telecom giant Viasat breached by China's Salt Typhoon hackers (bleepingcomputer.com)

2025-10-31 | get business communication book → | tags: broadband, salt, telecom

315.

I found the 'Goldilocks' of travel chargers - now I don't leave home without it (plus it's on sale) (zdnet.com)

2025-10-31 | by Adrian Kingsley-Hughes | get iPhone → | tags: 65w, adapter, travel

316.

Police seizes Archetyp Market drug marketplace, arrests admin (bleepingcomputer.com)

2025-10-31 | get Microsoft Surface Laptop → | tags: archetyp, enforcement, law

317.

Writing a Truth Oracle in Lisp (news.ycombinator.com)

2025-10-31 | get Amazon Echo Dot → | tags: function, proof, right

318.

Subtype Inference by Example (news.ycombinator.com)

2025-10-31 | by Considerations On Codecrafting | get Google Nest Hub → | tags: cubiml, languages, let

319.

Type-based vs. Value-based Reflection (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: reflection, std, template

320.

OnePlus Watch 3s with the ‘Meda’ typo are limited editions, OnePlus jokes (androidauthority.com)

2025-10-31 | get Meta Quest → | tags: china, got, oneplus

321.

The OnePlus Watch 3 has an unfixable but endearing typo (theverge.com)

2025-10-31 | by Victoria Song | get smartwatch → | tags: oneplus, review, smartwatch

322.

Chinese hackers use custom malware to spy on US telecom networks (bleepingcomputer.com)

2025-10-31 | get Amazon Echo Dot → | tags: cisco, devices, network