GoKawiil - Tech News

Topics: Today This Week This Month This Year

A Canonical Generalization of OBDD (news.ycombinator.com)

2026-04-13 | get OBDD Software Toolkit → | tags: obdd, canonical, boolean functions

C++26: Std:Is_within_lifetime (news.ycombinator.com)

2026-02-19 | get C Standard Library → | tags: active, bool, evaluation

The Little Bool of Doom (2025) (news.ycombinator.com)

2026-02-08 | get Smartwatch → | tags: boolean, code, doom

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4 (news.ycombinator.com)

2025-12-20 | get MaxCut → | tags: assignment, bool, decidableeq

Performance Hints – Jeff Dean and Sanjay Ghemawat (news.ycombinator.com)

2025-12-19 | get Google Assistant → | tags: absl, bool, code

Performance Hints (2023) (news.ycombinator.com)

2025-12-19 | get Smartwatch → | tags: absl, bool, code

India is reportedly considering another draconian smartphone surveillance plan (engadget.com)

2025-12-05 | get Smartphone camera → | tags: india, location, maqbool

JermCAD: Browser-Based CAD Software (news.ycombinator.com)

2025-11-07 | get J-CAD → | tags: boolean, center, diameter

Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever (news.ycombinator.com)

2025-10-31 | by Pavan Chary | get Microsoft Surface Pro → | tags: boolean, is_active, is_verified

10.

That boolean should probably be something else (news.ycombinator.com)

2025-10-31 | get art supplies → | tags: boolean, data, enum

11.

Writing memory efficient C structs (news.ycombinator.com)

2025-10-31 | by Tom Scheers | get smartphone → | tags: bool, bytes, health

Today's top topics: openai apple google meta microsoft chatgpt android authority anthropic elon musk amazon