Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
https://arxiv.org/pdf/1306.6032
https://arxiv.org/pdf/1306.6032
👍1
Tagged Union Subsets with Comptime in Zig
https://mitchellh.com/writing/zig-comptime-tagged-union-subset
https://mitchellh.com/writing/zig-comptime-tagged-union-subset
👍3
Applied Mathematical Programming by Bradley, Hax, and Magnanti (Addison-Wesley, 1977)
https://web.mit.edu/15.053/www/AMP.htm
https://web.mit.edu/15.053/www/AMP.htm
morsels.pdf
1.3 MB
Morsel-Driven Parallelism: A NUMA-Aware Query Evaluation Framework for the Many-Core Age
SEDA-sosp.pdf
298.8 KB
SEDA: An Architecture for Well-Conditioned, Scalable Internet Services (2001)
LMAX Disruptor: High performance alternative to bounded queues for exchanging data between concurrent threadshttps://lmax-exchange.github.io/disruptor/disruptor.html
lmax-exchange.github.io
LMAX Disruptor: High performance alternative to bounded queues for exchanging data between concurrent threads
Dependent Types in ATS
https://bluishcoder.co.nz/2010/09/01/dependent-types-in-ats.html
https://bluishcoder.co.nz/2010/09/01/dependent-types-in-ats.html
bluishcoder.co.nz
Dependent Types in ATS
👍2
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
https://verdagon.dev/blog/linear-types-borrowing
https://verdagon.dev/blog/linear-types-borrowing
🔥3👍1
Total Denotational Semantics
https://fixpt.de/blog/2024-09-23-total-denotational-semantics.html
https://fixpt.de/blog/2024-09-23-total-denotational-semantics.html
Advanced C: The UB and optimizations that trick good programmershttps://youtu.be/w3_e9vZj7D8?si=YqdjSq6JpzIIvFwc
YouTube
Advanced C: The UB and optimizations that trick good programmers.
This is a video that will talk about some less know things in the programming language C, and how these things impact optimizations and the kinds of bugs that they can produce. This is not a video for beginner programmers.
twitter:
@quelsolaar (professional)…
twitter:
@quelsolaar (professional)…
👍1
Code Generation in Rust vs C++26
https://brevzin.github.io/c++/2024/09/30/annotations/
https://brevzin.github.io/c++/2024/09/30/annotations/
Barry’s C++ Blog
Code Generation in Rust vs C++26
One of the things I like to do is compare how different languages solve the same problem — especially when they end up having very different approaches. It’s always educational. In this case, a bunch of us have been working hard on trying to get reflection…
👎3👍1🤔1
Safety Goggles for Alchemists
https://jack.wrenn.fyi/blog/safety-goggles-for-alchemists/
https://jack.wrenn.fyi/blog/safety-goggles-for-alchemists/
Jack Sometimes Writes
Safety Goggles for Alchemists
A Brief History of Microprogramming
https://people.computing.clemson.edu/~mark/uprog.html
https://people.computing.clemson.edu/~mark/uprog.html
Reflection in C++26
https://youtu.be/vRda0mGYg_A?si=-TVsz3GNJYtgUw1x
https://youtu.be/vRda0mGYg_A?si=-TVsz3GNJYtgUw1x
YouTube
Reflection in C++26: the renaissance of C++
Join us for a panel discussion featuring key members of the C++ Standards Committee as we delve into the transformative capabilities of reflection as proposed for C++26. With insights from Hana Dusíková, Inbal Levi, and Daveed Vandevoorde, moderated by JF…