GoKawiil - Tech News

1.

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

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

2.

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

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

3.

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

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

4.

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

5.

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

6.

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

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

7.

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

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

8.

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

9.

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

10.

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

11.

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

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

12.

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

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

13.

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

14.

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

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

15.

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

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

16.

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

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

17.

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

18.

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

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

19.

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

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

20.

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

21.

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

22.

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

23.

I Asked 10 Coffee Pros How They Brew Their Own Coffee. Here's What They Said (cnet.com)

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

24.

What's the Best Way to Make Coffee? I Asked 10 Experts and They (Almost) All Agreed (cnet.com)

2025-11-20 | by See Full Bio | get Coffee Maker → | tags: coffee, espresso, french press

25.

OOP: The worst thing that happened to programming (news.ycombinator.com)

2025-11-17 | get Open Source → | tags: class, const, methods

26.

Scientists revive old Bulgarian recipe to make yogurt with ants (arstechnica.com)

2025-10-31 | get Google Nest → | tags: ant, ants, methods

27.

Implicit ODE solvers are not universally more robust than explicit ODE solvers (news.ycombinator.com)

2025-10-31 | by Christopher Rackauckas | get Amazon Echo Dot → | tags: explicit, implicit, lambda

28.

Implicit ODE Solvers Are Not Universally More Robust Than Explicit ODE Solvers (news.ycombinator.com)

2025-10-31 | by Christopher Rackauckas | get Amazon Echo Dot → | tags: explicit, implicit, lambda

29.

Implicit Ode Solvers Are Not Universally More Robust Than Explicit Ode Solvers (news.ycombinator.com)

2025-10-31 | by Christopher Rackauckas | get Amazon Echo Dot → | tags: explicit, implicit, lambda

30.

Hexatetrahedral Rails (news.ycombinator.com)

2025-10-31 | get Google Nest Mini → | tags: app, architecture, methods