A Verified Implementation of Dijkstra's Algorithm
https://github.com/fetburner/coq-dijkstra
https://github.com/fetburner/coq-dijkstra
GitHub
GitHub - fetburner/coq-dijkstra: A Verified Implementation of Dijkstra's Algorithm
A Verified Implementation of Dijkstra's Algorithm. Contribute to fetburner/coq-dijkstra development by creating an account on GitHub.
👍4❤1
Making memcpy(NULL, NULL, 0) well-defined
https://developers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined#compiler_builtins
https://developers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined#compiler_builtins
Red Hat Developer
Making memcpy(NULL, NULL, 0) well-defined | Red Hat Developer
Undefined behavior (UB) in the C programming language is a regular source of heated discussions among programmers. On the one hand, UB can be important for compiler optimizations. On the other hand
🤔2
Tail recursion for macros in C
https://gustedt.wordpress.com/2024/07/19/tail-recursion-for-macros-in-c/
https://gustedt.wordpress.com/2024/07/19/tail-recursion-for-macros-in-c/
Jens Gustedt's Blog
Tail recursion for macros in C
In view of the addition of __VA_OPT__ first to C++ and now to C23, there had been interest in extending the C preprocessor to include recursion. The basic idea would be that __VA_OPT__ can be used …
🔥2
Curiously Cumbersome Rust: Type-level Programminghttps://geo-ant.github.io/blog/2023/rust-type-level-programming/
geo-ant.github.io
Curiously Cumbersome Rust: Type-level Programming
The moment that spawned this article was when I asked myself how hard
can it be to make sure two types have the same size at compile time? Well…
it’s complicated. In here, we’ll do a deep dive into the limits of compile
time metaprogamming in today’s (and…
can it be to make sure two types have the same size at compile time? Well…
it’s complicated. In here, we’ll do a deep dive into the limits of compile
time metaprogamming in today’s (and…
🥴1
c11comp.pdf
581.1 KB
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
🔥1
There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea
https://m.youtube.com/watch?v=m3UmABVf55g
https://m.youtube.com/watch?v=m3UmABVf55g
YouTube
Keynote: There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea
https://cpponsea.uk
---
Keynote: There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea 2024
---
Most developers love simplifications — they love the idea of that one tool that solves all of their problems. We have…
---
Keynote: There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea 2024
---
Most developers love simplifications — they love the idea of that one tool that solves all of their problems. We have…
👍1💅1
A static semantics for Haskell
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf
👍1🙏1💔1
Make your QEMU 10 times faster
https://linus.schreibt.jetzt/posts/qemu-9p-performance.html
https://linus.schreibt.jetzt/posts/qemu-9p-performance.html
🦄3💊1
Microsoft Research Detours Package
https://github.com/microsoft/Detours
https://github.com/microsoft/Detours
GitHub
GitHub - microsoft/Detours: Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed…
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form. - microsoft/Detours
👍1
Clay: a flex-box style UI auto layout library in C, with declarative syntax and microsecond performancehttps://www.nicbarker.com/clay
🔥7👍1😐1