On the same origin of quantum physics and general relativity from Riemannian geometry and Planck scale formalism
https://www.sciencedirect.com/science/article/pii/S0927650524001130
https://www.sciencedirect.com/science/article/pii/S0927650524001130
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