Martin Uecker

What Hacker News says?

1. uecker · 2026-10-31

   That LLM seems to rather mindlessly reproduce the Rust marketing idea that it is basically impossible or a huge effort to write safe C code. But yes, compilers are also really good at removing run-time checks also across function boundaries. I am experimenting with the idea to use exactly this to prove static safety of C code ( https://uecker.codeberg.page/2026-05-22.html ) and this turns out to be quite promising.

   Comment linking /2026-05-22.html

   on “Cisco gives engineer unlimited AI tokens to rewrite legacy code”
2. uecker · 2025-08-11

   Submitted Generic Containers in C: Safe Division Using Maybe as a story · 114 points

   HN discussion
3. uecker · 2025-09-30

   Also works in C: https://uecker.codeberg.page/2025-07-02.html

   Comment linking /2025-07-02.html

   on “Safe zero-copy operations in C#”
4. uecker · 2026-09-05

   Submitted Implementation of GCC's Nested Functions (vs. C++ Lambdas) as a story · 78 points

   HN discussion
5. uecker · 2025-09-10

   You can just define a span type yourself: https://uecker.codeberg.page/2025-07-02.html What new clang feature are you talking about?

   Comment linking /2025-07-02.html

   on “Contracts for C”
6. uecker · 2026-08-29

   Submitted Indirect Calling of Nested Functions on GCC Without Executable Stack as a story · 75 points

   HN discussion
7. uecker · 2026-09-09

   Well, these things were discussed in previous articles the previous one is linked at the very top. This one explains how you can avoid the use of trampolines in GCC 17: https://uecker.codeberg.page/2026-07-14.html The documentation is here: https://gcc.gnu.org/onlinedocs/gcc/Constructing-Calls.html There are many language features can be rewritten by hand into other simpler forms, you could rewrite loops into gotos,…

   Comment linking /2026-07-14.html

   on “Implementation of GCC's Nested Functions (vs. C++ Lambdas)”
8. uecker · 2025-07-23

   Submitted Generic Containers in C: Vec as a story · 56 points

   HN discussion
9. uecker · 2025-11-16

   My generics in C are quite simple in my opinion: https://uecker.codeberg.page/2025-07-02.html

   Comment linking /2025-07-02.html

   on “How to write generics in C”
10. uecker · 2025-07-10

    Submitted Writing Bounds-Safe Code in C with Arrays as a story · 21 points

    HN discussion
11. uecker · 2025-11-16

    Here is my take on this: https://uecker.codeberg.page/2025-07-20.html (you could also create a version with capacity, of course, but I like it this way).

    Comment linking /2025-07-20.html

    on “How to write generics in C”
12. uecker · 2025-07-05

    Submitted Generic Containers in C: Span as a story · 9 points

    HN discussion
13. uecker · 2026-07-30

    I think we agree on this. Fil-C does not ensure this. Showing the absence of run-time errors at compile-time is a hard problem, and the most realistic solution in general is via model checkers which I think would be the ideal solution, but we would need better tooling. Dependently types languages are also interesting. In the context of existing tooling and C, there is also a lot of potential in using the optimizer t…

    Comment linking /2026-05-22.html

    on “Zig's Incremental Compilation Internals”
14. uecker · 2026-10-25

    Submitted Generic Containers in C: Result as a story · 4 points

    HN discussion
15. uecker · 2026-06-06

    This is how I designed my vector in C. Note it is still not frozen as you can use realloc just fine (even with good performance) and/or external tracking of the capacity in tight loops. https://uecker.codeberg.page/2025-07-20.html I probably will still add a version with capacity, because people may insist on it, but personally I like the one without much more so far.

    Comment linking /2025-07-20.html

    on “C++: The Documentary Released Today”
16. uecker · 2026-11-01

    Submitted Effective Type: Part 1 as a story · 1 points

    HN discussion
17. uecker · 2026-10-17

    Submitted Uninitialized Variables: An Example of Silent Miscompilation as a story · 1 points

    HN discussion
18. matt_d · 2026-08-16

    Submitted Nested Functions with GCC and Clang as a story · 1 points

    HN discussion
19. uecker · 2026-08-15

    Submitted Using GCC's Nested Functions with Wide Pointers and No Trampolines II as a story · 1 points

    HN discussion
20. fanf2 · 2026-05-29

    Submitted Using GCC's nested functions with wide pointers and no trampolines as a story · 1 points

    HN discussion

Search all of HN for uecker.codeberg.page