The Principle of Categorical Harmony
https://ebrary.net/17831/philosophy/principle_categorical_harmony
https://ebrary.net/17831/philosophy/principle_categorical_harmony
Ebrary
The Principle of Categorical Harmony
In this section, we first see how logical constants can be regarded as adjoint functors, and finally lead to the principle of categorical harmony. Although I do not explain the concept of categories from the scratch, from a logical point of view, you may
The syntax of C in Backus-Naur Form
https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of%20C%20in%20Backus-Naur%20form.htm
https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of%20C%20in%20Backus-Naur%20form.htm
👌4
Self Types for Dependently Typed Lambda Encodings
https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta-tlca-14.pdf
https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta-tlca-14.pdf
👍1
Write Yourself a Scheme in 48 Hours
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
en.wikibooks.org
Write Yourself a Scheme in 48 Hours
Most Haskell tutorials on the web use a style of teaching akin to language reference manuals. They show you the syntax of the language, a few language constructs, then tell you to create a few simple functions at the interactive prompt. The "hard stuff" of…
❤3😐1
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
https://arxiv.org/abs/2301.10061v3
https://arxiv.org/abs/2301.10061v3
arXiv.org
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Probabilistic couplings are the foundation for many probabilistic relational program logics and arise when relating random sampling statements across two programs. In relational program logics,...
👍2
Optimizing Rabin-Karp Hashing
https://mattsills.github.io/2024/03/02/rabin-karp/
https://mattsills.github.io/2024/03/02/rabin-karp/
👏2🤯1
What Cannot be Skipped About the Skiplist: A Survey of Skiplists and Their Applications in Big Data Systems
https://arxiv.org/abs/2403.04582v2
https://arxiv.org/abs/2403.04582v2
arXiv.org
What Cannot be Skipped About the Skiplist: A Survey of Skiplists...
Skiplists have become prevalent in systems. The main advantages of skiplists are their simplicity and ease of implementation, and the ability to support operations in the same asymptotic...
C++ Safety, in Context
https://herbsutter.com/2024/03/11/safety-in-context/
https://herbsutter.com/2024/03/11/safety-in-context/
Sutter’s Mill
C++ safety, in context
Scope. To talk about C++’s current safety problems and solutions well, I need to include the context of the broad landscape of security and safety threats facing all software. I chair the ISO C++ s…
💯3❤2🔥2👍1
Tagless-final embedding of (a subset of) C in OCaml
https://okmij.org/ftp/meta-programming/tutorial/genc.html#tf
https://okmij.org/ftp/meta-programming/tutorial/genc.html#tf
okmij.org
Generating C
Heterogeneous metaprogramming: generating low-level language from a higher-level host language
🥴2💅1💊1
Dependently typed programming with singletons
https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs
https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs
👍1
Abstract interpretation: A semantics-based tool for program analysis
https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis
https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis
ResearchGate
(PDF) Abstract interpretation: A semantics-based tool for program analysis
PDF | Desirable mathematical background for this chapter includes basic concepts such as lattices, complete partial orders, homomorphisms, etc.the... | Find, read and cite all the research you need on ResearchGate
🔥1
Reflection and Metaprogramming in Smalltalk
https://m-sp.org/downloads/titech_programming_langauge_design.pdf
https://m-sp.org/downloads/titech_programming_langauge_design.pdf
👍1
Experimental undelimited continuations in C via x86-64 assembly
https://github.com/cslarsen/callcc-c/blob/master/callcc.c
https://github.com/cslarsen/callcc-c/blob/master/callcc.c
GitHub
callcc-c/callcc.c at master · cslarsen/callcc-c
Experimental undelimited continuations in C via x86-64 assembly - cslarsen/callcc-c
👍2
Build systems a la carte: theory and practice
https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/
https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/
Simon Peyton Jones
Build systems a la carte: theory and practice
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones Published in Journal of Functional Programming, Vol 30(E11) View PDF Download BibTex
👍1🔥1👏1🤯1