What is the best pointer tagging method?
https://coredumped.dev/2024/09/09/what-is-the-best-pointer-tagging-method/
https://coredumped.dev/2024/09/09/what-is-the-best-pointer-tagging-method/
coredumped.dev
What is the best pointer tagging method?
In this post, we are going to take a deep dive into pointer tagging, where metadata is encoded into a word-sized pointer. Doing so allows us to keep a compact representation that can be passed around in machine registers. This is very common in implementing…
❤4
A Tour of Safe Tracing GC Designs in Rust
https://manishearth.github.io/blog/2021/04/05/a-tour-of-safe-tracing-gc-designs-in-rust/
https://manishearth.github.io/blog/2021/04/05/a-tour-of-safe-tracing-gc-designs-in-rust/
manishearth.github.io
A Tour of Safe Tracing GC Designs in Rust
I’ve been thinking about garbage collection in Rust for a long time, ever since I started working on Servo’s JS layer. I’ve designed a GC library, worked on GC integration ideas for Rust itself, …
❤3
❤1👍1
Lisp implemented in Rust macros
https://github.com/RyanWelly/lisp-in-rs-macros
https://github.com/RyanWelly/lisp-in-rs-macros
GitHub
GitHub - RyanWelly/lisp-in-rs-macros: A Lisp interpreter written fully in rust macros.
A Lisp interpreter written fully in rust macros. . Contribute to RyanWelly/lisp-in-rs-macros development by creating an account on GitHub.
👏3🗿2😡1
Representing Type Information in Dynamically Typed Languages
https://web.archive.org/web/20230131233450/https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.4394&rep=rep1&type=pdf
https://web.archive.org/web/20230131233450/https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.4394&rep=rep1&type=pdf
👍1
s11265-018-1369-4.pdf
2.7 MB
Maximizing Limited Resources: a Limit-Based Study and Taxonomy of Out-of-Order Commit
🔥2
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