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
The Essence of ML
https://web.mit.edu/ghc/old.ghc/programatica/tools/semantics/Overloading/Related/essence-of-ML-mitchell.pdf
https://web.mit.edu/ghc/old.ghc/programatica/tools/semantics/Overloading/Related/essence-of-ML-mitchell.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
A Beginner's Guide to Programming Language Academia
https://ryanbrewer.dev/posts/beginners-guide-pl-academia.html
https://ryanbrewer.dev/posts/beginners-guide-pl-academia.html
ryanbrewer.dev
A Beginner's Guide to Programming Language Academia - Ryan Brewer
This post briefly maps out many different subfields of programming language theory, in an effort to make it more accessible to those outside academia.
π2π€1
(How to Write a (Lisp) Interpreter (in Python))
https://norvig.com/lispy.html
https://norvig.com/lispy.html
π2π₯1π€1
WASM Playground
https://observablehq.com/@chaosalchemist/wasm-playground
https://observablehq.com/@chaosalchemist/wasm-playground
Observable
WASM Playground
https://en.wikipedia.org/wiki/WebAssembly
https://developer.mozilla.org/en-US/docs/WebAssembly Toolchains Runtime Wasmer, Wasmtime, more Compiler emscripten
run emscripten on the web : clang-js, Emception, wasm-clang Misc Prefer writing wasm by hand?β¦
https://developer.mozilla.org/en-US/docs/WebAssembly Toolchains Runtime Wasmer, Wasmtime, more Compiler emscripten
run emscripten on the web : clang-js, Emception, wasm-clang Misc Prefer writing wasm by hand?β¦
π1π€1
Solving SAT via Positive Supercompilation
https://hirrolot.github.io/posts/sat-supercompilation.html
https://hirrolot.github.io/posts/sat-supercompilation.html
hirrolot.github.io
Solving SAT via Positive Supercompilation
π2π₯2
Definitional Interpreters for Higher-Order Programming Languages
John C. Reynolds
https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&context=lcsmith_other
John C. Reynolds
https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&context=lcsmith_other
π4