❤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
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