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.

Overloaded Overloading (news.ycombinator.com)

2026-07-22 | tags: python, method overloading, operator overloading

10.

Here’s What Top Schools Are Doing to Produce AI-Proof Lawyers (feeds.feedburner.com)

2026-07-17 | by Sherin Shibu | tags: ai startups, harvey, university of chicago

11.

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

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

12.

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

13.

Mysteries of Telegram Data Centers (2022) (news.ycombinator.com)

2026-07-15 | tags: account, method, number

14.

Mysteries of Telegram Data Centers (news.ycombinator.com)

2026-07-15 | tags: account, method, number

15.

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

16.

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

17.

Show HN: Teach your kids perfect pitch (news.ycombinator.com)

2026-06-21 | get Kids' Musical Ear Training Kit → | tags: bsharp, eguchi method, play store

18.

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

19.

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

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

20.

RFC 10008: The new HTTP Query Method (news.ycombinator.com)

2026-06-17 | by J. Reschke | get HTTP Query Method Guide → | tags: http query method, http, rfc 10008

21.

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

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

22.

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

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

23.

Supporting Exchange and beyond (news.ycombinator.com)

2026-06-08 | by Brendan Abolivier | tags: body, client, method

24.

Indie App Spotlight: ‘Grit Method’ builds character with 4 daily goals (9to5mac.com)

2026-06-06 | by Michael Burkhardt | get Grit Method Daily Planner → | tags: grit, grit method, method

25.

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

26.

Ubiquitin tags detected on non-protein biomolecules using new method (feeds.nature.com)

2026-06-03 | get Ubiquitin Detection Kit → | tags: ubiquitin, biomolecules, detection method

27.

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

28.

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

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

29.

Theoretical Foundations, Method of Moments, and Quantum Learning: An Interview with Ankur Moitra (computer.org)

2026-05-25 | get Quantum Computing Starter Kit → | tags: method of moments, quantum learning, mit

30.

Scientists May Have Discovered 27 Star Wars-Like Planets With Two Suns (cnet.com)

2026-05-11 | by See Full Bio | get Star Wars Planet Model Kit → | tags: circumbinary planets, star wars, university of new south wales