GoKawiil - Tech News

1.

Go 1.27 Interactive Tour (news.ycombinator.com)

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

2.

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

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

3.

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

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

4.

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

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

5.

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

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

6.

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

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

7.

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

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

8.

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

9.

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

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

10.

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

11.

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

12.

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

13.

I Failed My Certification Exam Twice. Here’s the Study System I Wish I Had the First Time. (feeds.feedburner.com)

2026-06-19 | by Peter Murphy | get Certification Exam Prep Book → | tags: certification exam, entrepreneur, practice exams

14.

Human Judgment as a Specification (news.ycombinator.com)

2026-06-17 | get Critical Thinking Puzzle Book → | tags: formal methods, large language models, ron minsky

15.

Formal methods and the future of programming (news.ycombinator.com)

2026-06-14 | tags: formal methods, jane street, sel4

16.

Formal Methods and the Future of Programming (news.ycombinator.com)

2026-06-14 | get Formal Methods Software Toolkit → | tags: formal methods, jane street, sel4

17.

Leiden Declaration on Artificial Intelligence and Mathematics (news.ycombinator.com)

2026-06-03 | get AI and Math Book → | tags: artificial intelligence, mathematical research, leiden declaration

18.

Italians and Dutch share the same gestural instinct for teaching (news.ycombinator.com)

2026-05-29 | get Italian Hand Gesture Guide → | tags: italian university, max planck institute, hand gestures

19.

Go: Support for Generic Methods (news.ycombinator.com)

2026-05-27 | get Go Generics Programming Book → | tags: generic methods, feedback, email

20.

Can LLMs model real-world systems in TLA+? (news.ycombinator.com)

2026-05-08 | by Qian Cheng | get TLA Model Checker Kit → | tags: llm, tla+, etcd

21.

My practitioner view of program analysis (news.ycombinator.com)

2026-04-20 | get Code Analysis Software Tool → | tags: formal methods, type systems, program analysis

22.

I don't chain everything in JavaScript anymore (news.ycombinator.com)

2026-04-20 | get JavaScript Async Await Book → | tags: javascript, chaining, array methods

23.

Textbooks and Methods of Note-Taking in Early Modern Europe (2008) (news.ycombinator.com)

2026-04-12 | tags: note-taking, early modern europe, textbooks

24.

You Know How Scientists Keep Finding Microplastics Literally Everywhere? Well, You’d Never Guess What Their Lab Gloves Are Coated in Straight Out of the Packaging (futurism.com)

2026-03-31 | by Victor Tangermann | get Nitrile Disposable Gloves → | tags: microplastics, university of michigan, analytical methods

25.

Mathematical methods and human thought in the age of AI (news.ycombinator.com)

2026-03-30 | get AI Math Puzzle Book → | tags: artificial intelligence, human thought, mathematical methods

26.

Embracing Bayesian methods in clinical trials (news.ycombinator.com)

2026-03-24 | get Bayesian Data Analysis Book → | tags: bayesian methods, clinical trials, medical research

27.

Embracing Bayesian Methods in Clinical Trials (news.ycombinator.com)

2026-03-24 | get Bayesian Data Analysis Book → | tags: bayesian methods, clinical trials, statistical analysis

28.

I Tried Cooking Bacon 3 Ways. It Turns Out I've Been Doing It All Wrong (cnet.com)

2026-03-21 | by See Full Bio | get Cast Iron Skillet → | tags: bacon, air fryer, stovetop

29.

Entomologists use a particle accelerator to image ants at scale (news.ycombinator.com)

2026-03-06 | by Elie Dolgin | get Particle Accelerator → | tags: ant morphology, pixar, antscan

30.

Why Testing AI for Safety Is Necessary — But Still Not Enough (feeds.feedburner.com)

2026-02-19 | by Neel Somani | get Artificial Intelligence → | tags: formal, formal methods, happen