Occam’s Razor in Metacomputation: the Notion of a Perfect Process Tree
https://www.xoft.ru/~anklimov/papers/1993.Occam's.Razor.in.Metacompuation.pdf
https://www.xoft.ru/~anklimov/papers/1993.Occam's.Razor.in.Metacompuation.pdf
👍1
An Alternative to Closure Conversion and to Restricted Closures
https://www.artima.com/weblogs/viewpost.jsp?thread=220920
https://www.artima.com/weblogs/viewpost.jsp?thread=220920
Artima
An Alternative to Closure Conversion and to Restricted Closures
🔥1
Reified Lambda Functions
https://www.artima.com/weblogs/viewpost.jsp?thread=277879
https://www.artima.com/weblogs/viewpost.jsp?thread=277879
Artima
Reified Lambda Functions
👍1
Abstract interpretation for type checking
https://sci-hub.ru/10.1007/3-540-54444-5_108
https://sci-hub.ru/10.1007/3-540-54444-5_108
👍1
HyperTree Proof Search for Neural Theorem Proving
https://arxiv.org/pdf/2205.11491.pdf
https://arxiv.org/pdf/2205.11491.pdf
👍1👎1
Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step (C++)
https://www.youtube.com/watch?v=ncHmEUmJZf4
https://www.youtube.com/watch?v=ncHmEUmJZf4
YouTube
CppCon 2017: Matt Kulukundis “Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step”
https://CppCon.org
—
Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2017
—
Hash tables consume a large volume of both compute resources and memory across Google's production system. The…
—
Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2017
—
Hash tables consume a large volume of both compute resources and memory across Google's production system. The…
👍2🔥2👎1
Using Dependent Types to Express Modular Structure
https://dl.acm.org/doi/pdf/10.1145/512644.512670
https://dl.acm.org/doi/pdf/10.1145/512644.512670
🤔2💊1
Higher-Order Modules and the Phase Distinction
https://www-cs.stanford.edu/people/jcm/papers/harper-mm-90.pdf
https://www-cs.stanford.edu/people/jcm/papers/harper-mm-90.pdf
👍2🤯1
Typeful Normalization by Evaluation
https://cedric.cnam.fr/~puechm/typeful.pdf
https://cedric.cnam.fr/~puechm/typeful.pdf
On The Type Structure of Standard ML
https://web.archive.org/web/20170808093949id_/https://theory.stanford.edu/~jcm/papers/harper-mitch-TOPLAS-93.pdf
https://web.archive.org/web/20170808093949id_/https://theory.stanford.edu/~jcm/papers/harper-mitch-TOPLAS-93.pdf
👍1👎1
XFaaS: Hyperscale and Low Cost Serverless Functions at Metahttps://www.micahlerner.com/2024/01/23/xfaas-hyperscale-and-low-cost-serverless-functions-at-meta.html
🤔1
Compacting the Uncompactable (C++)
https://youtu.be/c1UBJbfR-H0?si=hEH75oJO85a27nUE
https://youtu.be/c1UBJbfR-H0?si=hEH75oJO85a27nUE
🔥1
Heap Layers: a flexible infrastructure for composing high-performance memory allocators out of C++ layershttps://github.com/emeryberger/Heap-Layers
GitHub
GitHub - emeryberger/Heap-Layers: Heap Layers: An Extensible Memory Allocation Infrastructure
Heap Layers: An Extensible Memory Allocation Infrastructure - emeryberger/Heap-Layers
👍1🔥1