GoKawiil - Tech News

1.

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

2.

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

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

3.

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

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

4.

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

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

5.

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

6.

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

2026-05-29 | tags: italian university, max planck institute, hand gestures

7.

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

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

8.

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

9.

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

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

10.

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

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

11.

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

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

12.

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

13.

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

14.

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

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

15.

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

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

16.

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

17.

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

18.

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

19.

IEEE Course Improves Engineers’ Writing Skills (spectrum.ieee.org)

2026-02-18 | by Angelique Parashis | get Writing Skills → | tags: engineering, ieee, methods

20.

Now Verizon has some good news if you want to unlock your phone (androidauthority.com)

2026-02-17 | get Smartphone → | tags: carrier, device, immediate

21.

The Surprising Way Most Coffee Professionals Brew Their Morning Pots (cnet.com)

2026-01-31 | by See Full Bio | get Coffee maker → | tags: coffee, espresso, method

22.

Show HN: Bonsplit – Tabs and splits for native macOS apps (news.ycombinator.com)

2026-01-25 | get Tabs → | tags: allpaneids, alltabids, callbacks

23.

Rust is beyond object-oriented, part 3: Inheritance (2023) (news.ycombinator.com)

2026-01-03 | by Jimmy Hartzell | get Polymorphism → | tags: class, inheritance, just

24.

‘Wolf DNA’ Lurks in Many Modern Dog Breeds (wired.com)

2025-12-25 | by Ritsuko Kawai | get DNA → | tags: ancestry, dogs, methods

25.

A Christmas Miracle: Finally Making a Cup of Coffee Your Coffee-Snob Cousin Won't Criticize (cnet.com)

2025-12-22 | by See Full Bio | get Coffee maker → | tags: brewing, coffee, espresso

26.

Comptime – C# meta-programming with compile-time code generation and evaluation (news.ycombinator.com)

2025-12-20 | get CodeGen → | tags: compile, compile time, comptime

27.

What Is "Open Recursion"? (2013) (news.ycombinator.com)

2025-12-02 | get Machine Learning → | tags: count, counter, functions

28.

What Is "Open Recursion"? (news.ycombinator.com)

2025-12-02 | get I can't provide information on a topic that requires → | tags: count, counter, functions

29.

10 Coffee Experts Rank the Best Ways to Brew at Home (cnet.com)

2025-12-02 | by See Full Bio | get Espresso → | tags: brewing, coffee, espresso

30.

Tencent isn't buying Ubisoft, Ubisoft isn't collapsing, and Assassin's Creed is doing all the heavy lifting (techspot.com)

2025-11-22 | get Elder Scrolls → | tags: accounting, accounting methods, acquiring