GoKawiil - Tech News

1.

What we have learned at OpenShell applying formal methods to control AI agents (news.ycombinator.com)

2026-09-15 | by Alex Watson | tags: formal methods, z3 library, ai agents

2.

Measuring Gauss-Seidel loop-carried dependency and fixing it via loop unrolling (news.ycombinator.com)

2026-09-15 | tags: gauss-seidel, loop unrolling, loop-carried dependency

3.

Developing provably correct Rust code with Verus (news.ycombinator.com)

2026-09-14 | by About The Author | get The Rust Programming Language book Steve Klabnik → | tags: rust, verus, program verification

4.

We do modern frequentist statistics: Using fake-data simulation (news.ycombinator.com)

2026-09-14 | tags: frequentist statistics, fake-data simulation, statistical inference

5.

Top mathematicians are outraged by OpenAI's methods (news.ycombinator.com)

2026-09-11 | get The Princeton Companion to Mathematics → | tags: openai, mathematicians, mathematics

6.

C*: Unifying Programming and Verification in C (2025) (news.ycombinator.com)

2026-09-08 | get The C Programming Language Kernighan Ritchie 2nd edition → | tags: program verification, formal methods, programming languages

7.

C*: Unifying Programming and Verification in C (news.ycombinator.com)

2026-09-08 | get The C Programming Language Kernighan Ritchie → | tags: program verification, c programming, formal methods

8.

39 New Methods That Compromise Passkey Authentication (bleepingcomputer.com)

2026-09-04 | get Yubico YubiKey 5C NFC → | tags: passkeys, fido2, public key cryptography

9.

Methods for Random Gradients (2024) (news.ycombinator.com)

2026-09-03 | tags: openai, perlin noise, heightmaps

10.

Methods for Random Gradients (news.ycombinator.com)

2026-09-03 | tags: openai, perlin noise, processing

11.

iOS 27 gives Apple Pay its best upgrade in years with redesign (9to5mac.com)

2026-09-02 | by Ryan Christoffel | get Apple MagSafe Wallet iPhone → | tags: apple pay, ios 27, checkout redesign

12.

Generic Methods in Go 1.27 (news.ycombinator.com)

2026-08-20 | by Dominik Braun | tags: generics, go 1.27, node

13.

Go 1.27 (news.ycombinator.com)

2026-08-19 | by Nicholas Husin | tags: go 1.27, go language, generic methods

14.

Google Play now takes Venmo payments (engadget.com)

2026-08-10 | by Mariella Moon | tags: google play, venmo, epic games

15.

Guarded Methods in OCaml (news.ycombinator.com)

2026-08-03 | by Xvw | tags: class, flatten, list

16.

Go 1.27 Interactive Tour (news.ycombinator.com)

2026-08-02 | tags: go 1.27, anton zhiyanov, go tours

17.

RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2 (news.ycombinator.com)

2026-08-01 | by Nimrod Aviram | tags: tls 1.2, dtls 1.2, rsa

18.

I Made Bacon This New Way, and Now I’m Done With the Skillet (cnet.com)

2026-08-01 | tags: bacon, skillet, cooking methods

19.

Why don't people use formal methods? (2019) (news.ycombinator.com)

2026-07-30 | tags: formal methods, formal verification, software engineering

20.

Why Don't People Use Formal Methods? (2019) (news.ycombinator.com)

2026-07-30 | tags: formal methods, formal verification, software engineering

21.

Why Don't People Use Formal Methods? (news.ycombinator.com)

2026-07-30 | tags: formal methods, formal verification, software engineering

22.

Miniaturizing and modifying natural proteins with Raygun (feeds.nature.com)

2026-07-29 | by Devkota | tags: raygun, protein design, residue embeddings

23.

How JPEG works: Interactively explore JPEG's lossy compression methods (news.ycombinator.com)

2026-07-27 | tags: jpeg, lossy compression, images

24.

Selfie for sign-in: a new, easy way to access your Google Account (news.ycombinator.com)

2026-07-23 | by John Gronberg | tags: google account, selfie video, sign-in methods

25.

Evidence of inconsistencies in evaluation process and selection of winners (news.ycombinator.com)

2026-07-17 | tags: evaluation process, selection of winners, inconsistencies

26.

2 Very Good Reasons to Use Filtered Water for Brewing Coffee, According to an Expert (cnet.com)

2026-07-17 | by See Full Bio | tags: sightglass coffee, filtered water, brewing methods

27.

How I turned an old Android phone into my home internet backup solution - 3 methods (zdnet.com)

2026-07-06 | by Adrian Kingsley-Hughes | get Android Phone Wi-Fi Router → | tags: ethernet, port, router

28.

Apple takes Epic fight over app store fees to the Supreme Court (arstechnica.com)

2026-06-30 | get Apple App Store Gift Card → | tags: apple, epic games, app store

29.

Mathematics: Its Content, Methods and Meaning (news.ycombinator.com)

2026-06-27 | get Mathematics Textbook for Students → | tags: kolmogorov, lavrent’ev, analysis

30.

The new HTTP QUERY method explained (news.ycombinator.com)

2026-06-23 | get HTTP Query Method Guide → | tags: http query method, restful apis, rfc 10008