Defunctionalization at Work
https://www.cs.cornell.edu/courses/cs6110/2012sp/Defunctionalization-at-work-Danvy.pdf
https://www.cs.cornell.edu/courses/cs6110/2012sp/Defunctionalization-at-work-Danvy.pdf
👍1
Modular Polymorphic Defunctionalization
https://pdfs.semanticscholar.org/4035/76fd488b34418bccd446b7abaee80f4176f5.pdf
https://pdfs.semanticscholar.org/4035/76fd488b34418bccd446b7abaee80f4176f5.pdf
👍2
This equation will change how you see the world (the logistic map)
https://youtu.be/ovJcsL7vyrk?si=XuE-Rdd8qgD8g14I
https://youtu.be/ovJcsL7vyrk?si=XuE-Rdd8qgD8g14I
YouTube
This equation will change how you see the world (the logistic map)
The logistic map connects fluid convection, neuron firing, the Mandelbrot set and so much more. Fasthosts Techie Test competition is now closed! Learn more about Fasthosts here: https://www.fasthosts.co.uk/veritasium Code for interactives is available below...…
🤯1
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
❤4
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
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