GoKawiil - Tech News

1.

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

2.

Making a Python interpreter in 1024 bytes (news.ycombinator.com)

2026-09-06 | by Austin Z. Henley | get Crafting Interpreters Robert Nystrom book → | tags: python interpreter, c programming, fizzbuzz

3.

Canonical is Funding a PhD to Automate C to Rust Translation (slashdot.org)

2026-08-23 | by Posted | get Programming Rust Blandy Orendorff book → | tags: canonical, rust, c programming

4.

Canonical Backs New Project to Translate Large C Codebases into Safe Rust (news.ycombinator.com)

2026-08-20 | tags: canonical, rust, c programming

5.

Microgpt in pure C hits 10M tps on Apple m5 (news.ycombinator.com)

2026-08-18 | tags: microgpt, apple m5, c programming

6.

A theory for decades of C vulnerabilities (news.ycombinator.com)

2026-08-17 | tags: c vulnerabilities, memory-safe, semantic invariants

7.

Tail-call optimization in C is relatively recent (2025) (news.ycombinator.com)

2026-08-10 | tags: c programming, tail-call optimization, gcc

8.

Tail-call optimization in C is relatively recent (news.ycombinator.com)

2026-08-10 | tags: c programming, gcc compiler, tail-call optimization

9.

Because It's Not Fun Enough: why languages fail (news.ycombinator.com)

2026-08-10 | tags: c programming, java, perl

10.

Clockwise/Spiral Rule (1994) (news.ycombinator.com)

2026-07-31 | tags: c programming, c declaration, spiral rule

11.

The C ``Clockwise/Spiral Rule'' (news.ycombinator.com)

2026-07-31 | tags: c programming, c declarations, clockwise/spiral rule

12.

Teach yourself programming in ten years (1998) (news.ycombinator.com)

2026-07-26 | tags: c++, programming, abtruse goose

13.

Why malloc always does more than I asked for? (news.ycombinator.com)

2026-07-20 | tags: malloc, c programming, bump allocator

14.

Show HN: NanoEuler – GPT-2 scale model in pure C/CUDA from scratch (news.ycombinator.com)

2026-06-28 | get GPT-2 Mini Kit → | tags: gpt-2, cuda, c programming

15.

David Ahl's Basic Computer Games Ported to C (news.ycombinator.com)

2026-06-21 | get C Programming Book → | tags: gw-basic, david ahl, creative computing

16.

Efficient C++ Programming for Modern C++ CPUs, Chapter 4/part 2 (news.ycombinator.com)

2026-06-20 | by No Bugs | get C Programming Book → | tags: c++ programming, cpu physics, cpu cycles

17.

Show HN: Microcrad – Micrograd Reimplemented in C (news.ycombinator.com)

2026-06-17 | get Micrograd C Library → | tags: micrograd, autograd, neural network

18.

Simulated Evolution on the PICO-8 (news.ycombinator.com)

2026-05-18 | by Michael Martin | get PICO-8 Fantasy Console → | tags: pico-8, simulated evolution, lua

19.

Bjarne Stroustrup: How do I deal with memory leaks? (news.ycombinator.com)

2026-05-08 | get Memory Leak Detection Tool → | tags: c++ core guidelines, isocpp.org, bjarne stroustrup

20.

The Little Book of C (news.ycombinator.com)

2026-03-26 | by A Note The Author | get C Programming for Beginners → | tags: c programming, makefile, gcc

21.

Rob Pike's Rules of Programming (1989) (news.ycombinator.com)

2026-03-18 | tags: rob pike, c programming, bottlenecks

22.

Even faster asin() was staring right at me (news.ycombinator.com)

2026-03-16 | get ASIN Lookup Tool → | tags: c programming, asin function, minimax approximation