How to wrap a C compiler and preprocessor
https://www.humprog.org/~stephen/blog/2024/08/27/#how-to-wrap-cc-really
https://www.humprog.org/~stephen/blog/2024/08/27/#how-to-wrap-cc-really
❤3
ShareJIT
: JIT code cache sharing across processes and its practical implementationhttps://dl.acm.org/doi/10.1145/3276494
Proceedings of the ACM on Programming Languages
ShareJIT: JIT code cache sharing across processes and its practical implementation | Proceedings of the ACM on Programming Languages
Just-in-time (JIT) compilation coupled with code caching are widely used to improve
performance in dynamic programming language implementations. These code caches, along
with the associated profiling data for the hot code, however, consume significant
...
performance in dynamic programming language implementations. These code caches, along
with the associated profiling data for the hot code, however, consume significant
...
❤2🗿1
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