The 70% problem
: Hard truths about AI-assisted codinghttps://addyo.substack.com/p/the-70-problem-hard-truths-about
Substack
The 70% problem: Hard truths about AI-assisted coding
A field guide and why we need to rethink our expectations
Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism
https://www.sciencedirect.com/science/article/pii/S0304397522000317
https://www.sciencedirect.com/science/article/pii/S0304397522000317
800088.802823.pdf
409.2 KB
The consequences of one's first programming language
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.
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
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 …
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…
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
https://arxiv.org/pdf/2204.05653
https://arxiv.org/pdf/2204.05653
c11comp.pdf
581.1 KB
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
concurrency-primer.pdf
1.3 MB
What every systems programmer should know about concurrency
p539-neumann.pdf
559.4 KB
Efficiently Compiling Efficient Query Plans for Modern Hardware
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…
A Deforestation of Reducts: Refocusing
https://arxiv.org/pdf/2302.10455v1
https://arxiv.org/pdf/2302.10455v1
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
Make your QEMU 10 times faster
https://linus.schreibt.jetzt/posts/qemu-9p-performance.html
https://linus.schreibt.jetzt/posts/qemu-9p-performance.html