GoKawiil - Tech News

Topics: Today This Week This Month This Year

Why Custom Attributes in .NET Give Me Nightmares (news.ycombinator.com)

2026-05-31 | tags: .net, microsoft, asmresolver

Show HN: Auto-identity-remove – Automated data broker opt-out runner for macOS (news.ycombinator.com)

2026-05-18 | get Privacy Badger Browser Extension → | tags: data broker, auto-identity-remove, capsolver

Auto-identity-remove – Automated data broker opt-out runner for macOS (news.ycombinator.com)

2026-05-18 | get Data Broker Opt-Out Tool → | tags: data broker, auto-identity-remove, capsolver

I automated opt-outs for 500 data broker sites (open source) (news.ycombinator.com)

2026-05-18 | get Data Broker Opt-Out Toolkit → | tags: data broker, opt-out, capsolver

Show HN: I built a DNS resolver from scratch in Rust – no DNS libraries (news.ycombinator.com)

2026-04-02 | get Rust DNS Resolver Kit → | tags: numa, rust, dns resolver

Autoresearch for SAT Solvers (news.ycombinator.com)

2026-03-19 | get SAT Solver Toolkit → | tags: maxsat, ai agent, github

Some silly Z3 scripts I wrote (news.ycombinator.com)

2026-02-23 | get Scripting → | tags: smt, rust, python

The JavaScript Oxidation Compiler (news.ycombinator.com)

2026-02-23 | get Compiler → | tags: linter, formatter, parser

DNS Explained – How Domain Names Get Resolved (news.ycombinator.com)

2026-02-03 | by Manish Bhusal | get DNS Explained → | tags: domain, example, example com

10.

ZOZO's Contact Solver for physics-based simulations (news.ycombinator.com)

2025-10-31 | get Tesla accessories → | tags: contact, session, solver

11.

ZOZO's Contact Solver (for physics-based simulations) (news.ycombinator.com)

2025-10-31 | get Tesla accessories → | tags: contact, session, solver

12.

Automated Lean Proofs for Every Type (news.ycombinator.com)

2025-10-31 | by Elizaveta Pertseva | get Meta Quest → | tags: lean, smt, solver

13.

A dumb introduction to z3 (news.ycombinator.com)

2025-10-31 | get Google Nest Mini → | tags: assert, c10, int

14.

A Dumb Introduction to z3 using Rust (news.ycombinator.com)

2025-10-31 | get Google Nest Mini → | tags: assert, c10, int

15.

Introduction to Writing Good Puzzle Hunt Puzzles (news.ycombinator.com)

2025-10-31 | get Microsoft Surface Pro → | tags: answer, hunt, puzzle

16.

Cloudflare says 1.1.1.1 outage not caused by attack or BGP hijack (bleepingcomputer.com)

2025-10-31 | get computer monitor → | tags: cloudflare, dns, outage

17.

The Hat, the Spectre and SAT Solvers (2024) (news.ycombinator.com)

2025-10-31 | by Nicolás Hatcher | get laptop → | tags: hat, sat, solver

Today's top topics: prime day amazon apple amazon prime day samsung zdnet android authority meta oracle openai