GoKawiil - Tech News

Topics: Today This Week This Month This Year

Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web (news.ycombinator.com)

2026-02-28 | get Lambda Calculus → | tags: bubble notation, visual lambda calculus, python 3.8

The Om Programming Language (news.ycombinator.com)

2026-02-25 | get Scripting → | tags: om programming language, homoiconic notation, panmorphic typing

What is f(x) ≤ g(x) + O(1)? Inequalities With Asymptotics (news.ycombinator.com)

2026-02-20 | by James Oswald | get Algorithm → | tags: bound, exists, exists forall

-fbounds-safety: Enforcing bounds safety for C (news.ycombinator.com)

2026-02-16 | get Boundary Safety → | tags: annotation, bounds, pointer

Zotero 8 (news.ycombinator.com)

2026-01-23 | get Bibliomatics → | tags: annotations, item, items

Xr0 verifier, guarantee the safety of C programs at compile time (news.ycombinator.com)

2026-01-03 | get Verifier → | tags: annotations, function, malloc

Flock Uses Overseas Gig Workers To Build Its Surveillance AI (slashdot.org)

2025-12-02 | get Artificial Intelligence → | tags: annotations, flock, footage

Google could finally fix this annoying image workflow gap in Gemini (androidauthority.com)

2025-11-27 | get Google Photos → | tags: feature, gemini, google

Decoding Leibniz Notation (2024) (news.ycombinator.com)

2025-11-16 | get Mathematical notation system → | tags: derivative, dxdf, leibniz

10.

Fair human-centric image dataset for ethical AI benchmarking (feeds.nature.com)

2025-11-05 | by Xiang | get Facial Emotion Recognition System → | tags: annotations, dataset, face

Today's top topics: apple amazon google android tesla spacex generative ai openai nvidia android authority