GoKawiil - Tech News

1.

Differentiable Fortran with LFortran and Enzyme (news.ycombinator.com)

2026-07-14 | tags: double, enzyme, fortran

2.

DNSGlobe – Rust TUI to watch DNS propagate around the world (news.ycombinator.com)

2026-07-05 | tags: dnsglobe, domain, propagation

3.

Choosing a Public DNS Resolver (news.ycombinator.com)

2026-06-27 | get Cloudflare 1.1.1.1 DNS → | tags: dns resolver, dns-over-https, dnscrypt

4.

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

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

5.

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

6.

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

7.

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

8.

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

9.

Autoresearch for SAT Solvers (news.ycombinator.com)

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

10.

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

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

11.

The JavaScript Oxidation Compiler (news.ycombinator.com)

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

12.

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

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

13.

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

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

14.

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

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

15.

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

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

16.

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

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

17.

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

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

18.

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

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

19.

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

20.

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

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