N-Queens Problem in Prolog
https://youtu.be/l_tbL9RjFdo?si=7-au55mZ9pvvs5B0
https://youtu.be/l_tbL9RjFdo?si=7-au55mZ9pvvs5B0
YouTube
N-Queens in Prolog
Prolog lets us easily find solutions for this famous puzzle, also for quite large boards. Notably, we can use the same program to test, complete and generate solutions. The code is available from: https://www.metalevel.at/queens/
👍1
How FoundationDB works and why it works
https://blog.the-pans.com/notes-on-the-foundationdb-paper
https://blog.the-pans.com/notes-on-the-foundationdb-paper
Lu’s blog
How FoundationDB works and why it works
FoundationDB is a very impressive database. Its paper won the best industry paper award in SIGMOD’21. In this post, I will explain, in detail, how FDB works and discuss a few very interesting design choices they made. It’s a dense paper packed with neat ideas.…
When Zig Outshines Rust: Memory Efficient Enum Arrays
https://alic.dev/blog/dense-enums
https://alic.dev/blog/dense-enums
alic.dev
When Zig outshines Rust - Memory efficient enum arrays
Proper support for sum types or tagged unions have become table stakes for systems programming languages. However, they can incur a lot of memory fragmentation that's not trivial to avoid without good support for metaprogramming. This post goes into Zig's…
👎1🔥1
How Hard is it to Adapt a Memory Allocator to CHERI?
https://tratt.net/laurie/blog/2023/how_hard_is_it_to_adapt_a_memory_allocator_to_cheri.html
https://tratt.net/laurie/blog/2023/how_hard_is_it_to_adapt_a_memory_allocator_to_cheri.html
GCC Preparing To Introduce "-fhardened" Security Hardening Option
https://www.phoronix.com/news/GCC-fhardened-Hardening-Option
https://www.phoronix.com/news/GCC-fhardened-Hardening-Option
Phoronix
GCC Preparing To Introduce "-fhardened" Security Hardening Option
Following discussions among compiler developers and other stakeholders, the GNU Compiler Collection (GCC) is preparing to add a '-fhardened' compiler option that will enable various hardening features aimed at increasing the security/robustness of the generated…
Faster Integer Parsing
https://kholdstare.github.io/technical/2020/05/26/faster-integer-parsing.html
https://kholdstare.github.io/technical/2020/05/26/faster-integer-parsing.html
❤2
Writing a Debugger From Scratch (Rust)
https://www.timdbg.com/posts/writing-a-debugger-from-scratch-part-1/
https://www.timdbg.com/posts/writing-a-debugger-from-scratch-part-1/
TimDbg
Writing a Debugger From Scratch - DbgRs Part 1 - Attaching to a Process
I’ve left the Microsoft Debugger Platform team twice, and each time I’ve started writing my own debugger. I must really like debuggers or something. This time, I have two reasons for writing a new debugger. The first is because I want to learn Rust better…
Arena allocator tips and tricks
https://nullprogram.com/blog/2023/09/27/
https://nullprogram.com/blog/2023/09/27/
👎3
27 Unhelpful Facts About Category Theory
https://youtu.be/H0Ek86IH-3Y?si=GKN_nmBpVfMCEnC1
https://youtu.be/H0Ek86IH-3Y?si=GKN_nmBpVfMCEnC1
YouTube
27 Unhelpful Facts About Category Theory
Category theory is the heart of mathematical structure. In this video, I will drive a stake through that heart. I don't know why I made this.
Grothendieck Googling: https://mobile.twitter.com/grothendieckg
Join my Discord server to discuss this video and…
Grothendieck Googling: https://mobile.twitter.com/grothendieckg
Join my Discord server to discuss this video and…
❤1
macOS Containers: Containerize macOS apps and run them natively with Docker (Alpha)https://macoscontainers.org/
Applied Category Theory Course
https://math.ucr.edu/home/baez/act_course/
https://math.ucr.edu/home/baez/act_course/
🥴1
Complete Bidirectional Typing for the Calculus of Inductive Constructions
https://arxiv.org/pdf/2102.06513.pdf
https://arxiv.org/pdf/2102.06513.pdf
❤1
Making a fast curry: push/enter vs. eval/apply for higher-order languages
https://www.microsoft.com/en-us/research/uploads/prod/2016/07/eval-apply-icfp.pdf
https://www.microsoft.com/en-us/research/uploads/prod/2016/07/eval-apply-icfp.pdf
How to Use Monadic Operations for
https://www.cppstories.com/2023/monadic-optional-ops-cpp23/
std::optional in C++23https://www.cppstories.com/2023/monadic-optional-ops-cpp23/
C++ Stories
How to Use Monadic Operations for `std::optional` in C++23
In this post we’ll have a look at new operations added to std::optional in C++23. These operations, inspired by functional programming concepts, offer a more concise and expressive way to work with optional values, reducing boilerplate and improving code…
Can You Trust a Compiler to Optimize Your Code? (Rust)
https://matklad.github.io/2023/04/09/can-you-trust-a-compiler-to-optimize-your-code.html
https://matklad.github.io/2023/04/09/can-you-trust-a-compiler-to-optimize-your-code.html
matklad.github.io
Can You Trust a Compiler to Optimize Your Code?
More or less the title this time, but first, a story about SIMD. There are three
levels of understanding how SIMD works (well, at least I am level 3 at the moment):
levels of understanding how SIMD works (well, at least I am level 3 at the moment):